Исчисление предикатов первого порядка в качестве модели представления знаний
  Искусственные нейронные сети
  Язык программирования Пролог
  Основы программирования
  Имитационное моделирование
  Методы оптимизации
  Параллельные вычисления
  Автоматизация проектирования в радиоэлектронике
  Автоматизированные системы управления
  Базы данных
  Бухгалтерские системы
  Генетические алгоритмы
  Геоинформатика
  Дискретная математика
  История вычислительной техники и информационных технологий
  Интеллектуальные системы
  Информационная безопасность
  Информационные технологии в образовании
  Компьютерная графика и геометрическое моделирование
  Компьютеры и вычислительные системы
  Математическая статистика
  Моделирование
  Оптимизация
  Прикладные информационные системы
  Программное обеспечение
  Программные продукты и системы
  Системы автоматизированного проектирования
  Современные проблемы информатики и вычислительной техники
  Схемотехника
  Телекоммуникации и сети
  Теория информации
  CALS-технологии
  SAP-системы
  Web-технологии
  Онтологии и обработка текстов
  Программная инженерия
  Управление персоналом
  Микропроцессорные системы управления в робототехнике и мехатронике
  Параметрический анализ систем
  Моделирование систем с распределенными параметрами
  Моделирование систем с сосредоточенными параметрами
  Моделирование в ПМК ПА9
  Методы комбинаторных вычислений
  Лингвистическое обеспечение САПР
  Программное обеспечение САПР
  Стандартные функции, структуры данных и алгоритмы системы программирования языка С
  Объектно-ориентированное программирование на С++