Mlček - co bylo na přednášce?

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.
Alesak
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 9. 2. 2011 11:27
Typ studia: Informatika Bc.

Mlček - co bylo na přednášce?

Příspěvek od Alesak »

Mám jednu velkou prosbu,

nemohl by sem někdo, třeba v rámci tříbení informací, vrhat, co se probíralo na přednášce. Vím že se na to můžete dívat, že tato informace je vyhrazená pro ty chudáky, co jsou ochotni to tam odtrpět, ale třeba by se našlo víc lidí, kteří by to, jako já, velmi ocenili.
Návštěvník

Re: Mlček - co bylo na přednášce?

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

Podívej se na Mlčkovy stránky http://ktiml.mff.cuni.cz/~mlcek/
Má tam novinku - obsah poslední přednášky. Je to několik stran toho jeho skripta - takže je to jako celá jeho přednáška k ničemu
Odpovědět

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