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.
