předtermín 10.1. - Gregor

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: předtermín 10.1. - Gregor

Re: předtermín 10.1. - Gregor

od cvutak » 12. 1. 2014 11:07

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í

Re: předtermín 10.1. - Gregor

od mykem » 12. 1. 2014 00:20

A co takhle originál místo obrázku? :)

Re: předtermín 10.1. - Gregor

od Semai » 11. 1. 2014 23:54

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

předtermín 10.1. - Gregor

od Semai » 11. 1. 2014 23:42

Dnešní písemka:
Obrázek

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ý.

Nahoru