Matematický software - NMMB533

• Anglický název: Mathematical Software
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2018
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:1/1, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Garant: doc. Faruk Göloglu, Dr. rer. nat.; doc. RNDr. David Stanovský, Ph.D.
• Třída: M Mgr. MMIB; M Mgr. MMIB > Povinně volitelné
• Kategorizace předmětu: Informatika > Aplikační software; Matematika > Algebra

Anotace

čeština

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: T_KA (06.05.2015)

angličtina

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).

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (02.03.2018)

Podmínky zakončení předmětu

http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.06.2019)

Literatura

čeština

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: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.09.2013)

Požadavky ke zkoušce

http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm

Poslední úprava: Stanovský David, doc. RNDr., Ph.D. (13.10.2017)

Sylabus

čeština

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: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.09.2013)

angličtina

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).

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (02.03.2018)