RUSSIAN

Формальный вывод и логические исчисления

By Смирнов В.А.

Book information

Publisher
Наука
Year
1972
Language
russian
Format
DJVU
Filesize
3 MB (2785747 bytes)
Pages
274\274
Topic
Mathematics Logic
Library
kolxoz
DPI
600
Orientation
portrait
Paginated
yes
Scanned
yes
Time added
2016-05-22 07:20:00

Description

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

Similar books