Diskrétní struktury

Studijní plán: Aplikovaná informatika - platný od ZS 2024/2025

PředmětDiskrétní struktury (DS-1)
GarantujeKatedra technických studií (KTS)
GarantIng. Lenka Kuklišová Pavelková, Ph.D.
Jazykčesky
Počet kreditů5
Prezenční studium
Přednáška2 h
Cvičení2 h
Kombinované studium
Tutoriál / přednáška6 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

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

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. 




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.). 




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 a komunikovat o získaných zkušenostech.


^ nahoru ^

Pracuji, vyčkejte prosím