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

  • Понятие множества и элементы множества. Способы задания множеств. Операции над множествами. Операции над множествами: объединение, пересечение, разность, симметрическая разность, дополнение. Основные понятия и аксиомы алгебры логики. Логические операции, формулы, таблицы истинности. Законы алгебры логики. Булевы функции. Совершенная дизъюнктивная и конъюнктивная нормальная форма. Логические схемы и логические функции
  • Образовательная программа 6B06106 Информационные системы
  • Кредитов 4
  • Год обучения 1
  • Семестр 1
Top