Automaty ważone
Przedmiot prowadzimy wspólnie z Filipem Mazowieckim. W każdym tygodniu jeden z nas prowadzi blok: wykład + ćwiczenia. Notatki z wybranych wykładów udostępniamy poniżej, natomiast zadania z ćwiczeń dostępne są tutaj.Wykłady
- Wykład 1 (wstęp do automatów ważonych)
- Wykład 2 (wstęp do LRSów)
- Wykład 3 (wieloznaczność AW)
- Wykład 4 (tw. Schützenbergera)
- Wykład 5 (nierozstrzygalność pustości i innych problemów)
- Wykład 6 (tw. Skolema-Mahlera-Lecha)
- Wykład 7 (tw. SML c.d.)
- Wykład 8 (ciągi wielomianowo-rekurencyjne)
- Wykład 9 (problem Skolema)
- Wykład 10 (problem Skolema w niskich wymiarach)
- Wykład 11 (determinizacja AW)
- Wykład 12 (determinizacja c.d.)
- Wykład 13 (tw. Hashiguchiego)
- Wykład 14 (skończone półgrupy macierzy)
Notatki do wybranych wykładów
Tu można znaleźć notatki do wybranych wykładów.
Zadania z gwiazdką
Planowane są dwie lub trzy serie zadań z gwiazdką. Za każde zadanie z gwiazdką jest jeden punkt, do podziału na osoby, które rozwiązały to zadanie. Można rozwiązywać zadanie w grupach. Jeśli k grup rozwiązało zadanie, to każda z nich dostaje 1/k punktu. Ta 1/k jest dzielona po równo na osoby w grupie. Tzn. jeśli np. zadanie rozwiązały 2 grupy: jednoosobową oraz dwuosobową to podział punktu pomiędzy osoby to: 1/2, 1/4 oraz 1/4.- pierwsza seria zadań z gwiazdką (termin to 14.04.2023)
System oceniania
System składa się z trzech części: egzaminu ustnego, zadań domowych oraz zadań z gwiazdką.
Mniej więcej w połowie semestru opublikujemy kilka zadań domowych, z których trzeba będzie zrobić około połowę. Na egzaminie ustnym będziemy rozmawiać o zadaniach domowych oraz o pytaniach z listy podanej pod koniec semestru.
Planujemy też dwie lub trzy serie zadań z gwiazdką dla chętnych, każdą po około 3-5 zadań. Za każde zadanie z gwiazdką jest jeden punkt, do podziału na osoby, które rozwiązały to zadanie (sposób podziału opisany jest wyżej).
Jeśli ktoś dostanie z egzaminu ocenę x oraz y punktów z zadań z gwiazdką, to dostaje ocenę x+y zaokrągloną do najbliższej liczby ze zbioru {2, 3, 3.5, 4, 4.5, 5}.