Жұмыс бағдарламасы мамандықтың жұмыс оқу жоспары және 20 ж бекітілген элективті пәндер каталогы негізінде әзірленген

Формальды тілдің семантикасын сипаттауда оның элементтерін қандай да бір модель түрінде көрсету керек, мүмкін басқа тілдің жолдары түрінде (7.2-сурет). Формальды тілдердің семантикасын сипаттау Г.Фрегенің композиция принципы негізінде жасалған, яғни жеке-жеке семантикалардың құрамы арқылы. Формальды тілдердің синтаксисы формальды грамматика арқылы беріледі.