KZ

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

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