Teoretické základy informatiky
Povinný předmět pro informatické obory na PEF, vyučuje se obvykle v zimním semestru.
Obsahová náplň cvičení
Matematická logika
- Základní pojmy výrokové logiky (sbírka úloh str. 6–9)
- Logická ekvivalence a negace složených výroků (sbírka úloh str. 10–14)
- Infix, postfix, disjunktivní a konjunktivní normální forma (sbírka úloh str. 14–16)
- Deduktivní soustava výrokové logiky, základní pojmy predikátové logiky (sbírka úloh str. 17–21)
- Negace predikátových formulí, sémantika jazyka predikátové logiky (sbírka úloh str. 22–25)
Teorie množin
- Základní množinové operace (sbírka úloh str. 29–37)
- Kartézský součin, relace (sbírka úloh str. 37–42)
- Zobrazení, operace (sbírka úloh str. 43–47)
Teorie grafů
- Základní pojmy z teorie grafů (sbírka úloh str. 48–56)
- Grafové algoritmy (sbírka úloh str. 57–62)
Studijní literatura
-
Foltýnek, T. a kol.
Teoretické základy informatiky (sbírka úloh do cvičení).
1. vyd. Brno: Konvoj, 2011. 70 s. ISBN 978-80-7302-147-4.
-
Vaníček, J. a kol.
Teoretické základy informatiky.
1. vyd. Praha: Kernberg Publishing, 2007. 431 s. ISBN 978-80-903962-4-1.
-
Foltýnek, T.
Teorie množin i pro úplné idioty.
1. vyd. Brno: Konvoj, 2016. 111 s. ISBN 978-80-7302-171-9.
Sbírka příkladů
Můžete si zakoupit sbírku úloh, která obsahuje kromě množství příkladů včetně správného řešení také stručnou rekapitulaci potřebné teorie.
Sbírka je v prodeji za 45 Kč, přes veškeré úsilí obsahuje několik již odhalených a zdokumentovaných chyb.
Pokud naleznete chybu, která ještě nebyla zdokumentována, prosím o její zaslání na e-mail haluza@mendelu.cz.