Teoretické základy informatiky
Studijní plán:
Předmět | Teoretické základy informatiky (xTZI-1) |
Garantuje | Katedra technických studií (KTS) |
Garant | doc. Ing. Zbyněk Bureš, Ph.D. ( buresz@vspj.cz ) |
Jazyk | česky |
Počet kreditů | 5 |
Prezenční studium |
Přednáška | 2 h |
Cvičení | 2 h |
Kombinované studium |
Tutoriál / přednáška | 6 h |
Cvičení | 8 h |
Sylabus
- Základy teorie množin
- Aplikace teorie množin v informatice a elektrotechnice
- Formální logika, výrokový a predikátový počet
- Aplikace formální logiky v informatice a elektrotechnice
- Teorie grafů
- Grafové algoritmy
- Aplikace grafů v informatice a elektrotechnice
- Základy teorie algoritmů, vyčíslitelnost, automaty
Doporučená literatura
- MIŠOVIČ, M. Teoretické základy informatiky 1 – 4. Jihlava:VŠPJ 2011.
- VANIČEK, J. aj. Teoretické základy informatiky: sbírka úloh do cvičení. 1. vyd. Praha: Kernberg, 2007, 431 s. ISBN 978-80-903962-4-1.
- KOLÁŘ, J. Teoretická informatika. 2. vyd. Praha: Česká informatická společnost, 2000, 204 s. ISBN 80-900-8538-5.
Anotace
Cílem předmětu je podat základní teoretické poznatky, týkající se matematické logiky, teorie množin, teorie grafů a teorie algoritmů.
Znalosti: Student zná základy teorie množin, formální logiky a teorie grafů a algoritmů. Zná možnosti použití těchto teoretických oblastí v jednotlivých směrech informatiky a elektrotechniky.
Dovednosti: Student umí použít teoretické poznatky při řešení konkrétní úlohy (např. při klasifikaci dat, zápisu algoritmů, reprezentaci dat grafovými strukturami apod.).
^ nahoru ^