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.

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

Příspěvekod nemat » 20. 2. 2013 10:34

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

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

Příspěvekod mykem » 23. 2. 2013 16:55

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).
mykem
Matfyz(ák|ačka) level II
 
Příspěvky: 79
Registrován: 13. 2. 2011 18:52
Typ studia: Informatika Ph.D.

Předchozí

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

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník