Przedmiot nie jest aktualnie prowadzony!
Kod Erasmus: 11.3
Kod ISCED: 0612
Punkty ECTS:
brak danych
Język:
angielski
Organizowany przez:
Wydział Matematyki, Informatyki i Mechaniki
Związany z programami studiów:
Automaty a półgrupy 1000-2M05AG
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)
Rodzaj przedmiotu
monograficzne
Literatura
1.Howard Straubing, Finite Automata, Formal Logic and Circuit Complexity, Birkahauser 1994
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami: