sude tydny |
liche tydny |
1. seminář (21. unora 2002)Vyrokova logika.Logicka platnost, splnovani formuli, tautologie. Formalni system: jazyk, axiomy, odvozovaci pravidla. Formalni dukaz, veta o dedukci. |
|
1. seminář (28. unora 2002)Vyrokova logika.Formalni system: jazyk, axiomy, odvozovaci pravidla. Formalni dukaz, veta o dedukci. Dokazovani formuli. |
|
2. seminář (7. brezna 2002)Dokazovani formuli.Priklady na zmeny formalniho systemu. |
|
2. seminář (14. brezna 2002)Priklady na zmeny formalniho systemu.Konjuktivni a disjunktivni normalni tvary. |
|
3. seminář (21. brezna 2002)Konjuktivni a disjunktivni normalni tvary.Grayovy kody, Karnaughovy mapy. |
|
3. seminář (28. brezna 2002)Minimalni CNF a DNF. |
|
4. seminář (4. dubna 2002)Predikatova logika.Jazyk, semantika (realizace jazyka). Splnitelnost formuli v ruznych realizacich. |
|
4. seminář (11. brezna 2002)Predikatova logika.Jazyk, semantika (realizace jazyka). Splnitelnost formuli v ruznych realizacich. |
|
5. seminář (25. dubna 2002)(spolecne pro obe skupiny)Pisemka na vyrokovou logiku a splnitelnost formuli predikatove logiky (pouze zkusebni, neovlivnuje ziskani zapoctu). |
|
6. seminář (2. kvetna 2002)Diskuse k pisemce.Dokazovani v predikatove logice. |
|
6. seminář (9. kvetna 2002)Diskuse k pisemce.Bezespornost teorii. Dokazovani v predikatove logice. |
|
7. seminář (16. kvetna 2002)Priprava na zkousku. |