Informace o projektu
Rozšíření studijních materiálů k předmětu Matematická logika

Kód projektu
FRVS/511/2013
Období řešení
1/2013 - 12/2013
Investor / Programový rámec / typ projektu
Ministerstvo školství, mládeže a tělovýchovy ČR
Fakulta / Pracoviště MU
Fakulta informatiky

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info