出版社内容情報
【解説】
数学基礎論の強力な手段であると共に，電子回路などへの工学的応用，さらには近年の機械学習理論への適用においても，その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。
【目次】
命題論理・述語論理・直観主義論理・述語計算ＬＫ・自然数論・様相論理・束論と論理他
内容説明
数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。
目次
第１章 命題論理
第２章 述語論理
第３章 直観主義論理
第４章 述語計算ＬＫ
第５章 自然数論
第６章 様相論理
第７章 束論と論理
著者等紹介
松本和夫［マツモトカズオ］
１９４７年大阪帝国大学理学部数学科卒業。専攻は数学基礎論、理学博士
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
