|
|
Узлы и теория представлений
21 сентября 2020 г. 18:30, г. Москва, Join Zoom Meeting ID: 885 2101 5482 Passcode: 141592
|
 |
|
 |
|
|
|
[Mathematics with a taste of Combinatorics on Words FOURTH PART: MATHEMATICAL LOGIC]
|
| Количество просмотров: |
| Эта страница: | 123 |
|
Аннотация:
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.
Язык доклада: английский
|
|
Обратная связь: