Logika I (PHK1102)

v zimním semestru 2014/15

Přednášející
doc. PhDr. Jiří Raclavský, Ph.D.
Email
raclavsky@phil.muni.cz
Přednášky
každý pátek od 12:30 do 14:05
Místnost
J22

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