MA009 Algebra II

Fakulta informatiky
jaro 2022
Rozsah
2/2/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k.
Vyučováno online.
Vyučující
doc. Mgr. Michal Kunc, Ph.D. (přednášející)
doc. Mgr. Ondřej Klíma, Ph.D. (pomocník)
Garance
doc. RNDr. Martin Čadek, CSc.
Katedra teorie programování - Fakulta informatiky
Dodavatelské pracoviště: Ústav matematiky a statistiky - Ústavy - Přírodovědecká fakulta
Předpoklady
( MB008 Algebra I || MV008 Algebra I || PROGRAM ( N - IN )|| PROGRAM ( N - AP )|| PROGRAM ( N - SS ))
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 20 mateřských oborů, zobrazit
Cíle předmětu
Cílem předmětu je seznámení se základními pojmy univerzální algebry používanými v informatice, a to se svazově uspořádanými množinami a rovnostní logikou.
Výstupy z učení
Po absolvování tohoto kurzu budou studenti schopni: používat základní pojmy teorie svazů a univerzální algebry; definovat a chápat základní vlastnosti svazů a úplných svazů; dokazovat jednoduchá algebraická tvrzení; aplikovat teoretické výsledky při algoritmickém počítání s operacemi a termy.
Osnova
  • Teorie svazů: polosvazy, svazy, homomorfismy svazů, modulární a distributivní svazy, Booleovy algebry, úplné svazy, věty o pevném bodě, uzávěrové operátory, zúplnění uspořádaných množin, Galoisovy korespondence, algebraické svazy.
  • Univerzální algebra: algebry, podalgebry, homomorfismy, algebry termů, kongruence, faktorové algebry, přímé součiny, podpřímé součiny, identity, variety, volné algebry, prezentace, Birkhoffova věta, věta o úplnosti pro rovnostní logiku, algebraické specifikace, přepisovací systémy.
Literatura
  • BURRIS, Stanley N. a H. P. SANKAPPANAVAR. A course in universal algebra. New York: Springer-Verlag, 1981. 276 s. ISBN 0387905782. info
  • PROCHÁZKA, Ladislav. Algebra. 1. vyd. Praha: Academia, 1990. 560 s. info
  • BICAN, Ladislav a Jiří ROSICKÝ. Teorie svazů a univerzální algebra. 1. vyd. Praha: Ministerstvo školství, mládeže a tělovýchovy ČSR, 1989. 84 s. info
Výukové metody
Přednášky: teoretická výuka prostřednictvím videí k off-line studiu. On-line cvičení: řešení konkrétních problémů s cílem porozumět základním pojmům a tvrzením.
Metody hodnocení
Zkouška písemná (požadováno alespoň 50% bodů) a ústní.
Informace učitele
Podrobné informace k průběhu výuky jsou uvedeny ve studijních materiálech v souboru manual.pdf.
Další komentáře
Předmět je vyučován jednou za dva roky.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019, jaro 2020.