Języki, automaty i gramatyki
Zbrzezny Andrzej, dr hab. prof UJD

Celem kursu jest zapoznanie studentów z podstawowymi pojęciami teorii języków formalnych, podstawami teorii automatów skończonych, oraz podstawami teorii gramatyk bezkontekstowych.

Konstrukcja kompilatorów
Zbrzezny Andrzej, dr hab. prof UJD

Celem przedmiotu jest zapoznanie studentów z podstawami teorii i praktyki konstruowania kompilatorów.


Programowanie funkcyjne
Zbrzezny Andrzej, dr hab. prof UJD

Celem przedmiotu jest przedstawienie programowania funkcyjnego – paradygmatu i stylu programowania, oraz towarzyszących mu technik programistycznych. Wykłady mają na celu zaprezentowanie koncepcji oraz metod programowania w języku Haskell. Laboratoria mają na celu kształtowanie praktycznych umiejętności studentów w zakresie programowania w języku Haskell.