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