Předmět Univerzální algebra pro informatiky (KAG / PGSUI)
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 KAG / PGSUI - Univerzální algebra pro informatiky, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
Kurs studenty seznamuje s obecnými algebraickými konstrukcemi a hlavnímivýsledky dosaženými v univerzální algebře. Úvod kursu je věnován algebráma hlavním algebraickým konstrukcím: podalgebrám, morfismům, součinům,subdirektní reprezentaci algeber a podobně. Další partie kursu se věnujítřídám algeber definovatelným pomocí identit a kvaziidentit a jejichalgebraické charakterizaci pomocí uzavřenosti na jisté operátory(Birkhoffova věta o varietách, charakterizace kvazivariet). Kurs jeukončen vybranými partiemi týkajícími se aplikací výsledků univerzálníalgebry v informatice.
Získané způsobilosti
1. ZnalostiJe presentována pokročilá teorie universálních algeber a jejich variet. Jsou klasifikovány kongruenční podmínky pomocí volných algeber.
Literatura
Chajda I., Glazek K. A Basic Course on General Algebra. Technical University Press, Zielona Góra, 2002. ISBN 83-85911-81-2.Burris S., Sankappanavar H. P. A Course in Universal Algebra. Springer-Verlag, New York, 1981. ISBN 0-387-90578-2.Michael J. O Donnell. Equational Logic as a Programming Language. MIT Press, 1985. ISBN 978-0-262-15028-6.Gratzer G. Universal Algebra. Springer-Verlag Berlin Heidelberg (druhé vydání), 1979. ISBN 0-387-90355-0.Denecke K., Wismath S. L. Universal Algebra and Applications in Computer. Chapman & Hall/CRC, 2001. ISBN 58488-254-1.Wechler W. Universal Algebra for Computer Scientists. Springer-Verlag Berlin Heidelberg, 1992. ISBN 3-540-54280-9.Ježek J. Univerzální algebra a teorie modelů. SNTL Praha, 1976.
Garant
prof. RNDr. Ivan Chajda, DrSc.
Vyučující
prof. RNDr. Ivan Chajda, DrSc.