|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Доказательство и его поиск (Курс логики и компьютерный практикум)книга
- Авторы: Смирнов В.А., Маркин В.И., Новодворский А.Е., Смирнов А.В.
- Год издания: 1996
- Место издания: Наука Москва
- Объём: 256 страниц
- ISBN: 5-02-013603-4
- Аннотация: Книга - первое в отечественной литературе руководство по логике, оснащенное таким рабочим инструментом для построения логических выводов, как компьютерная программа, что позволит читателю легко переходить от одного логического исчисления к другому. Систематически излагаются методы поиска доказательств в интерактивном режиме для исчисления предикатов и прикладных теорий, а также способы формализации: аксиоматический метод, метод аналитических таблиц. Основное внимание уделено натуральному (субординатному) выводу с эпсилон-символом.
- Добавил в систему: Маркин Владимир Ильич