Логика формальная и математическая. Предмет, основные части

[iifat]

eugrita в сообщении #758281 писал(а):

А вот попался курс Основы матем.логики и логического программирования В.А.Захарова.Новые понятия

Пробежал глазами. Пролог прологом, по-моему.

eugrita в сообщении #758281 писал(а):

Интересно, используют это только как теоретический взгляд или находит применение в конкретных задачах?

Пролог — находит применение. Не знаю конкретно насчёт Хорна/Захарова, но, вообще говоря, Пролог ­отнюдь не одинок в группе языков логического вывода. Попробуйте погуглить системы продукций. Из конкретных названий Guru, хотя там вообще чорт ногу сломит, по-моему — как я понимаю, попытка совокупить логическое программирование с требованиями жизни: как правило, у нас нет в запасе вечности... Ещё, по-моему, Glaukoma. Больше не вспомню, но их должно быть немало.