Pisemka Gregor 20.10.2011

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.
mathemage
Matfyz(ák|ačka) level III
Příspěvky: 130
Registrován: 14. 1. 2011 10:03
Typ studia: Informatika Ph.D.
Kontaktovat uživatele:

Pisemka Gregor 20.10.2011

Příspěvek od mathemage »

1) Vysvetlete, co znamena T\models \varphi, kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud T teorie linearniho usporadani, jeho jazyk L(T) = <{\bf\leq}> s rovnosti. Urcete formuli \varphi takovou, ze T \cup \{\varphi\} je linearni usporadani, kde kazdy prvek ma bezprostredniho naslednika.
3) Mejme strukturu \mathcal{A} = <A, P^\mathcal{A}, R^\mathcal{A}> Urcete prave ty struktury, v nichz plati prave tyto formule:
a) P(x) \& (\forall x)R(x)
b) P(x) \& 
eg(\forall x)R(x)
Carpe Diem!
Odpovědět

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