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

předtermín 10.1. - Gregor

Příspěvek od Semai »

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ěvek od Semai »

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
mykem
Matfyz(ák|ačka) level II
Příspěvky: 81
Registrován: 13. 2. 2011 18:52
Typ studia: Informatika Ph.D.

Re: předtermín 10.1. - Gregor

Příspěvek od mykem »

A co takhle originál místo obrázku? :)
cvutak
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 12. 6. 2013 11:55
Typ studia: Informatika Bc.

Re: předtermín 10.1. - Gregor

Příspěvek od cvutak »

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í
Odpovědět

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