- Věta o aritmetické hierarchii
- Výběr z:
- existence 1-generické množiny
- nekonečný nerekurzivní strom má nekonečnou větev
- příklady Π2-úplných a Σ2-úplných množin
Nalezeno 144 výsledků hledání
Přejít na rozšířené vyhledávání
- 9. 6. 2009 15:05
- Fórum: I1 Ostatní Teoretická informatika
- Téma: Vyčíslitelnost II
- Odpovědi: 18
- Zobrazení: 14412
Re: Vyčíslitelnost II
Otazky z 9.6.2009
Re: Kravinky
Spravne! No minimalne by to byl zajimavy theme pro Genuine Microsoft Windows XP Home Edition, SP3Donarus píše:a co ten obrazek - netusil jsem, ze windows vypadaji takhle zeby maskovani?
...
Re: Kravinky
the new Chuck Norris
http://blog.wired.com/wiredscience/2008 ... er-re.html
http://blog.wired.com/wiredscience/2008 ... er-re.html
- 5. 6. 2008 15:58
- Fórum: PRG036 Technologie XML
- Téma: pisemka 5.6 2008
- Odpovědi: 3
- Zobrazení: 4004
Re: pisemka 5.6 2008
Ale i tak se tam objevilo par speku (alespon ve variante B): (poradi prikladu je prehazeny) 1. zapsat kus xml pomoci univerzalniho mapovani (Generic-tree mapping) (2 body) 2. ten samy kus xml zapsat pomoci simple-path mapping (2 body) 3. jake analogie prvku jazyka DTD v XML Schema: (1 bod) a. #PCDAT...
- 5. 6. 2008 15:39
- Fórum: Klubovna
- Téma: Hledám přítelkyni
- Odpovědi: 76
- Zobrazení: 24553
Re: Hledám přítelkyni
Aneb (pro ty, co znaji serial The Big Bang Theory) je to jako s tou Schrodingerovou kockou, dokud tu krabici neotevres, tak proste nevisHugo píše: ...ale to ze jsi se o to pokusil - to je ten nejvetsi uspech a byl to spravny krok.
- 28. 5. 2008 10:01
- Fórum: OPT042 Programování s omezujícími podmínkami
- Téma: Zkouška 27.5.2008
- Odpovědi: 1
- Zobrazení: 3605
Re: Zkouška 27.5.2008
Ja jsem dostal konzistencni techniky, s tim, ze se mam detailneji zamerit na ty pozdejsi metody. Sepsal jsem mu veskery definice od NC, pres AC, PC, DAC, DPC, RPC, k-konz., (i,j)-konz, strong k-konz., strong (i,j)-konz, inverzni konz., NIC, bodovou konz., GAC, az po okrajovou konz. A pak jeste ruzny...
Re: Kravinky
Star Wars Ewok Gospel
http://www.youtube.com/watch?v=Xdd0edT-BeE
http://www.youtube.com/watch?v=Xdd0edT-BeE
- 29. 4. 2008 14:36
- Fórum: PRG036 Technologie XML
- Téma: checker - XML Schema
- Odpovědi: 2
- Zobrazení: 3614
Re: checker - XML Schema
No ja s nim teda problem zadnej nemam. Me fachci spravne.
- 9. 4. 2008 13:40
- Fórum: Klubovna
- Téma: Servronauti
- Odpovědi: 22
- Zobrazení: 6769
Re: Kravinky
Tentokrat moc povedeny freezing z BrnaFreezing Prague 2008
http://www.youtube.com/watch?v=xRXQ_bZ5N_o
- 24. 3. 2008 00:24
- Fórum: Klubovna
- Téma: Zakódovaný textový soubor
- Odpovědi: 5
- Zobrazení: 2137
Re: Zakódovaný textový soubor
Nebo majitel do krypty ulozi sam sebe a doufa, ze tam Laru Croft brzo potkabeaver píše:Kryptování je metoda, kdy se tajná data uloží do krypty a jejich majitel se modlí, aby kryptu neobjevil Indiana Jones, nebo Lara Croftanomen píše:buď rád, že nenapsal kryptování
- 3. 3. 2008 10:49
- Fórum: Klubovna
- Téma: Softwarový projekt
- Odpovědi: 16
- Zobrazení: 5176
Re: Softwarový projekt
Tak to je velka chyba!Medved píše:To se mi nechce