初歩からの数理論理

ストリャール，ア・ア【著】〈Столяр，А．А．〉/保坂 秀正/山崎 昇【共訳】

大竹出版（1998/07発売）

• サイズ A5判／ページ数 180p／高さ 21cm
• 商品コード 9784871860437
• NDC分類 410.96
• Cコード C3041

内容説明

「数理論理」は生徒の論理的思考を伸ばすために、その重要性が指摘され、数学教師はもちろん、科学・技術の分野でも多くの人々の注目を集めている。初歩的な説明とわかりやすさに重点を置いた広範な読者に贈る入門書。

目次

１章　命題論理（対象と演算；式．同値な式．恒真式；命題論理の諸法則を推論に適用した事例　ほか）
２章　命題計算（公理的方法、形式的言語の構成；命題計算の構成―アルファベット、式、導出可能な式；命題計算の公理系の無矛盾性、独立性、完全性）
３章　述語論理（集合．集合演算；命題論理の不十分さ．述語；述語演算．量化記号　ほか）

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[ipusiron]

1999/4/25読了