Аннотация дисциплины Математическая логика и теория алгоритмов

• Алгебра и геометрия
• Дискретная математика

• (230101.65) Вычислительные машины, комплексы, системы и сети
• (230201.65) Информационные системы и технологии

• Экзамен

Цель курса: обучение основам математической логики и теории алгоритмов,

Задачи курса: формирование логического мышления, развитие абстрактного мышления, освоение аппарата математической логики; изучая математическую логику студенты по сути знакомятся с современным математическим языком, являющимся, как известно, языком любой науки.

Компетенции: Теоретические знания, полученные в результате изучения дисциплины, направлены на формирование логического мышления, умение структурировать материал, умение формализации постановки задач.,

Содержание курса: Алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, основы теории алгоритмов.,