Subjects

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

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

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:

https://isabelle.in.tum.de/

To have an idea about the formalized mathematics look at

https://drive.google.com/drive/folders/1OfrJDgRsq086som0vn8soQmZF2AH4KME?usp=sharing

Seminar of Alexandra Slávika:

Seminar on p-adic numbers, see https://www2.karlin.mff.cuni.cz/~slavika/p-adic_reklama.pdf