Zkouška 21.4.2009

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.
Návštěvník

Zkouška 21.4.2009

Příspěvek od Návštěvník »

Pan Štěpánek každému vybral dva příklady z nějaké staré písemky. Na vypracování bylo 40 minut. Potom si nás postupně volal do pracovny a procházel řešení.
Jeden z příkladů, které jsem dostal, bylo dokazování v Peanovi: S(x)>0
Návštěvník

Re: Zkouška 21.4.2009

Příspěvek od Návštěvník »

jak to mozne,nedostal jsem zadny mail.
Bude dalsi termin?
peto

Re: Zkouška 21.4.2009

Příspěvek od peto »

ja se tam zase v ten termin nedostal, napisem mu?
icq: 165859018
Odpovědět

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