Języki formalne i złożoność obliczeniowa lato 2024/25

Język wykładowy Polski
Opiekun Jerzy Marcinkowski
Liczba godzin 45 (wyk.) 45 (ćw.) 30 (rep.)
Rodzaj Obowiązkowy 3
ECTS 9
Polecany dla I roku Nie
Egzamin Tak

Opis przedmiotu:

Program przedmiotu obejmuje zagadnienia związane z teorią językow formalnych (wykłady A1 - A8) w zakresie istotnym z punktu widzenia wykształcenia informatycznego, a także dostatecznym dla stworzenia zasobow naturalnych przykładow dla części B i C. Następnie przechodzi się do zagadnień związanych z pojęciami rozstrzygalności i nierozstrzygalności (wykłady R1 -- R8). Ostatnia część kursu poświęcona jest wybranym, elementarnym zagadnieniom złożoności obliczeniowej.

Wykłady

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Jerzy Marcinkowski
śr 14:00-17:00 (s. 119) 75 67 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Ćwiczenia

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Bartłomiej Dudek
pn 14:00-17:00 (s. 4) 22 21 2
Jerzy Marcinkowski
pn 14:00-17:00 (s. 119) 22 22 1
Jan Otop
pn 14:00-17:00 (s. 5) 22 17 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.


Konsultacje prowadzących:


Imię i nazwisko Pokój Konsultacje
Bartłomiej Dudek 327 Online lub na żywo, w sprawie terminu proszę o kontakt meilowy.
Jan Otop 305 Konsultacje: pt 13-15 Proszę umówić się z wyprzedzeniem e-mailem.
Jerzy Marcinkowski 345 Środa, od 2 po południu. Proszę się wcześniej umówić mailem.