Automaty a półgrupy
Informacje ogólne
Kod przedmiotu: | 1000-2M05AG | Kod Erasmus / ISCED: |
11.303
![]() ![]() |
Nazwa przedmiotu: | Automaty a półgrupy | ||
Jednostka: | Wydział Matematyki, Informatyki i Mechaniki | ||
Grupy: |
Przedmioty monograficzne dla III - V roku informatyki Przedmioty obieralne dla informatyki |
||
Punkty ECTS i inne: |
6.00 ![]() ![]() |
||
Język prowadzenia: | angielski | ||
Rodzaj przedmiotu: | monograficzne |
||
Skrócony opis: |
Podstawy teorii półgrup skończonych wraz z zastosowaniami w teorii języków. Języki zdefiniowane metodami logicznymi. |
||
Pełny opis: |
1. Podstawy półgrup. Związki z językami regularnymi. Relacje Green'a (2-3 wykłady) 2. Twierdzenie Simona o lasach faktoryzacji (1 wykład) 3. Twierdzenie Schutzenbergera o językach bezgwiazdkowych (1-2 wykłady) 4. Logiki temporalne (2 wykłady) 5. Słowa nieskończone (3 wykłady) 6. Drzewa (3 wykłady) |
||
Literatura: |
1.Howard Straubing, Finite Automata, Formal Logic and Circuit Complexity, Birkahauser 1994 |
Zajęcia w cyklu "Semestr letni 2019/20" (jeszcze nie rozpoczęty)
Okres: | 2020-02-17 - 2020-06-10 |
![]() |
Typ zajęć: |
Ćwiczenia, 30 godzin ![]() Wykład, 30 godzin ![]() |
|
Koordynatorzy: | Mikołaj Bojańczyk | |
Prowadzący grup: | Mikołaj Bojańczyk, Nathan Lhote | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Egzamin |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
Właścicielem praw autorskich jest Uniwersytet Warszawski.