Zapocty u Vyskocila

nekup
Matfyz(ák|ačka) level I
Příspěvky: 11
Registrován: 9. 1. 2006 13:36

Re: Taky nevim

Příspěvek od nekup »

ps píše:
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:).
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.
Jsem na tom stejně. Můžeš nadhodit jakým způsobem jsi s tím experimentoval?
Uživatelský avatar
Hugo
Donátor
Donátor
Příspěvky: 233
Registrován: 2. 6. 2005 13:31
Typ studia: Informatika Mgr.
Bydliště: treti kontejner zleva
Kontaktovat uživatele:

Příspěvek od Hugo »

no, ja mam axiom s 22 zavorkama a formuli se 70 zavorkama :shock:
Odpovědět

Zpět na „2005“