Detail hlášky #65511

<a> hele, on ten ukol asi bude chtit dokazat prave tou Nerodovou vetou,co?
<b> jop
<a> no..a ja o ni treba vim to samy, jako o starostovi mesta Islamabad
<b> jj to sme na tom podobne
<b> ale kdyz si na wiki das Islamabad tak zjistis ze to je Tariq Mahmood Pirzada, ale kdyz si najdes Nerodovu vetu, tak porad nevis

Informace o hlášce

Datum přidání: 2. 11. 2011
Kategorie: Hlášky
Autor: Vaca (5 hlášek)
Hlasování: HappyCZ, elpraga, corwin_x, Loxcom, LamaLamaDuck, Piskvor, Petr640, Remixxx, Tutanken, Gobledon, Dingous, Bakys7, Highlander, Stevie, kuras, Arath, simply_v, hanule7, SkyHaven, emkac, Ellrohir, Witek, Ashower, Wendigo, KaseO, Ruprecht, euromen, Dorflow, casper568, sulthan, eagle7, Svorrok, starbuck, redog, Hamagen, Jandis, Asriel, tomikdvorak, Alf, Emperor, Myrdin, Anti, KeeperX, DivkaHromu, Lukino, bender123, jiripudil, Tominas, PavlinII, srnka, smejdy, bepa, Raky, Snake, OverdoZz, CrazzYdiot, Flame, Eisenheim, peca, thesham0t, vooten, vilg, zuzka2727, Dri0m, LittleOmig, _Juan_, wax07, Smetak, Diefly, Kaissy, logout, Maddy, roset, onashackem, Zuza-chan, Sousuke_, Finarfin, Miguelo, ScH0ll_kIll3r, sevenjetc, Moriarta, Lei, Lekan, monica03, AngelEnigma, -dup-, matejinho, Padres, Somzmeteny, Maerlyn0, ruslandsm, shayante, lerra, -TooM-, mmax, LudeCZek, Foo_Fighter, mixhail, Adri, pekman13, vendulka, lucas03, Herda, dorten, skriva, ChromN, incucu, hanca13, Tikov, Dejf21, cacadore, pitufo, Dzik, Kratter, Dan, Thab, Shadowmaster, arxarios, Widzney, goosepd, Caaslav, peanutka, kapoka, Schade105, KubeKK, Renfri, kanci, rain, Mat3s_, TolSinion, matess7, HOLAS, Januska, blueW200, Marw37, stanleyb7, Jumbo, bosorka, spiderpig, Failrue, DeathsDream, Lidulinka, wotas, Cassidy, Shark94, Auticko, kuchi13, JiZz, Santara, jamoje, DARTHPraetorian, anezkaceska, Cejda, Crazy_Ivan, maucelka, Lorandel, muhe, MartinezZ, Paul_SK, Dragi, filom3n, sangrila, elvellon, zzuzu, Giingger, seffik, Araziel, jas, UnLiMiTeD, carlos05, jirik, robin804, Hagalaz, Lorkis, Sargon, JohnnyWhatever, PikoPirat, S4crifice, tomPD, Liman, Mokr32, Nashee, viacik, BlastFX, 4s400ls, KairiRatten, jaja01, Rithis, Pepul, mismas, DMRaper, sliwowitz, Kenny, Kolouch, kojak, Saga, Sweetus, OpaGe, iqtiqe, MaruSway, Goodlike, Awenis, FelcL, KalamityJane, cloxy, Thargas, durmmi, Denebola, Nekromancer, jingspiral, Wendeee, Sarsaparillos, link-in-man, Royce, gillan, Lemra, calexman, DrGaga, reep, Rocker-Tialk, Frankie111, HollyFury, Renee, Acorp, Lucky, mdonaat, assim, MacHonzee, WellBloud89, Wimpo, Geret, kadibudka, kajsd, drcain, RampaMekKvak, Lisias, B-ree-m, aalfred, Zippy101, Ialemos, SidiusM, Frettie, llaenka, czebe, Kerrika, azuritko, smoulinka, ChorSuKong, Imzadi, ninny, aiwi, Adge, svains, Apajda, Wery, hakim, honzdir, Bubu, Kubis88, kubile, Kid, Shadowcze, Alve, Lamer666, pute, clair3124, Ciko, GiGaB4yt, nevim333, hrusho, Hanzik, Rychlis, JCM, TomEF, unchained, Jehudo, DevelX, _CJ_, HonzaRez, Meimei, fatalixi, SmithF, Los, bounick, Matesss, Nipac, CPY, Danik02, Voldik, Leech, Firemage, Daeron, Monty812, mariffka, ursus, chylex, Jakubs75, ShoteQ, Carlos, chearius, jurda, Backup, zelvak, ilyria, Ryuuka, puki, Smrsta, DMDave92, solidus, RedFred, mattysek_com, tausa17, Sobosss, Lida79, Morv, ManSlayer, qwertzuio, Aki-chan, Rotwajler24, Trippi, potas, hovnival, dwander, Suerte, horry, N3mesis, TunniQ, Soudce, polikit, japan, Aya17, jardasobo, Ozzy, Kosta, tomca, bartishe, PeeKay, sanos, kocicak, Derevin, baik, RoGu3, Vitas, necro, krisikowa, takylama, DrifT, Fatal1t, Jardic, paapi, roni, Umaadaak, Janca, love--sucks, Somme, Libor222, radeknemec, millcEK, codex, 1349, Mairiel, Alphadog, O`Neill, majki26, AMD, janson, Jakuje, Groove, Cuthalion, james125, Mimalu, zvejkaL, rur, zgrossl, Marthy, Ghostik, matej21, TEDY, JezdecForevus, TommyGun, TOMIKACEK, ladys91, taypan, Griffon, mtmccox, bradl3y, schneck, Lookas, mirak2, Ilidan, Sib, Ciselnak, koso, 3wl4k, johny_yankee, staccey, BubblyBubble, tronda, Shawk, huhulesny, Kolja82, F_u_g_a_s, BlackNirvana, voogac, sendvo, YDraigGoch, unreed, Haleck, mysmff, Airy, mixer, dddddaviddddd, rendlik, Duraththor, Sojkicz, webhead, Nenunka, gensilver47, Accept, talirr, Col8B, SLoN, cenco89, Vevoda_Wolf, Unicorn2000, Mermeoth, Eurostoxx, pleswi, finnean, kwakiii, Gerlige, ochab, Niaz, shaby, lanoxx, Freedom-soldier, Niwatori, nations113, Raptore, Isador, Deefik, binex, Strop, Ruiner, Tristy, Skiny, tenebre, Skaut88, Dindo, Bart, boban250, m_ledo, nOObiCZek, sirius92, Frantisek, Radek9, Hans, tomako9, sark, AshBird, Sarka, Gonzales, gusto, Trand, regg23, DAran, Scorpion32, luciferrus, Ploki, Marty008cz, TomiG, deemarc, Mervin, DJ307, makii, elone, johny, Metodej, McKarlos, Goues, hasys, Bilbo_Turambar, troSKA, mikihans, nitram1234, Johny--X, Apophis, freferg, Cohen, Darkenius, zzanzare, ReginaPhalange, BarbarHans, Macounek, Kosec, Kriz22, Treela, sirarag, zzuzi, makr009, spikeee, teye, KaMilka, simpe-cz, pajik95, kudlajz, BennyMadman, brumla, Mirsarker, CIMBI, silvergold, cuskokos, Metlina, obr, Dzejna, Joja, Beluga, inkara, Liquor, Charly, DakuHonoo, Erya, woski, user1234n, chap, Danol, Bazim, grandimir, cinderella, Tolsimir, bee, ToRtiK, fabiocz, e-litt, Sotna[A], fatpiq, shaggy, Donkey-Kong, Leanne, WaDa, Kuwajtek, Dejfa, madog, Wolfeek, Waco, hkc_moris, Kyblik, caarymary, Remetak, Clipie, Alcarmo, Puni, George, Dex, Laman, wayne, Georgo, ChuckNorris, zemko, evee, bady, czKarlos, kukurica, Evidence, hostar, SSJ, tommander, riwy, stepanex, statan, clupko, Ellene, pes502, Beezer, DeeDee, manchman, s4ndwitch, Ravenek, kitharka, susenka, Gazer, czernitko, TheOnek, pejsik, Finer5950, RikaAkira, DanDy161, Anie29, Becher1, alpov, Lothias, Pepko, Tewet, patapufa, Vidlos, herodes555, Bety888, mhato, arain, Cercly, domvala, Mungo, jinis, w4rr10r, fifik87, Severina, anela, hafi, Reiki, Skoll, chuckier, soustruh, hAssassin, Pajinka285, skejpa, sikr, BC, 878karlik878, tocra, Tadashi, xxkenny, odiiin, tudydu, charssy, psykkoman, Myrael, Casial, enjay, GiAR, Lecco, profa, SantaSatan, bebecha, Marsian, Cernunnos, Jozxyqk, Cubis, Mirator, Beast, PatchmaN, genius920308, Schyzis, joocker, Klobasa, freibo, MIN, Bumerank, Iwina, joyride89, ivus_ka, Azador, Krencl, Nekvas, jfk, Juga, Petriik, victim42, Lucker4, Braveman, ciakval, Cinvor, Skay, Gecice, labello, sea, poxxop, vinczenzo, schoobi, Simmy, adealla11, mailman, krocanbot, Pajasas, trefcz, Dvorka, Potkanice, kocird, MAGEman, h0das, Crix, matrix17, bkbosorka1, harpel, velmi_vtipny_navstevnik, brutal_revenge, Sturnus, Zlatushiq, Botan, saft, Markytka, FrenkyB, bubhak, cheriii, 350ztom, jantusla, adel, S1mon, vytick, Kagero, Metzgermeister, KrizovaN, BahnoCZ, LucieD, Ancza, Pryzmatik, PinkFOX, DiNeRo, kancik, Orcist, Suzan, Wojda87, Mari05, ooouki, vaevictis, rala, killercat, Gertas, Whorfin, splendeur, ReadyHC, Astaroth, Juldzii, jumbee, simpanz21, xpeta, Vlk, Sejsel, AffoEx, Komunard, Arhess, Stickman, Allka, Ghulas, Katand, Elisabetha, Milhauzz18, Darik, Trungsi, Deliminico, Kwisatz_Haderach, TidO, Sellina, Beerius, Danad, Standav, Kapitan, Taboard89, Cihak, Bosk, Elgurth, sebastian_hardie, jozovec, CarpeNoctem, MsWho, Annacerv, Coolak, Lee1503 756 pro a Scr1899, Trny, Flyer, izzi_cz, Cureman, Kurosawy, perfect, Rudla, Atanono, Ondruch, Kawka, kudli, ALiEN, aewin_cz, Harys, Funin, Micha, tik-tak-cz, suah, Dovi, DarthOptimus, robbo99, vasek004, Ripper, Maty991, alaqella, frlo, Neuromancer, Sed, def84, Slim2, hmmc, shitcool, Dyfer, czHONAN, freaky_tomato, wegas, Moskva, Schmeeczko, selmi, romanpazout, Rimmoncze, crooty, Bendom, Wexlozo, kafcak, hocikto19, Ejmin, bukanyr, Tceld, MKlein, BigJerry, Hammer, LukasK, Altair, jing-jang, Keeehi, CZ_StRider, chernobyl, chachan, steinham, Sha-a-kaa, Filek, LosFilipos, jezzy, trepka, scarlaxx, queeny31, Frostys, HateMePls, MistrBuBak, tristaver, miloso, barney33, julius, Yukina, Winters, despy, WolfCZ, Teramon, Marcus7, kecal_op, Nevermore, ubozak, While, EvilLaugh, SPOK, t-fuse, Slay, super_jerk, DarkAngel, M4rtin, cha4ser, Kolodej, smrduty_kojot, kbtmichal, Danny991, Mysharr, sheninho, Mackie, Meer, Universal, MegaCHLUP, hasahm, yannush, DavisFled, Darmy, Justice, noonick, angie-metalbee, Hroner, Diplomat, Psycho_O, q, Lee, Baris, Evzenecek, Mart-Ule, Niah, Inf1n1tyy, Kogaku, WaRi, Traitor, PetrK, popik34, tomzi, rallyemaniac, Ataraxia, iNs3cT, lu_kas, diktator, Nicknad, lennyd, bbeettyynnaa, Blast, GrayLite, DragoonX, Darkk, GRIF, kinodont, Eslinecka, highbinder, iantar, jursmi, robdrak, NoxArt, Komaar, Ryom4, Dryasdust, Grez, xificurk, abouttabs, p858, ZodiacCZ, Lahvout, beorn, pavelnop, dorry, BMJackal, Nadneseny, mopak, wgs, nepoveda, Tirael, Frankiexxx, Notie, serminator, Tinnarr, JohnDoom, pepa1d, Georgo10, Eduard, Sochi, masozravapalma, Natsumii, ajgl, Kukac55, w3m, Addie, Kethryn, ScOrPiOn9, shooter_vm, zax52, miim, mike2406, RodneY, albona, NiXo_B, mikirc, Cyberdragon, Danecki, niemand, nwkt, Gego, NiaWolf, Mahtiel, Nighters, Gorkil_the_goblin_king, killka, Montechito, Snorri, Tannie, DrHades, kubamejl, Ghofig, Flad, lilo, OttoCZ, mmarrtinn, Suril, mord_cour, hellequine, duchypuchy, Posky, Wabbit, Nikeman, straky, rushid, Atlantis, MoiJe, Hi-An, LordUfo, ajwn, zakolu, Lineman, FlashOrion, holion, kapriiik, Sally, Exxclussive, Lurker, Richie_Pinkas, Schrodinger, michelle90210, sakrauz2, steffyno, Moneta, BooBee, TooM, petya, griffin, karlosnet, Peterson-29, lentiilka, z0nt0r, rotten77, Dreamer1425, martini52, muphy, BionicD, Kittenish, aneper, Tephigue, genesiss, Majkl26, Eriq, Nyan, mmeridius, olejovka, Recik, Daysi, snake2323, DzonyGate, BearPeter, geckon, Markuus, frenkii, mullDie, krutoslav, filioo, Toblakai, Lowky, staflik, mikehudak, Tlustej, voliminal, Vault, Stari88, cluso, Piitr, speedy89, Calvera, Miruska23, bozk, trainmaster, Mania, teerinka7, Ghormoon, Xan, newermind, Kajiyama, Blanch, Mishar, Math3s, torquemada, werisec, Kew, Wlk, Klotylda, Drizztcz, booxly, Izumi-chan, apiposka, melounovycukr, leos, Pista_Hufnagl, chumec, alik55, Peshke, Korialis, Dandynes, balone, SmallMongoose, Tonco, JackSwigert, branyk, _stefan, rionka, mikla, JerichoBM, Titanit, Vincent, Aelin, gamer, dborec, chudst, ShikoramoToteda, psychous3, piol, oprs, Zelvi
331 proti
V oblíbených: Kachnickaaa, mr-mare, Aleksandra, szylaj, fenos19, sanos, Markytka 7 uživatelů
Oblíbenost: 66,75 %
Stav: Má kladné skóre

Diskuze

08:56
Dingous: tin rulez
silhouette
je krasny jak se tu kazdy podzim pravidelne objevuji hlasky s tematikou TINu (teoreticka informatika). Smutny je, ze jim cim dal mene zdejsich ctenaru rozumi. Jen tak dal chlapci, me ta nostalgie vzdycky pobavi, byli jsme na tom stejne.
10:10
Ashower: Re: tin rulez
Ashower
... zamackneme slzu a dejme plus...
All those little things...
11:05
sulthan: Re: tin rulez
silhouette
Ja si hned vzpomnel na predmet automaty a gramatiky, i kdyz si uz vubec nepamatuji, ceho se ta veta tykala :) Kazdy matfyzak informatik by si na tohle mel vzpomenout.
11:10
Svorrok: Re: tin rulez
Svorrok
Tak tak. Vzpomínám na předmět Automaty a formální jazky a jediný co se mi vybaví je ten název, nic víc...trochu smutné :)
Are you an idiot? ... http://googleforidiots.com/readme.swf
21:50
Auticko: Re: tin rulez
silhouette
nejen matfyzaci.... i u nas na Masarycce jsme se ji ucili... je fakt, ze me se krome nazvu predmetu / teorie formalnich jazyku a automatu - familierne "Tajfun" / vybavili i vyucujici.... ale tim to taky haslo:)
22:46
tomorrow: Re: tin rulez
silhouette
nj, kretinsky, popripade kucera. ale ja si este pamatam, ze to malo neco s vlnkou n a dokazovalo sa tym, ze gramatika je bezkontextova myslim
10:05
volodimir: Re: tin rulez
silhouette
vlnku si trafil, ale jazyky nie;) toto bolo tusim u regularnych jazykov, malo to nieco s ekvivalenciou, pravou kongruenciou, ale uz som si nie isty, tam bolo aj nieco s Myhill-Nerodovou vetou...
16:05
Eressiel: Re: tin rulez
Eressiel
Ještě pár komentářů a třeba to i nakonec dáte dohromady :-))
16:32
Sethiel: Re: tin rulez
Sethiel
Já mám pocit, že se tím dokazovalo, že deterministické konečné automaty rozpoznávají právě regulární jazyky. Ta pravá kongruence se tam používala jako analogie výpočtu deterministickýho automatu, stavy jako množiny ekvivalence.
Představte si, jak blbej je průměrnej člověk. A teď si představte, že polovina lidí je ještě blbější!
10:23
sirarag: Re: tin rulez
sirarag
Rozuměl jsem tomu až ke druhému slovu "že".
Pak mě začala bolet hlava.
Můžeme o tom vést spory, můžeme s tím nesouhlasit, ale to je tak všechno, co se proti tomu dá dělat.
12:10
CIMBI: Re: tin rulez
CIMBI
Dokazuje se tím zda-li je jazyk regulární, nebo sporem spíše neregulární. tuším, možná lžu, brali jsme to 3 týdny dozadu a polosemestrálka ještě nebyla
Lepší lama kamarát ako skiller debil ;)
23:38
Sib: to uz musi byt fakt humus, ked a...
silhouette
to uz musi byt fakt humus, ked ani tunajsi odbonici na vsetko nedokazu dat do hromady, co to vlastne je :)
21:16
Gerlige: Re: to uz musi byt fakt humus, k...
Gerlige
Spíš jde o to, že tohle jsou tak teoretické věci, že pokud se vyloženě nevěnuješ nevěnuješ informatice na vědecké úrovni, tak už to od školy nebudeš potřebovat.
Dum spiro, spero.
12:24
Nekvas: Re: to uz musi byt fakt humus, k...
silhouette
nemyslim si, že to je zas tak teoretický ... pokud budeš někdy konstruovat konečný automat, a že na spoustu věcí je daleko výhodnější než to řešit pomocí například počítače a do něj napsaného programu, tak ti tato věta pomůže určit, zda je vůbec daný automat sestrojitelný .. a to poměrně snadným způsobem ...
12:18
Nekvas: :D
silhouette
Jazyk L je rozpoznatelný konečným automatem A právě když existuje pravá kongruence konečného indexu :) ... pravá kongruence je vlastně něco jako "=" ale řekněme v množinovém pojetí, něco jako ekvivalence tříd, teda pravá kongruence znamená, že k jakýmkoliv dvoum slovům z jazyka L rozpoznávaného automatem A, ze stejné třídy ekvivalence, kterým přidáme na pravou stranu slovo z abecedy sigma, musí být tyto slova stále ekvivalentní, tedy rozpoznávané automatem :) .. nějak takhle laicky řečeno :D
12:30
torquemada: Re: :D
torquemada
Mezi kongruencí a rovná se je asi takový rozdíl, jako mezi algebrou a logikou.
Exsurge Domine!
12:44
Nekvas: Re: :D
silhouette
psal sem laicky řečeno ne? :D :D
10:13
Altair: Re: :D
Altair
Ekvivalence tříd je náhodou docela přesně řečeno... možná bych spíš řekl zbytkových tříd...
Hy, Погоди !

Kategorie


Přihlášení


Uživatelé online

aloofness

Nejnovější hlášky

smudlmachka
před 89 dny

Hláška #73967

<a> Ach ta práce na call centru

Eriq
před 109 dny

Hláška #73966

<a> Toho herce jsem viděla ještě

Quaderr
před 394 dny

Hláška #73963

<Zákazník> Dobrý den, potřeboval

thegoodhen
před 745 dny

Hláška #73947

<a> Čau, nalila jsem si do kláve

Gomi
před 950 dny

Hláška #73931

<a> Nevíte někdo, jak dostat dat


Nejnovější příspěvky

nakopnuta_sova
před 8 dny

K hlášce #68981

Re: To jsou fory po ranu :D Ale

CarpeNoctem
před 8 dny

K hlášce #68981

Re: To jsou fory po ranu :D Ale

While
před 8 dny

K hlášce #68981

Re: To jsou fory po ranu :D Ale

nakopnuta_sova
před 9 dny

K hlášce #62455

Re: Pozdrav z roku 2021 - Ano, b

nakopnuta_sova
před 9 dny

K hlášce #68981

Re: To jsou fory po ranu :D Ale


TOP 10 Space Invaders

8810

naparcipiskapa

7680

Edu

7360

Finer5950

7330

RIPPERSVK

6100

mati

5970

Lemra

5630

Markuus

5080

Marthy

4800

joocker

4460

urbancikpetr

Copyright © 2004 - 2021 lamer.cz | Design by Michal Ševčík
Nápověda | Pravidla | Kontakt
Mediálně zastupuje Impression Media, s.r.o.