4IZ617 — Logika a teoretická informatika

O předmětu

Kurz je zaměřen na základní pojmy a metody logiky a vybraných disciplín teoretické informatiky. Důraz je kladen na teoretické znalosti.

Co se naučíš

Po úspěšném absolvování budou studenti schopni uplatnit základní pojmy logiky a vybraných disciplín teoretické informatiky jako jsou formální jazyky, automaty, algoritmy, výroková, predikátová a fuzzy logika.

Obsah předmětu

Část Logika 1. Z historie logiky 2. Výroková logika 2.1 Axiomatizace výrokové logiky 2.2 Vlastnosti výrokové logiky 3. Predikátová logika 1. řádu 3.1 Relační struktury 3.2 Formule predikátové logiky 3.3 Interpretace, splňování, dokazatelnost 3.4 Axiomatizace predikátové logiky 4. Některé neklasické logiky. 4.1 Vznik neklasických logik 4.2 Vícehodnotové a modální logiky 4.3 Fuzzy logika Část Teoretická informatika 1. Co jsou a k čemu slouží teoretické základy informatiky. 2. Množinové struktury 2.1 Relace a uspořádání 2.2 Svazy 2.3 Booleovy algebry a funkce 3. Formální jazyky 3.1 Základní pojmy a operace 3.2 Regulární jazyky 3.3 Formální gramatiky 3.4 Hierarchie jazyků 4. Automaty 4.1 Konečné automaty 4.2 Rozpoznávání jazyků 4.3 Další typy automatů 5. Teorie algoritmů 5.1 Modely vyčíslitelnosti 5.2 Turingovy stroje 5.3 Algoritmická řešitelnost problémů

Literatura

Základní:

Jak uspět v předmětu

Doporučená příprava:

• Pravidelná příprava během semestru místo drcení na zkoušku
• Přednáškové slidy a materiály dostupné přes Moodle VŠE (dl.vse.cz)
• Stará zkouška / typové otázky — zeptej se cvičícího nebo hledej na InSIS
• Studijní skupiny a sdílení poznámek s kolegy z ročníku

• Přečti si sylabus — co je povinná vs. doporučená literatura
• Podmínky zápočtu (zápočtové testy, projekty, docházka)
• Termíny zkoušek zapisovat včas — kapacita bývá omezená

Doporučené zdroje

• Sylabus na InSIS — osnova, literatura, garant
• Moodle VŠE — prezentace a studijní materiály od vyučujících
• Knihovna VŠE — přístup k e-knihám a databázím (EBSCO, ProQuest...)
• SIS VŠE — výsledky zkoušek, zkušební termíny, docházka