- Добавил: polyanskiy
- Дата: Вчера, 07:48
- Комментариев: 0

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