Основы математической логики

Цели и задачи дисциплины
Основной целью изучения данной дисциплины является освоение знаий об исчислении логики, предикатов, а также базовых знаний об аксиоматическихтеориях и формализованных понятиях алгоритма. Для достижения этой цели надо решить следующие задачи: 1) формирование у студентов знаний об исчислениях высказываний и предикатов; 2) формирование понятий об аксиоматических теориях и их свойствах; 3) формирование у студента знаний о формальных языках и грамматиках; 4) формирование знаний о понятии алгоритма. В результате освоения дисциплины студент должен получить первичные предсталениие о решении следующей профессиональной задачи: применение методов математического и алгоритмического моделирования при анализе прикладных проблем; использование базовых математических задач и математических методов в научных исследованиях.
Краткое содержание дисциплины
1. Введение в теорию алгоритмов 2. Исчисление высказываний 3. Исчисление предикатов 4. Понятие аксиоматической теории и ее свойств 5. Понятие формального языка. Регулярные языки и грамматики. Тезисы Тьюринга, Маркова, Чёрча. Формальное определение алгоритма. Представление об алгоритмически неразрешимых проблемах
Компетенции обучающегося, формируемые в результате освоения дисциплины
Выпускник должен обладать:
  • ОПК-1 готовностью использовать фундаментальные знания в области математического анализа, комплексного и функционального анализа, алгебры, аналитической геометрии, дифференциальной геометрии и топологии, дифференциальных уравнений, дискретной математики и математической логики, теории вероятностей, математической статистики и случайных процессов, численных методов, теоретической механики в будущей профессиональной деятельности
  • ПК-3 способностью строго доказывать утверждение, сформулировать результат, увидеть следствия полученного результата
Вы нашли ошибку в тексте:
Просто нажмите кнопку «Сообщить об ошибке» — этого достаточно. Также вы можете добавить комментарий.