Další termíny (ZS 2012/13)

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.
nemat

Re: Další termíny (ZS 2012/13)

Příspěvek od nemat »

mykem píše:
nemat píše:Na otázku "kdo to učí" je bohužel odpověď: nikdo.
Ale jo, na cvičeních (třeba u pana Glivického) to učí moc pěkně - taky je to (alespoň pro mě) jedinej důvod, že mám vůbec nějakou naději (prozatím teda, pravda, planou) na zdolání zkoušky.
Ano, cvičení jsou daleko lepší než přednáška. Ale kolik z toho, co potřebuješ u zkoušky, se probere na cvičení? My jsme se na cvičeních dostali k výrokovce. Tedy celá čtvrtá kapitola a ty dodatky o nerozhodnutelnosti neprobrány.
mykem
Matfyz(ák|ačka) level II
Příspěvky: 81
Registrován: 13. 2. 2011 18:52
Typ studia: Informatika Ph.D.

Re: Další termíny (ZS 2012/13)

Příspěvek od mykem »

No jo, to je druhá věc - že v podání doc. Mlčka má ten předmět několikanásobně větší rozsah, než by bylo zdrávo, a tak se to prostě nedá stihnout. Respektive nedá se to stihnout srozumitelně (jako na cvičeních), dá se to "stihnout" způsobem "tohle a tohle je triviální; tohle není, tak to máte ve skriptech jako 2.2.15.37.6" (jako na přednášce).
Odpovědět

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