Алгебра: основные алгебраические структуры, векторные пространства и линейные отображения, булевы алгебры. Геометрия: аналитическая геометрия, многомерная евклидова геометрия, дифференциальная геометрия кривых и поверхностей, элементы топологий. Дискретная математика: логические исчисления, графы, теория алгоритмов, языки и грамматики, автоматы, комбинаторика; логика высказываний; логическое следование, принцип дедукции; логика предикатов; синтаксис и семантика языка логики предикатов; принцип логического программирования; аксиоматические системы, формальный вывод; метатеория формальных систем; понятие алгоритмической систем; рекурсивные функции; машины Тьюринга; алгоритмически неразрешимые проблемы; меры сложности алгоритмов; легко и трудноразрешимые задач; основы нечеткой логики; элементы алгоритмической логики. Анализ: дифференциальное и интегральное исчисления, элементы теории функций и функционального анализа, теория функций комплексного переменного, дифференциальные уравнения. Вероятность и статистика: математические основы теории вероятностей, модели случайных процессов, проверка гипотез, статистические методы обработки экспериментальных данных.
|