Předmět Matematická logika a grafy (TAE41E)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu TAE41E - Matematická logika a grafy, Technická fakulta, Česká zemědělská univerzita v Praze (ČZU).

Materiál	Typ	Datum	Počet stažení

Osnova

PřednáškaVýroková logika, logické spojkyPřevod formule do disjunktivní normální formy a její minimalizaceMnožiny, množinové operaceRelace a jejich využití v informaticeZáklady predikátové logikyNeorientované grafyOhodnocené grafy, grafové algoritmyOrientované grafy a jejich užití v informaticeToky v sítíchKonečné automaty neformálněKonstrukce konečných automatů, regulární jazykyMinimalizace konečných automatůCvičeníVýroková logika, logické spojkyPřevod formule do disjunktivní normální formy a její minimalizaceMnožiny, množinové operaceRelace a jejich využití v informaticeZáklady predikátové logikyNeorientované grafyOhodnocené grafy, grafové algoritmyOrientované grafy a jejich užití v informaticeToky v sítíchKonečné automaty neformálněKonstrukce konečných automatů, regulární jazykyMinimalizace konečných automatů

Získané způsobilosti

Znalosti:Absolvent předmětu se seznámí se základními partiemi matematiky a dále některými oblastmi na pomezí matematiky a informatiky. Jedná se především o výrokovou a predikátovou logiku, základní pojmy teorie množin, teorii grafů včetně algoritmů v ní používaných a teorii konečných automatů.Dovednosti:Absolvent předmětu je schopen aktivně získané znalosti používat při dalším studiu odborných přírodovědných či technicky zaměřených předmětů. Je také schopen aplikovat jemu známé výsledky z výše zmíněných partií matematiky a především příslušné algoritmy při řešení základních aplikačních úloh v odborných předmětech a úloh z inženýrské praxe.Kompetence - komunikace:Je schopen používat matematický jazyk a matematické symboly při komunikaci s odborníky z jiných oblastí, je schopen pomocí matematického jazyka formulovat některé otázky, hypotézy a myšlenky z různých oblastí praxe.Kompetence - úsudek:Absolvent předmětu je schopen vidět možnost využití matematiky a výpočetní techniky při řešení jistých praktických úloh, tj. je schopen odhalit tuto možnost, posoudit vhodnost využití známých výsledků a algoritmů a ty poté použít pro řešení úlohy.

Literatura

ZákladníDEMLOVÁ, Marie; PONDĚLÍĆEK Bedřich. Matematická logika, Vydavatelství ČVUT, 1997, ISBN 80-01-01683-8KOLÁŘ Josef; ŠTĚPÁNKOVÁ Olga; CHYTIL Michal. Logika, algebry a grafy, SNTL, 1989, 440 s.https//moodle.czu.cz/https//hora.howto.czDoporučenáVANÍČEK, Jiří; PAPÍK, Martin; PERGL Robert; VANÍČEK, Tomáš. Teoretické základy informatiky. Praha. Kernberg Publishing. 2007. 436 s. ISBN 978-80-903962-4-1.MATOUŠEK, Jiří; NEŠETŘIL, Jaroslav. Kapitoly z diskrétní matematiky. NAKLADATELSTVÍ KAROLINUM. ISBN 978-80-246-1411-3.

Požadavky

žádné

Garant

RNDr. Jan Hora, Ph.D.