Автор: В.А. Смирнов и другие
Название: Логика и компьютер. Выпуск 3. Доказательство и его поиск.
Издательство: М:, Наука
Год: 1996
Страниц: 255
Формат: DJVU, PDF
Размер: 10 МБ

Книга - первое в отечественной литературе руководство по логике, оснащенное таким рабочим инструментом для построения логических выводов, как компьютерная программа, что позволит читателю легко переходить от одного логического исчисления к другому. Систематически излагаются методы поиска доказательств в интерактивном режиме для исчисления предикатов и прикладных теорий, а также способы формализации: аксиоматический метод, метод аналитических таблиц. Основное внимание уделено натуральному (субординатному) выводу с е-символом.
Для всех изучающих логику с помощью компьютера.






ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШЕМ СЮДА!