| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Узлы и теория представлений
|
|||
|
|
|||
|
[Mathematics with a taste of Combinatorics on Words FOURTH PART: MATHEMATICAL LOGIC] |
|||
|
Аннотация: First, we will review the concepts of first-order logic. Then we will talk about Logical characterization of words. Topics such as Presburger's theorem, Buchi's theorem and Characterization of k-automatic sequences. The application of the subject appears in the Thue-Morse word. Язык доклада: английский |
|||