Уважаемые посетители!
Данный сайт является архивным и больше не поддерживается.
Содержание дисциплины:Предмет является обязательным в разделе дисциплин предметной подготовки. Включает в себя теоретический и практический материал по темам: Введение. Дедуктивный характер математики. Предмет математической логики, ее роль в вопросах обоснования математики. Тенденции в развитии современной математическойния. Логические операции над высказываниями. Язык логики высказываний, формулы. Истинностные значения формул. Равносильность. Равносильные преобразования формул. Представление истинностных функций формулами. Тавтологии – законы логики. Принципы построения исчислений высказываний (гильбертовского или генценовского типа). Классическое и конструктивное (интуиционистское) исчисления. Аксиомы, правила вывода. Доказуемость формул. Выводимость из гипотез. Производные правила. Теорема дедукции. Характеристики исчислений высказываний – непротиворечивость, полнота, разрешимость и связанные с ними теоремы. Независимость аксиом, правил вывода. Законы исключенного третьего и снятия двойного отрицания – законы классической логики. Эффективные и неэффективные доказательства. Логика предикатов. Предикаты и кванторы. Язык логики предикатов. Термы и формулы. Языки первого порядка. Интерпретации. Значение формулы в интерпретации. Равносильность. Общезначимость и выполнимость формул. Проблема общезначимости, неразрешимость ее в общем случае. Применение языка логики предикатов для записи математических предложений, построение отрицаний предложений. Формализованные математические теории. Теории первого порядка. Аксиомы теории, правила вывода. Доказательства в теории. Характеристики теорий: непротиворечивость, полнота, разрешимость. Непротиворечивость исчисления предикатов. Модели теорий. Теорема о полноте для теорий. Формальная арифметика. Теоремы Геделя о неполноте. Формализация теории множеств. Обзор результатов о непротиворечивости и независимости в основаниях теории множеств. Проблемы оснований математики. Парадоксы теории множеств. Проблема непротиворечивости математики. Программа Гильберта. Метод формализации. Конструктивное направление в математике.
Компетенции:Знать теоретические основы дисциплины в объёме, необходимом для решения типовых задач; уметь решать типовые задачи изучаемой дисциплины.
Связь с другими дисциплинами:Все дисциплины математического цикла.\r\n