předtermín 10.1. - Gregor

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

předtermín 10.1. - Gregor

Příspěvekod 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ý.
Semai
 

Re: předtermín 10.1. - Gregor

Příspěvekod 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
Semai
 

Re: předtermín 10.1. - Gregor

Příspěvekod mykem » 12. 1. 2014 00:20

A co takhle originál místo obrázku? :)
mykem
Matfyz(ák|ačka) level II
 
Příspěvky: 79
Registrován: 13. 2. 2011 18:52
Typ studia: Informatika Ph.D.

Re: předtermín 10.1. - Gregor

Příspěvekod 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í
cvutak
Matfyz(ák|ačka) level I
 
Příspěvky: 13
Registrován: 12. 6. 2013 10:55
Typ studia: Informatika Bc.


Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník