Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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

Guarantor:	doc. Faruk Göloglu, Dr. rer. nat. 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 -

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

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (02.03.2018)

Course completion requirements - Czech

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

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.06.2019)

Literature -

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.

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (11.09.2013)

Requirements to the exam - Czech

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

Last update: Stanovský David, doc. RNDr., Ph.D. (13.10.2017)

Syllabus -

Last update: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (02.03.2018)