Zapocty u Vyskocila
Zapocty u Vyskocila
Ma uz niekto zapocet od Vyskocila?
Bol niekto na stredajsom cviceni?
Bol niekto vcera na cviveni? Doniesol Vyskocil uz opravene pisomky, alebo sa ich tak skoro nedockame? A ak sa niekedy dockame tak ako si mozeme zistit nase vysledky?
-
- Matfyz(ák|ačka) level III
- Příspěvky: 137
- Registrován: 1. 6. 2006 08:47
- Typ studia: Informatika Mgr.
- Bydliště: Praha 4
- Kontaktovat uživatele:
Taky nevim
Já si také nevím moc rady. Nějak jsem s tím experimentoval a něco mi z toho vzniklo, ale nevím, jak poznám, že je to kompletní formální důkaz té formule.Keleen píše:Nema nekdo tuseni co je mysleno kompletnim formalnim dukazem dle definice? Uprimne kdyz mam na jeden radek axiom s 14 zavorkama a formuli s 30 zavorkama, jsem mirne zmatenej:).