KZ

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

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