Дисциплина «Математические основания информатики»

Дисциплина относится к базовой части учебного плана магистратуры по направлению «Информатика и вычислительная техника».

Что предстоит узнать?

Курс является органическим продолжением дисциплин «Дискретная математика» и «Математическая логика и теория алгоритмов», изучаемых по учебным планам бакалавров. Цель дисциплины – поднять математическую культуру студентов, овладеть основными моделями и методами компьютерной математики. Дисциплина состоит из следующих разделов: основы универсальной алгебры; дискретный анализ; дискретные функциональные системы; прикладная логика; теория доказательств.


Математические основания информатики