Bu ders modern programlama dillerinin tanımı, tasarımı, gerçekleştirmesi ve kullanımının temelindeki kavramları içerir. Buyuru, fonksiyonel, mantık ve koşut zamanlı programlama dili grupları kapsanmaktadır. Programlama dillerinin sözdizimi ve anlamdizimi biçimsel yaklaşımlarla tanımlanır. Dil analizi ve derlemenin temel kavramları modern araçlar kullanılarak anlatılır.