skúška 14.04.2010

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.
sine
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 15. 2. 2010 15:32
Typ studia: Informatika Mgr.

skúška 14.04.2010

Příspěvek od sine »

Čaute, z dnešnej skúšky tuším Mlček ani Pajas nikoho nevyhodil (odchádzal som predposledný), iba prvý z nás to vzdal žiaľ hneď na začiatku.

Mal som ľahkú otázku z výrokovej logiky:
máme dva modely K, L nad množinou \mathbb{P} \rightarrow 2.
1a) Kedy je K \cup L axiomatizovateľná?
1b) Kedy K \cap L axiomatizovateľná?
2) Kedy je -K (= (\mathbb{P} \rightarrow 2) - K) axiomatizovateľná?

Napísal som definície a definoval mu axiomatiku pri konečnej kardinalite K a L, na trojku to stačilo. Tiež sa pýtal na niektoré jednoduché / základné definície, väčšinou v súvislosti s úlohou.
peterblack
Matfyz(ák|ačka) level III
Příspěvky: 153
Registrován: 10. 12. 2006 19:26

Re: skúška 14.04.2010

Příspěvek od peterblack »

nj ja se tvaril zoufale a dostal jsem pocty modelu teorii :) takze to zabira, trenujte pohled "zranene tuleni mlade"

v priloze jsou moje vypisky + reseny priklady z fora (bez zaruky) u cervene zvyraznenych casti si nejsem moc jisty

takze, pro dalsi generace...
Přílohy
logika_zk.pdf
(138.36 KiB) Staženo 456 x
logika_zk.doc
(161 KiB) Staženo 219 x
Odpovědět

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