Přehled vybraných výpočetních metod a softwarových nástrojů v algebře a logice. Systémy pro počítačovou
algebru (např. Mathematica, Sage), specializované programy pro jednotlivé oblasti algebry (např. GAP), SAT
solving a automatické dokazování (např. Prover9) a další oblasti dle aktuální potřeby a zájmu studentů. Součástí
výuky bude jak praxe (použití software), tak teorie (základní principy).
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (02.03.2018)
Computer algebra systems (eg Mathematica, Sage), specialized programs for specific areas of algebra (eg GAP),
SAT solving and automated proving (eg Prover9) and other areas according to the current needs and interest of
students. Teaching includes both practice (software use) and theory (basic principles).
Podmínky zakončení předmětu
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.06.2019)
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.09.2013)
Přehled vybraných výpočetních metod a softwarových nástrojů v algebře a logice. Systémy pro počítačovou algebru (např. Mathematica, Sage), specializované programy pro jednotlivé oblasti algebry (např. GAP), SAT solving a automatické dokazování (např. Prover9) a další oblasti dle aktuální potřeby a zájmu studentů. Součástí výuky bude jak praxe (použití software), tak teorie (základní principy).
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (02.03.2018)
Computer algebra systems (eg Mathematica, Sage), specialized programs for specific areas of algebra (eg GAP), SAT solving and automated proving (eg Prover9) and other areas according to the current needs and interest of students. Teaching includes both practice (software use) and theory (basic principles).