SubjectsSubjects(version: 806)
Course, academic year 2017/2018
   Login via CAS
MMIS Elective 2 - NMMB499
Czech title: Výběrová přednáška MMIB 2
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2017
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:2/0 Ex [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Note: you can enroll for the course repeatedly
Guarantor: doc. RNDr. Jiří Tůma, DrSc.
Class: M Mgr. MMIB
M Mgr. MMIB > Volitelné
Classification: Mathematics > Algebra
Annotation -
Last update: doc. Mgr. Petr Kaplický, Ph.D. (27.01.2017)

Non-repeated universal elective course. The title of the topic in the academic year 2016/17 is Formal Mathematics and Proof Assistants
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html