Формальный вывод и логические исчисления
Моментальное скачивание
после оплаты (24/7)
Широкий выбор форматов
(для всех устройств)
Полная версия книги
(в т.ч. для Apple и Android)
В монографии анализируются различные способылогического рассуждения: логистические системы гиль-бертовского типа, системы натурального вывода,секвенциальные исчисления. Показывается, какмодификация понятия формального вывода влияет на классдоказуемых формул, условия, при которых имеетместо теорема дедукции. Дается достаточно естественнаяклассификация логических систем. Вводится иподробно исследуется лежащее в основе классификацииабсолютное исчисление предикатов.
LF/365086208/R
Характеристики
- ФИО Автора
- Смирнов В.А.
- Язык
- Русский
- Дата выхода
- 1972
7 книг этого же автора
Товары из этой категории:
В монографии анализируются различные способылогического рассуждения: логистические системы гиль-бертовского типа, системы натурального вывода,секвенциальные ...