Přednášky
- 1. přednáška
- UVEDENÍ DO LOGIKY; DĚJINY LOGIKY
- Termín konání
- 19.09.2014
- 2. přednáška
- UVEDENÍ DO VÝROKOVÉ LOGIKY
- Termín konání
- 26.09.2014
- 3. přednáška
- JAZYK VÝROKOVÉ LOGIKY
- ZJIŠTĚNÍ PRŮBĚHU PRAVDIVOSTNÍCH HODNOT FORMULE TABULKOVOU METODOU
- Termín konání
- 03.10.2014
- 4. přednáška
- ODVOZENÍ VÝROKOVÝCH SPOJEK Z JINÝCH VÝROKOVÝCH SPOJEK
- Termín konání
- 10.10.2014
- 5. přednáška
- VYBRANÉ TAUTOLOGIE
- EKVIVALENTNÍ TRANSFORMACE
- Termín konání
- 17.10.2014
- 6. přednáška
- NEGACE VÝROKŮ
- Termín konání
- 24.10.2014
- 7. přednáška
- ÚPLNÁ DISJUNKTIVNÍ / KONJUNKTIVNÍ NORMÁLNÍ FORMA A JEJÍ MINIMALIZACE
- Termín konání
- 31.10.2014
- 8. přednáška
- VÝROKOVĚ-LOGICKÉ VYPLÝVÁNÍ
- OVĚŘOVÁNÍ, ZDA JE FORMULE TAUTOLOGIÍ METODOU PROTIPŘÍKLADU
- Termín konání
- 07.11.2014
- 9. přednáška
- OVĚŘOVÁNÍ PLATNOSTI ÚSUDKŮ METODOU PROTIPŘÍKLADU
- Termín konání
- 14.11.2014
- 10. přednáška
- AXIOMATICKÉ SYSTÉMY VÝROKOVÉ LOGIKY A POJEM DŮKAZU
- Termín konání
- 21.11.2014
- 11. přednáška
- DŮKAZOVÉ SYSTÉMY
- Termín konání
- 28.11.2014
- 12. přednáška
- NEKLASICKÉ VÝROKOVÉ LOGIKY
- Termín konání
- 05.12.2014