資料詳細

  • 1 件中、 1 件目

初歩からの数理論理 利用可

Ａ．ストリャール／著 -- 大竹出版 -- 199807 -- 41096

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ｽﾄﾘ/一般Ｈ 113487460 一般 利用可

ページの先頭へ

資料詳細

タイトル 初歩からの数理論理
書名ヨミ ショホ　カラノ　スウリ　ロンリ
著者名 Ａ．ストリャール ／著, 保坂秀正 ／共訳, 山崎昇 ／共訳  
著者ヨミ ストリャール，Ａ．　Ａ． , ホサカ，ヒデマサ , ヤマザキ，ノボル  
出版者 大竹出版  
出版年 199807
ページ数等 １８０ｐ
大きさ ２１ｃｍ
内容細目 参考文献：ｐ１７５～１７６
一般件名 記号論理学  
ISBN 4-87186-043-4
問合わせ番号（書誌番号） 1100444106
NDC8版 41096
内容紹介 「数理論理」は生徒の論理的思考を伸ばすために、その重要性が指摘され、数学教師はもちろん、科学・技術の分野でも多くの人々の注目を集めている。初歩的な説明とわかりやすさに重点を置いた広範な読者に贈る入門書。

ページの先頭へ

内容一覧

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

ページの先頭へ