Mathematical Software - NMMB533
Title: Matematický software
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2018
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:1/1, C+Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: not taught
Language: English
Teaching methods: full-time
Teaching methods: full-time
Guarantor: Dr. rer. nat. Faruk Göloglu
doc. RNDr. David Stanovský, Ph.D.
Class: M Mgr. MMIB
M Mgr. MMIB > Povinně volitelné
Classification: Informatics > Software Applications
Mathematics > Algebra
Opinion survey results   Examination dates   Schedule   Noticeboard   
Annotation -
Last update: 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).
Course completion requirements - Czech
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.06.2019)

http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm
Literature -
Last update: 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.
Requirements to the exam - Czech
Last update: doc. RNDr. David Stanovský, Ph.D. (13.10.2017)

http://www.karlin.mff.cuni.cz/~stanovsk/vyuka/msw.htm
Syllabus -
Last update: 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).