M8170 Počítačová algebra

Přírodovědecká fakulta
jaro 2001
Rozsah
2/0/0. 4 kr. Ukončení: zk.
Vyučující
doc. RNDr. Josef Niederle, CSc. (přednášející)
Garance
doc. RNDr. Josef Niederle, CSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Kontaktní osoba: doc. RNDr. Josef Niederle, CSc.
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
  • Matematika (program PřF, M-MA, směr Diskrétní matematika)
  • Matematika (program PřF, N-MA, směr Diskrétní matematika)
Cíle předmětu
Přepisovací systémy
Konfluentní redukce
Churchova-Rosserova vlastnost
Terminace
Unifikační algoritmus
Kritické dvojice
Superpoziční algoritmus
Knuthova-Bendixova zúplňovací procedura
Příklady
Literatura
  • Computer algebra :symbolic and algebraic computation. Edited by Bruno Buchberger. Moskva: Mir, 1986, 392 s. info
  • KNUTH, Donald Ervin. The art of computer programming. Reading: Addison-Wesley Publishing Company, 1969, xi, 624. info
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 2011 - akreditace, jaro 2003, jaro 2005, jaro 2007, jaro 2009, jaro 2011, jaro 2013, jaro 2015, jaro 2017, jaro 2019, jaro 2021, jaro 2023, jaro 2025.