OSNOVA PŘEDNÁŠEK:
Přednášky se konají v rozsahu 2 vyučovacích hodin jednou za dva týdny (celkem 14 vyučovacích hodin). Přednášky jsou tématicky zaměřené, pro každou přednášku je připraven studijní materiál ve formě slidové presentace, jehož statickou podobu (podklady) si lze předem vytisknout a přinést do výuky (soubor ve formátu PDF - lze najít na CMS Moodle). Tempo výkladu při přednášce vyplývá z předpokladu, že všichni studenti mají materiály připravené a vytištěné.
1. Úvod do moderní logiky
2. Proces myšlení a mentální mapování
3. Klasická výroková logika
4. Predikátová logika
5. Množinová logika a mohutnost
6. Sylogismy a jejich řešení
7. Formální teorie a znalosti
OSNOVA CVIČENÍ:
Cvičení se konají každý týden v rozsahu 2 vyučovacích hodin, všechna cvičení probíhají v počítačové učebně. Požadovaný software: Microsoft Excel, Power Point, NetLOGO, PIE Prolog. Podkladové materiály ke všem cvičením jsou dostupné na internetu (CMS Moodle) ve formátu PDF.
Některá cvičení navazují na témata přednášek, jiná jsou svébytná. Účast na cvičení není povinná, ale pro úspěšné zvládnutí předmětu a získání zápočtu by studenti měli co nejvíce cvičení aktivně absolvovat. Zvládnutí této části předmětu je kontrolováno individuálním autotestem a společným závěrečným testem (viz požadavky k zápočtu).
1. Úvod do předmětu
2. Jednoduché logické úlohy
3. Logické úlohy s výroky a predikáty.
4. Booleova algebra při řešení logických úloh
5. Tvůrčí mentální mapy na cestě k úspěchu
6. Stavba algoritmů v jazyce LOGO
7. Od želví grafiky k fraktální geometrii
8. LOGO jako učící se systém
9. Řešení logických úloh s využitím množin
10. Sylogismy a jejich dokazování
11. Dotazování v jazyce Prolog
12. Budování znalostí v jazyce Prolog
Cvičení ve 13. a 14. týdnu slouží jako rezerva a pro splnění povinných zápočtových úkolů.
Přednášky se konají v rozsahu 2 vyučovacích hodin jednou za dva týdny (celkem 14 vyučovacích hodin). Přednášky jsou tématicky zaměřené, pro každou přednášku je připraven studijní materiál ve formě slidové presentace, jehož statickou podobu (podklady) si lze předem vytisknout a přinést do výuky (soubor ve formátu PDF - lze najít na CMS Moodle). Tempo výkladu při přednášce vyplývá z předpokladu, že všichni studenti mají materiály připravené a vytištěné.
1. Úvod do moderní logiky
2. Proces myšlení a mentální mapování
3. Klasická výroková logika
4. Predikátová logika
5. Množinová logika a mohutnost
6. Sylogismy a jejich řešení
7. Formální teorie a znalosti
OSNOVA CVIČENÍ:
Cvičení se konají každý týden v rozsahu 2 vyučovacích hodin, všechna cvičení probíhají v počítačové učebně. Požadovaný software: Microsoft Excel, Power Point, NetLOGO, PIE Prolog. Podkladové materiály ke všem cvičením jsou dostupné na internetu (CMS Moodle) ve formátu PDF.
Některá cvičení navazují na témata přednášek, jiná jsou svébytná. Účast na cvičení není povinná, ale pro úspěšné zvládnutí předmětu a získání zápočtu by studenti měli co nejvíce cvičení aktivně absolvovat. Zvládnutí této části předmětu je kontrolováno individuálním autotestem a společným závěrečným testem (viz požadavky k zápočtu).
1. Úvod do předmětu
2. Jednoduché logické úlohy
3. Logické úlohy s výroky a predikáty.
4. Booleova algebra při řešení logických úloh
5. Tvůrčí mentální mapy na cestě k úspěchu
6. Stavba algoritmů v jazyce LOGO
7. Od želví grafiky k fraktální geometrii
8. LOGO jako učící se systém
9. Řešení logických úloh s využitím množin
10. Sylogismy a jejich dokazování
11. Dotazování v jazyce Prolog
12. Budování znalostí v jazyce Prolog
Cvičení ve 13. a 14. týdnu slouží jako rezerva a pro splnění povinných zápočtových úkolů.