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