初歩からの数理論理

著者

• Stoli︠a︡r, A. A. (Abram Aronovich)
• 保坂, 秀正 ホサカ, ヒデマサ
• 山崎, 昇 ヤマザキ, ノボル

書誌事項

初歩からの数理論理

ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳

大竹出版, 1998.7

タイトル別名

Элементарное введение в математическую логику

Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku

タイトル読み

ショホ カラ ノ スウリ ロンリ

注記

参考文献: p175-176

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA36867080
• ISBN:
  • 4871860434
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: rus
• 出版地: 東京
• ページ数/冊数: 180p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学