Informace o projektu

V předmětu Matematická logika, vyučovaném na Fakultě informatiky Masarykovy univerzity (FI MU), se studenti seznamují se základy výrokové a predikátové logiky. Tyto formalismy hrají fundamentální úlohu jak v matematice, tak v informatice. Předmět si přitom zapisují studenti různých vstupních znalostí, od studentů matematiky či matematické informatiky, kteří se často zajímají o abstraktní oblasti matematiky, po studenty ryze aplikovaných oborů, kteří používají matematiku především jako nástroj pro řešení konkrétních úloh. Cílem projektu je vytvořit nové studijní materiály vhodné pro studenty různých vstupních znalostí a zvýšit tak přínosnost předmětu při současném zachování počtu vyučujících a hodinové dotace. Za tímto účelem hodláme vytvořit cvičebnici, která bude obsahovat názorná vysvětlení abstraktních pojmů z přednášky a příklady, na nichž si studenti budou moci práci s těmito pojmy samostatně vyzkoušet. Zároveň vytvoříme sadu interaktivních testů v Informačním systému MU, pomocí níž si studenti budou moci průběžně ověřovat pochopení látky. Pro studenty s hlubším zájmem o matematiku vytvoříme rozšiřující učební text se zajímavými tématy přesahujícími rámec přednášky.