Gregor 8.1.15

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.
regina
Matfyz(ák|ačka) level I
Příspěvky: 17
Registrován: 4. 6. 2014 12:36
Typ studia: Informatika Mgr.

Gregor 8.1.15

Příspěvek od regina »

Přibližné bodování:
28-23 -1
22-19 - 2
18-14 - 3
13-0 - 4

Po písemce se jde na ústní, kde dostanete jednu větu s důkazem. Definice chce spíše jen ty, které pro důkaz věty použijete.
logika2.PNG
V tuto chvíli je zadání i na stránkách pana učitele,ale předpokládám, že za rok už tomu tak nebude.
Odpovědět

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