Animated navigation - turn offAnimated navigation - turn off
Animated navigation - turn offAnimated navigation - turn off

  • 5 неделя

    • [[activityicon]]
      Лекция 5

      Аксиоматические теории Исчисление высказываний. Операции над предикатами. Предикатные формулы. Тавтологии.  Тезис Черча. Исчисление предикатов. Проверка правильности исчислений высказываний. Теорема дедукции.