# předtermín 10.1. - Gregor

<{ForumPost(poster="Semai", timestamp=2014-01-11 23:42:57)}>
Dnešní písemka:  
[http://imagizer.imageshack.us/v2/800x600q90/36/ckyy.jpg](http://imagizer.imageshack.us/v2/800x600q90/36/ckyy.jpg)  
  
Na ústním jsou docela hodní, já měl definovat tablo důkaz formule $\varphi$ v teorii T ve výrokové logice a všechny pojmy k tomu, tj. co je tablo, jak se projevuje že to je v teorii, ... . A jako důkaz jsem měl, že každý tablo důkaz je konečný.
<{/ForumPost}>

<{ForumPost(poster="Semai", timestamp=2014-01-11 23:54:33)}>
Možná ještě přidám odkaz na větší verzi toho obrázku. On sám o sobě neni nijak kvalitní a tady je vložený dost malý.  
[http://imageshack.com/a/img36/9281/ckyy.jpg](http://imageshack.com/a/img36/9281/ckyy.jpg)
<{/ForumPost}>

<{ForumPost(poster="mykem", timestamp=2014-01-12 00:20:41)}>
A co takhle [originál](http://ktiml.mff.cuni.cz/~gregor/logika/zktest2.pdf) místo obrázku? :)
<{/ForumPost}>

<{ForumPost(poster="cvutak", timestamp=2014-01-12 11:07:27)}>
Jinak hodnocení asi odpovídá tomu, co už bylo popsáno. Já měl 21b, prý horší dvojka -- na jedničku po mě chtěl úplnost tablo m. v PL včetně všech pomocných tvrzení
<{/ForumPost}>