Nie jesteś zalogowany | 
Automaty a półgrupy
Informacje ogólne
| Kod przedmiotu: | 1000-2M05AG | Kod Erasmus / ISCED: |
11.303
 /
(0612) Database and network design and administration
|
| 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  zobacz reguły punktacji |
||
| 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 (1-2 wykłady) 2.Proste charakteryzacje algebraiczne. Języki lokalne (2-3 wykłady) 3.Twierdzenie Schutzenbergera o językach bezgwiazdkowych (2-3 wykłady) 4.Twierdzenie Krohna-Rhodesa charakteryzujące pógrupy skończone (3 wykłady) 5.Logiki temporalne (3 wykłady) 6.Rozszerzenia: drzewa, słowa nieskończone (2 wykłady) |
||
| Literatura: |
1.Howard Straubing, Finite Automata, Formal Logic and Circuit Complexity, Birkahauser 1994 |
||
Zajęcia w cyklu "Semestr letni 2017/18" (zakończony)
| Okres: | 2018-02-17 - 2018-06-10 |
 
 zobacz plan zajęć |
| Typ zajęć: |
Ćwiczenia, 30 godzin więcej informacji Wykład monograficzny, 30 godzin więcej informacji |
|
| Koordynatorzy: | Mikołaj Bojańczyk | |
| Prowadzący grup: | Mikołaj Bojańczyk | |
| 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.