Informační systém Vysoké školy polytechnické Jihlava
IS VŠPJ
Diskrétní struktury
Studijní plán: Aplikovaná informatika - platný od ZS 2024/2025
| Předmět | Diskrétní struktury (DS) |
|---|---|
| Garantuje | Katedra technických studií (KTS) |
| Garant | Ing. Lenka Kuklišová Pavelková, Ph.D. |
| 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í | 10 h |
| Studijní plán | Typ | Sem. | Kred. | Ukon. |
|---|---|---|---|---|
| Aplikovaná informatika - kombi, platný od ZS 2024/2025 | P | 1 | 5 kr. | Z,ZK |
| Aplikovaná informatika - platný od ZS 2024/2025 | P | 1 | 5 kr. | Z,ZK |
Anotace
Cílem předmětu je podat základní teoretické poznatky týkající se matematické logiky, teorie množin a teorie grafů.
Znalosti: Student zná základy teorie množin, formální logiky a teorie grafů. Zná možnosti použití těchto teoretických oblastí v jednotlivých směrech informatiky.
Dovednosti: Student umí použít teoretické poznatky při řešení konkrétní úlohy, např. reprezentaci dat grafovými strukturami.
Obecné způsobilosti: Student se orientuje v oblasti základů teorie množin, výrokové a predikátové logiky a teorie grafů a je schopen své znalosti a dovednosti uplatnit v dalších předmětech studijního programu. Umí vysvětlit základní principy a komunikovat o získaných zkušenostech.
Sylabus
- Základy teorie množin, aplikace teorie množin v informatice
- Formální logika, výrokový a predikátový počet
- Aplikace formální logiky v informatice
- Teorie grafů, grafové algoritmy
- Aplikace grafů v informatice
- Základy teorie algoritmů, vyčíslitelnost, automaty
Doporučená literatura
- Studijní opora v LMS Moodle
- GRAMI, A. Discrete Mathematics: Essentials and Applications. Elsevier Science, 2022. ISBN 978-0128206560
- KOLÁŘ, J. Teoretická informatika. Praha: České vysoké učení technické, 2009. ISBN 978-80-01-04331-8.
- VANÍČEK, J. Teoretické základy informatiky. Praha: Kernberg, 2007. Informatika studium (Kernberg). ISBN 978-80-903962-4-1
- DEMLOVÁ, M. a B. PONDĚLÍČEK. Matematická logika. Praha: Vydavatelství ČVUT, 1997. ISBN 80-01-0168