初歩からの数理論理
Author(s)
Bibliographic Information
初歩からの数理論理
大竹出版, 1998.7
- Other Title
-
Элементарное введение в математическую логику
Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku
- Title Transcription
-
ショホ カラ ノ スウリ ロンリ
Available at 64 libraries
Search this Book/Journal
Note
参考文献: p175-176
Description and Table of Contents
Description
「数理論理」は生徒の論理的思考を伸ばすために、その重要性が指摘され、数学教師はもちろん、科学・技術の分野でも多くの人々の注目を集めている。初歩的な説明とわかりやすさに重点を置いた広範な読者に贈る入門書。
Table of Contents
- １章 命題論理（対象と演算；式．同値な式．恒真式；命題論理の諸法則を推論に適用した事例 ほか）
- ２章 命題計算（公理的方法、形式的言語の構成；命題計算の構成—アルファベット、式、導出可能な式；命題計算の公理系の無矛盾性、独立性、完全性）
- ３章 述語論理（集合．集合演算；命題論理の不十分さ．述語；述語演算．量化記号 ほか）
by "BOOK database"