|
|
|
||
Poslední úprava: T_KA (06.05.2015)
|
|
||
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.06.2019)
http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm |
|
||
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.09.2013)
M. Wester, Computer Algebra Systems: A Practical Guide, Wiley 1999.
C.L. Chang, R.C.T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press. |
|
||
Poslední úprava: doc. RNDr. David Stanovský, Ph.D. (13.10.2017)
http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm |
|
||
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). |