Математическая логика. Лекция 3

Просмотров: 2, 062   |   Загружено: 7 год.
icon
Образование для всех
icon
38
icon
Скачать
iconПодробнее о видео
Метод резолюций доказательства логического следования для логики высказываний и логики предикатов. Лектор - Татьяна Таран. Образование для всех. © Телекомпания СГУ ТВ, 2001. Другие лекции смотрите на

Похожие видео

Добавлено: 55 год.
Добавил:
  © 2019-2021
  Математическая логика. Лекция 3 - RusLar.Me