• 本

数理論理学

出版社名 共立出版
出版年月 2001年8月
ISBNコード 978-4-320-01682-8
4-320-01682-3
税込価格 4,070円
頁数・縦 192,3P 22cm

商品内容

要旨

数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。

目次

第1章 命題論理
第2章 述語論理
第3章 直観主義論理
第4章 述語計算LK
第5章 自然数論
第6章 様相論理
第7章 束論と論理

出版社
商品紹介

中心となる基本定理を各章でいろいろな角度から扱い、とくにゲンツェンの方法に重点をおいている。

著者紹介

松本 和夫 (マツモト カズオ)  
1947年大阪帝国大学理学部数学科卒業。専攻は数学基礎論、理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)