Zkouška 12. 1. 2017 (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.
vasek.rozhon
Matfyz(ák|ačka) level I
Příspěvky: 5
Registrován: 25. 1. 2017 16:34
Typ studia: Informatika Bc.

Zkouška 12. 1. 2017 (Gregor)

Příspěvek od vasek.rozhon »

Všechny testy vypadají v zásadě stejně a Gregor je má u sebe na stránkách (včetně těch z minulých let). Proto doporučuju si jich před písemkou několik propočítat, mám tu zkušenost, že se to projeví u ústní části (měl jsem to skoro celé dobře a dostal jsem hodně jednoduchou větu o kompaktnosti). Přikládám své řešení rezoluce v dvojce. Na první pohled to asi vypadá dost šíleně, ale vlastně je to docela jednoduché, když si člověk uvědomí, že chce rezolvovat v podstatě ve stejném pořadí, jako kdyby to chtěl dokazovat normálně. Tedy nejdřív si postupně dokáže, že Micku zabila zvědavost (modrá větev) a následně to vysporuje s negací (vii) (zelená větev). Mimochodem v zádaní mu pro zvědavost chybí symbol.
Přílohy
logika.jpg
zktest1.pdf
(88.22 KiB) Staženo 238 x
Odpovědět

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