MMIS Elective 2 - NMMB499
| Title: |
Výběrová přednáška MMIB 2 |
| Guaranteed by: |
Department of Algebra (32-KA) |
| Faculty: |
Faculty of Mathematics and Physics |
| Actual: |
from 2016 to 2016 |
| Semester: |
summer |
| E-Credits: |
3 |
| Hours per week, examination: |
summer s.:2/0, Ex [HT] |
| Capacity: |
unlimited |
| Min. number of students: |
unlimited |
| 4EU+: |
no |
| Virtual mobility / capacity: |
no |
| State of the course: |
taught |
| Language: |
Czech, English |
| Teaching methods: |
full-time |
| Teaching methods: |
full-time |
| Note: |
you can enroll for the course repeatedly |
|
|
| Annotation -
| |
|
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)
Non-repeated universal elective course.
The title of the topic in the academic year 2016/17 is Formal Mathematics and Proof Assistants
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (17.05.2019)
Jednorázová výběrová přednáška na různá témata.
Název tématu akademického roku 2016/17 je Formální matematika a dokazovací asistenti.
|
