Nalezeno 28 výsledků hledání
Přejít na rozšířené vyhledávání
- 4. 2. 2010 14:09
- Fórum: TIN062 Složitost I
- Téma: Kachlíkování pořádně
- Odpovědi: 9
- Zobrazení: 6677
Re: Kachlíkování pořádně
Jo, omylem jsi asi několikrát napsal "NP-úplný" místo "z třídy NP" Opraveno. Jak je člověk zvyklej převádět pořád něco NP-úplnýho na něco jinýho aby dokázal NP-těžkost, tak to snadno poplete. Cook & Levin dokazujou NP-těžkost přímo z definice, takže stačí "z třídy NP&qu...
- 4. 2. 2010 10:43
- Fórum: TIN062 Složitost I
- Téma: Kachlíkování pořádně
- Odpovědi: 9
- Zobrazení: 6677
Re: Kachlíkování pořádně
Na kachlíkování je právě nejlepší, že si tam člověk může krásně představit prostorovou a časovou složitost. prostorová - šířka čtvercové sítě časová - výška čtvercové sítě V důkazu existence NP-úplného problému (Cook-Levin) se především ukazuje, že jsme schopni převést libovolný problém ze třídy NP ...
- 23. 6. 2009 01:45
- Fórum: Bakalářské SZZ
- Téma: Bakalářské zkoušky 6/2009
- Odpovědi: 19
- Zobrazení: 10319
Re: Bakalářské zkoušky 6/2009
Na druhou stranu jsem videl, jak dneska nekoho vyhodili. Slysel jsem jenom "priste", tak nevim, jak to umel/neumel... Videl jsem jednoho kolegu odstoupit (u tohoto konkretniho cloveka jsem to vubec necekal - myslel jsem, ze si dela legraci kdyz prochazel okolo). Taky jsem slysel, jak nekd...
- 23. 6. 2009 01:25
- Fórum: Bakalářské SZZ
- Téma: Bakalářské zkoušky 6/2009
- Odpovědi: 19
- Zobrazení: 10319
Re: Bakalářské zkoušky 6/2009
Hlaseni z fronty: Matematika: Fiala: Souvislost reseni soustav linearnich rovnic s ortogonalnim doplnkem Nu coz, zacal jsem z definicemi vseho co s tim souvisi: soustava linearnich rovnic, matice, radkovy a sloupcovy prostor, skalarni soucin, ortogonalni mnozina Moje tuseni ze ortogonalni doplnek ra...
- 20. 12. 2007 13:06
- Fórum: MAI062 Algebra I
- Téma: [Zk] 18.12.2007 predtermin
- Odpovědi: 1
- Zobrazení: 3352
Re: [Zk] 18.12.2007 predtermin
1) teoreticka: Homomorfismy (skladani, inverze, obrazy a vzory podgrup) 2) prakticka: Kolik prvku radu 20 (tj. takovych, ze generuji podgrupu radu 20) obsahuje cyklicka grupa radu 1000 ? 1) dokazal jsem 3 tvrzeni: 1. f:A->B , g: B->C homomorfismy => gf : A -> C homomorfismus 2. f:A->B bijektivni hom...
- 30. 8. 2007 11:37
- Fórum: 2006
- Téma: A 19_6_2007 Zkusebni pisemna prace ;)
- Odpovědi: 15
- Zobrazení: 10049
Pokracovani
pokus o dukaz 6. b)
http://www.peklo.unas.cz/logika/peano2.pdf
http://www.peklo.unas.cz/logika/peano2.pdf
- 20. 8. 2007 17:35
- Fórum: 2006
- Téma: A 19_6_2007 Zkusebni pisemna prace ;)
- Odpovědi: 15
- Zobrazení: 10049
Dukaz v Peanove aritmetice
Vi nekdo jak dokazat aspon a) ? Sedel jsem nad tim s kamosem matematikem asi pul hodky.. Sad Ne to opravdu nevim, ale pokusil jsem se nalezt odpoved. Na zaklade toho co pise pan Vítězslav Švejdar v knize: Logika neúplnost složitost a nutnost se mi povedlo cosi vymyslet (viz.: http://www.peklo.unas....
- 21. 6. 2007 22:43
- Fórum: SWI097 Základy operačních systémů
- Téma: Obecny vzorec pro horni odhad poctu vypadku stranek
- Odpovědi: 4
- Zobrazení: 17170
Sqela prace
Jeden z nejlepsich "navodu" co jsem kdy cetl. Pro ucely zkousky naprosto idealni. Behem ctvrthodiny to pochopi i cvicenej mroz.
- 16. 6. 2007 20:02
- Fórum: 2006
- Téma: Zkouška 5.6.2007 [A]
- Odpovědi: 9
- Zobrazení: 5445
Re: Zkouška 5.6.2007 [A]
4. Definujeme-li mnozinu formuli Con(T) = {A| T|−T} nemelo by to byt spis Con(T) = {A| T|− A } ? jinak podle me: a) je Con(T) uplna ? tzn. je bezesporna ? a splnuje podminku, ze pro kazdou A plati bud Con(T)|− A nebo Con(T) |− ¬A ? odpoved: ne - nevime nic o teorii T takze neni vylouceno ze je spor...
- 15. 6. 2007 14:57
- Fórum: 2006
- Téma: Dukazy ve VL
- Odpovědi: 2
- Zobrazení: 2431
Dukazy ve VL
Pokusil jsem se vzorove vypracovat prvni priklad z pisemky http://forum.matfyz.info/viewtopic.php?t=3277
vysledek je na http://www.peklo.unas.cz
otazky:
1. je to tak spravne ?
2. pokud ano, staci to takhle u zkousky ?
3. pokud ne, jak se to teda resi ?
vysledek je na http://www.peklo.unas.cz
otazky:
1. je to tak spravne ?
2. pokud ano, staci to takhle u zkousky ?
3. pokud ne, jak se to teda resi ?
- 13. 6. 2007 10:25
- Fórum: DBI025 Databázové systémy
- Téma: Zkouška 06.06.2007
- Odpovědi: 11
- Zobrazení: 8690
ER:
Student se dostane na zkousku jen jednou ( bylo by dobre pridat do vztahu entitu datum ) - datum pridano Nepozna se ke komu student chodi na cvika respektive na prednasky - pridal jsem vztah "zarazeni" studenta do skupiny, pres skupinu uz by to snad slo Vztahovy typ zkouska se neda univer...
- 12. 6. 2007 12:20
- Fórum: DBI025 Databázové systémy
- Téma: Zkouška 06.06.2007
- Odpovědi: 11
- Zobrazení: 8690
ER model fakulty
sice jsem to nepsal, ale zkusil jsem neco vytvorit..
viz:
http://www.peklo.unas.cz
prijmu rad jakoukoliv konstruktivni kritiku...
zatim se mi nepodarilo napsat k tomu ty SQL dotazy.. mozna je to tim ze je model navrzeny nesikovne..
viz:
http://www.peklo.unas.cz
prijmu rad jakoukoliv konstruktivni kritiku...
zatim se mi nepodarilo napsat k tomu ty SQL dotazy.. mozna je to tim ze je model navrzeny nesikovne..
- 27. 5. 2007 20:44
- Fórum: TIN071 Automaty a gramatiky
- Téma: Zk 22.5.2007 8:00
- Odpovědi: 9
- Zobrazení: 4386
Nedeterministicky automat
Otazka:
Je obecne mozne ziskat doplnek regularniho jazyka prohozenim koncovych a
nekoncovych stavu v nedeterministickem automatu?
Mam takove tuseni ze odpoved je NE, ale nevim presne proc....
Je obecne mozne ziskat doplnek regularniho jazyka prohozenim koncovych a
nekoncovych stavu v nedeterministickem automatu?
Mam takove tuseni ze odpoved je NE, ale nevim presne proc....
- 26. 5. 2007 23:39
- Fórum: 2006
- Téma: PES x SAVEC
- Odpovědi: 3
- Zobrazení: 4520
PES x SAVEC
Rekl jsem si, ze si v tomhle udelam jednou provzdy jasno: class SAVEC{ /* ... */ }; class PES: public SAVEC{ /* ... */ }; PES & azor = new PES; //NP PES & azor = new SAVEC; //NP PES & azor = * new PES; PES & azor = * new SAVEC; //NP PES * azor = new PES; PES * azor = new SAVEC; //NP ...
- 22. 5. 2007 18:08
- Fórum: TIN071 Automaty a gramatiky
- Téma: Cas
- Odpovědi: 3
- Zobrazení: 2518
Re: Cas
Na test je minimalne hodina... (mozna i vic - casu je proste dost)
Byl jsem zatim jen na predterminu, takze jak to bude opravovat na regularni zkousce to nevim.
(asi to nebude stihat na miste...)
Byl jsem zatim jen na predterminu, takze jak to bude opravovat na regularni zkousce to nevim.
(asi to nebude stihat na miste...)