Дисциплина нацелена на формирование профессиональных компетенций: ПК-31, даёт углублённые знания в области формальной, математической и структурной лингвистики, а также прикладной лингвистики в области компьютерных технологий, позволяющие овладение методиками разработки лингвистического обеспечения в автоматизированных системах (ПК-31); Кроме того, дисциплина формирует обще-профессиональные компетенцию (ОПК-29), позволяющую овладеть глубокими знаниями в области пофессиональной и корпоративной этики (ОПК-29).

Содержание дисциплины охватывает круг вопросов, связанных с изучением предмета и современных задач Формальных моделей; места формальных моделей в системе языкознания, основных разделов этой науки, а также взаимосвязи формальной и прикладной (компьютерной) лингвистики.

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: лекции, практические занятия, самостоятельная работа студента.

Программой дисциплины предусмотрены следующие виды контроля: текущий контроль успеваемости в форме фронтального опроса; рубежный контроль в форме защиты самостоятельно подготовленных докладов и промежуточный контроль в форме экзамена, который оформляется по результатам ответов на теоретические вопросы.

Общая трудоемкость освоения дисциплины составляет 3 зачетные единицы, 108 часов. Программой дисциплины предусмотрены лекционные (17 ч.), практические (1 ч.) занятия и 74 часа самостоятельной работы студента.