Лекция 4. Свойства логических исчислений

  1. 00:16Свойства логических исчислений
  2. 06:49Семантическая непротиворечивость и семантическая полнота
  3. 27:00Разрешимость
  4. 38:31Синтаксическая непротиворечивость
  5. 43:16Синтаксическая полнота
  6. 52:11Свойства аксиоматического исчисления высказываний