Математическая логика. Лекция 3
- Видео
- О видео
- Скачать
- Поделиться
Математическая логика. Лекция 3
Метод резолюций доказательства логического следования для логики высказываний и логики предикатов. Лектор - Татьяна Таран. Образование для всех. © Телекомпания СГУ ТВ, 2001. Другие лекции смотрите на https://www.youtube.com/playlist?list=PLho0jPYl5RAECSwGW7vvANW_5xDrBpSvZ
2, 062 | 7 год. назад | 38 - 0
Метод резолюций доказательства логического следования для логики высказываний и логики предикатов. Лектор - Татьяна Таран. Образование для всех. © Телекомпания СГУ ТВ, 2001. Другие лекции смотрите на
Чтобы скачать видео "Математическая логика. Лекция 3" передвинте ползунок вправо
- Комментарии
Комментарии ФБ