Předmět Seminář matematických struktur (FIT-SMT)

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 FIT-SMT - Seminář matematických struktur, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).

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

Cíl

Rozšíření schopností aplikovat poznatky z oblasti matematických struktur významných pro informatiku a schopností řešit konkrétní teoretické i praktické problémy s využitím těchto struktur. Předmět pokrývá, procvičuje a ilustruje na příkladech obecných i informatických všechny oblasti diskutované v předmetu Matematické struktury v informatice, tj. univerzální algebry, klasické algebraické struktury, základy matematické logiky, teorie Banachových a Hilbertových prostorů a teorie neorientovaných i orientovaných grafů.

Osnova

Osnova přednášek:Výroková logika, syntax, sémantika, formální systém výrokové logiky, dokazatelnost ve výrokové logice, ukázky důkazů. Predikátová logika, syntax, sémantika, transformace formulí. Predikátová logika, formální systém, ukázky důkazů. Univerzální algebry, podalgebry a homomorfismy, kongruence a faktorové algebry, přímé součiny algeber. Grupoidy, pologrupy, grupy: vlastnosti, příklady. Svazy, Booleovy algebry: vlastnosti, příklady. Okruhy, ideály, tělesa: vlastnosti příklady. Okruhy polynomů, obory integrity a dělitelnost, konečná tělesa: vlastnosti, příklady. Metrické prostory, úplnost, normované a Banachovy prostory. Unitární a Hilbertovy prostory, ortogonalita, uzavřené ortonormální systémy a Fourierovy řady. Stromy a kostry, minimální kostra (Kruskalův a Primův algoritmus), vybarvování uzlů a hran grafu. Orientované grafy, orientované eulerovské grafy, problém kritické cesty (Dijkstrův a Floyd-Warshallův algoritmus). Sítě, toky a řezy v sítích, problémy maximálního toku a minimálního řezu, cirkulace v sítích.

Literatura

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 0387941290Mendelson, E.: Introduction to Mathematical Logic, Chapman Hall, 1997, ISBN 0412808307 Biggs, N.L.: Discrete Mathematics, Oxford Science Publications, 1999, ISBN 0198534272

Požadavky

Nejsou žádné prerekvizity.

Garant

prof. Ing. Tomáš Vojnar, Ph.D.

Vyučující

prof. Ing. Tomáš Vojnar, Ph.D.