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

Теория предикатов первого порядка. Формализация высказываний в логике предикатов. Лектор - Татьяна Таран. Образование для всех. © Телекомпания СГУ ТВ, 2001. Другие лекции смотрите на