Математическая теория логического вывода [сборник переводов статей]
Идельсон А.В., Минц Г.Е. (ред.)
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
カテゴリー:
年:
1967
出版社:
Наука
言語:
russian
ページ:
351
シリーズ:
Математическая логика и основания математики
ファイル:
DJVU, 3.34 MB
IPFS:
,
russian, 1967
Litres
あなたの書店を追加したいですか？support@z-lib.fmまでお問い合わせください。
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
