Лекция 1. Логический язык

  1. 00:19Вводное слово к курсу
  2. 00:41Высказывания и логические операции
  3. 28:56Примеры
  4. 35:03Формулы. Общезначимость
  5. 55:33Формулы. Эквивалентность
  6. 01:04:24Примеры