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