Специальная математика. Соловьев А.Е.

Курс посвящен некоторым разделам современной математики, математическому аппарату, который помогает расширить возможности математического моделирования сложных систем. Задача курса состоит в выработке навыков формализации физических сущностей с помощью различных "диалектов" современного математического языка. И наоборот, интерпретации полученных математических результатов. Конспект лекций включает разделы: Теория множеств- Математическая логика- Теория автоматов- Теория графов- Теория групп- Теория алгоритмов- Формальные грамматики- Функциональное программирование- Логическое программирование- Объектно-ориентированное программирование.