Лекция 3: Логика

Подробности

Категория: Логическое программирование от НОУ ИНТУИТ

История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.