Телелекции

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

Метод резолюций доказательства логического следования для логики высказываний и логики предикатов

 

Данная передача рекомендуется для просмотра лицам старше 16 лет