Nějaká sbírka úloh?

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.
vrtulex
Matfyz(ák|ačka) level I
Příspěvky: 45
Registrován: 20. 2. 2008 22:41
Typ studia: Informatika Bc.
Bydliště: Praha
Kontaktovat uživatele:

Nějaká sbírka úloh?

Příspěvek od vrtulex »

Zdravím,

Tak se nám pomalu blíží konec zimního semestru a s ním i zápočtová písemka na výrokové logice... A s tím i problém, jak ji rozumně zvládnout, protože budu asi potřebovat docela hodně bodů. Proto bych se chtěl zeptat, jestli někdo nevíte o nějaké tištěné (knižní) sbírce úloh z výrokovky. Nemyslím, že mi tolik chybí teorie, spíše praxe. Prostě je třeba mrknout na pár řešených příkladů a pak něco více spočítat sám. Když jsem se učil analýzu, tak na tu sbírky jsou, tam nebyl problém. Ale je něco podobného na logiku?

Díky za odpověď.
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Re: Nějaká sbírka úloh?

Příspěvek od hippies »

Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
Odpovědět

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