MSTR Elective Seminar - NMAG475
|
|
|
||
Last update: T_KA (30.04.2015)
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)
Active participance. |
|
||
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 |