KZ

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

  • Множества и операции над ними. Диаграммы Эйлера-Венна. Отношения и их свойства. Высказывания и операции над ними. Формулы алгебры высказываний. Тавтологии. Нормальные формы для формул алгебры логикии их применение. Полнота функций. Многочлены Жегалкина. Предикаты. Равносильность предикатов. Формулы логики предикатов, их интерпретация и классификация. Кванторы. Теория графов. Матрицы инцидентности. Булевы функции. Рекурсивные функции. Теория автоматов. Теория кодирования.
  • Образовательная программа 6B01503 Математика-Физика
  • ВУЗ Университет имени Шакарима города Семей
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top