čeština

Studenti prohloubí své znalosti z oblasti matematických struktur, které jsou nejčastěji využívány v informatice. Jedná se o matematickou logiku, algebru, funkcionální analýzu a teorii grafů. To jim pak umožní nejen lépe porozumět teoretickým základům informatiky, ale také se aktivně zapojit do výzkumu v tomto oboru.

Nejsou žádné prerekvizity.

Výuka předmětu je realizována formou: Přednáška - 3 vyučovací hodiny týdně, Cvičení odb. zák. - 1 vyučovací hodina týdně.

Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.

Cílem předmětu je prohloubit u studentů znalosti základních matematických struktur, které jsou často využívány v různých oblastech informatiky. Vedle základů univerzální algebry a klasických algebraických struktur budou podrobněji vyloženy základy matematické logiky, teorie Banachových a Hilbertových prostorů a teorie neorientovaných i orientovaných grafů.

Půlsemestrální písemný test.

Mendelson, E.: Introduction to Mathematical Logic, Chapman Hall, 1997, ISBN 0412808307 Cameron, P.J.: Sets, Logic and Categories, Springer-Verlag, 2000, ISBN 1852330562 Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272

Birkhoff, G., MacLane, S.: Aplikovaná algebra, Alfa, Bratislava, 1981 Procházka, L.: Algebra, Academia, Praha, 1990 Lang, S.: Undergraduate Algebra, Springer-Verlag, New York - Berlin - Heidelberg, 1990, ISBN 038797279 Polimeni, A.D., Straight, H.J.: Foundations of Discrete Mathematics, Brooks/Cole Publ. Comp., Pacific Grove, 1990, ISBN 053412402X Shoham, Y.: Reasoning about Change, MIT Press, Cambridge, 1988, ISBN 0262192691 Van der Waerden, B.L.: Algebra I, II, Springer-Verlag, Berlin - Heidelberg - New York, 1971, Algebra I. ISBN 0387406247, Algebra II. ISBN 0387406255 Nerode, A., Shore, R.A.: Logic for Applications, Springer-Verlag, 1993, ISBN 0387941290