Przedmiot stanowi wprowadzenie do podstawowych zagadnień związanych z projektowaniem, semantyką i implementacją języków programowania, prezentowanych w systematyczny i rygorystyczny sposób przy użyciu wybranego formalizmu matematycznego.
- Nauczyciel: Małgorzata Biernacka
- Nauczyciel: Dariusz Biernacki