Aktualności Wydarzenia
Automata Theory
Logic and Dynamical Systems
Prelegent: Yoàv Montacute
2023-04-26 14:15
The study of the relationship between logic and topology has a rich and extensive history. One way of exploring this relationship involves examining the formal languages of indiscrete spaces and their discrete representations. The talk will provide an introduction to this topic and its extension to dynamical systems.
2023-04-24
Wojciech Przybyszewski