výuka

(po zápočtové písemce)

Všechny zápočty jsou zapsány.

Mám opraveny všechny písemky z cvičení od 9.00.

Dnes už toho víc neopravím.

Závěrečná písemka

Zápočtová písemka se bude psát na cvičeních v pondělí 22. května 2006.

Test se psal na cvičení dne 15. května 2006. Toto jsou oficiální výsledky - pokud jsem se někde přehlédl či přepsal, je třeba mě donutit, abych opravil tuto tabulku. Do Grupíčku jde opět kopie +5 bodů. Máte-li v součtu méně než 1 bod, nezískali jste zápočet.

Čtvrtý test.

Dokazování formulí v predikátové logice.

Hromadná konzultace k dokazování v predikátové logice: pátek 12. května 14:00 v S5.

Test se psal na cvičení dne 10. dubna 2006. Toto jsou oficiální výsledky - pokud jsem se někde přehlédl či přepsal, je třeba mě donutit, abych opravil tuto tabulku. Do Grupíčku jde opět kopie +5 bodů. Update 24. 4. 2006

Modální logika, důkaz boží existence.

Pravdivost formulí

Test se psal na cvičení dne 27. března 2006. Toto jsou oficiální výsledky - pokud jsem se někde přehlédl či přepsal, je třeba mě donutit, abych opravil tuto tabulku. Do Grupíčku jde opět kopie +5 bodů.

Sémantika predikátové logiky.

Dokončení výrokové logiky.

Skupiny v Grupíčku už existují.

Test se psal na cvičení dne 13. března 2006. Grupíček ještě není, takže toto jsou oficiální výsledky - pokud jsem se někde přehlédl či přepsal, je třeba mě donutit, abych opravil tuto tabulku.

Formální systém výrokové logiky.

Dokončení výrokového kalkulu.

Výroková logika - ekvivalence formulí, normální tvary.

Úvod do předmětu. Sémantika výrokové logiky.

Základní, rozšiřující, doplňující.

Podmínky platí pro obě mé skupiny (pondělí 9:00 a 10:40).