SubjectsSubjects(version: 901)
Course, academic year 2021/2022
MSTR Elective Seminar - NMAG475
Title: Výběrový seminář z MSTR
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2020
Semester: both
E-Credits: 2
Hours per week, examination: 0/2 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
Virtual mobility / capacity: no
State of the course: taught
Language: English, Czech
Teaching methods: full-time
Note: you can enroll for the course repeatedly
you can enroll for the course in winter and in summer semester
Guarantor: doc. Mgr. Štěpán Holub, Ph.D.
Class: M Mgr. MSTR > Volitelné
Classification: Mathematics > Algebra
Interchangeability : NALG050
Annotation -
Last update: T_KA (30.04.2015)
Universal elective seminar.
Course completion requirements -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)

Active participance.

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

Seminar of Stepan Holub:

This seminar will be dedicated to formalization in Isabelle/HOL of topics related to Combinatorics on Words.

We shall continue an ongoing work, participantas without previous experience can join as well. Participants should install Isabelle:

To have an idea about the formalized mathematics look at

Seminar of Alexandra Slávika:

Seminar on p-adic numbers, see

Charles University | Information system of Charles University |