Лекция 9. Формализованные языки

  1. 00:16Формализованные языки
  2. 06:20Алфавит формализованного языка
  3. 07:23Алфавит языка классической логики высказываний
  4. 13:30Правильно построенные выражения формализованного языка
  5. 30:53Пример использования языка классической логики высказываний для выделения логических форм сложных высказываний
  6. 37:17Язык классической логики предикатов первого порядка
  7. 55:17Термы
  8. 01:09:36Формулы