Темы устных докладов СГА → Математическая логика и теория алгоритмов (курс 2)

Математическая логика и теория алгоритмов (курс 2) (6832) , модуль 1 - Темы устных докладов СГА

  • Аксиоматическое построение исчисления высказываний
  • Алгебра Буля
  • Дизъюнктивная форма функций алгебры логики
  • Истоки возникновения математической логики
  • Конъюнктивная форма функций алгебры логики
  • Основные логические операции над высказываниями
  • Отличие классической и математической логик
  • Понятие высказывания в математической логике
  • Понятие исчисления высказываний
  • Понятие логической операции
  • Понятие, суждение, умозаключение в классической логике
  • Приложения алгебры логики
  • Приложения алгебры логики в технике (релейно-контактные схемы)
  • Примеры логических парадоксов
  • Равносильные преобразования формул
  • Равносильные формулы алгебры логики
  • Различные интерпретации Булевой алгебры
  • Решение логических задач методами алгебры логики
  • Формулы алгебры логики
  • Функции алгебры логики