Математическая логика и дискретная математика

  • Целью дисциплины является целостное ознакомление о методах математической логики; теории высказывания и действиями над высказываниями, теориями исчисление высказываний, теория истинной функцией и функцией Буля, теория предикатов. Теория множеств и операция над ними. Комбинаторика. Понятие высказываний и действия над ними. Основные формулы алгебры высказываний. Понятие предиката. Формулы алгебры предикатов. Теорема дедукции и ее следствия. Непротиворечивость, полнота теории вычисления высказываний. Задачи и алгоритмы. Предмет дискретной математики. Теория графов. Деревья и их свойства. Булевы функции. Элементы теории кодирования. В результате освоения курса студенты будут способны решать задачи математической логики и дискретной математики
  • Образовательная программа 6B01501 Подготовка учителей математики
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top