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

2 005
18.1
Опубликовано 14 июля 2017, 5:22
Метод резолюций доказательства логического следования для логики высказываний и логики предикатов. Лектор - Татьяна Таран. Образование для всех. © Телекомпания СГУ ТВ, 2001. Другие лекции смотрите на youtube.com/playlist?list=PLho...
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское