Лекция 3: Логика
- Подробности
- Категория: Логическое программирование от НОУ ИНТУИТ
История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.
История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.