Przedmiot stanowi wprowadzenie do fundamentalnych 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: Dariusz Biernacki
- Nauczyciel: Maciej Piróg
- Nauczyciel: Filip Sieczkowski