資料詳細

【図書】 初歩からの数理論理

ア・ア・ストリャール／著, 保坂秀正／共訳, 山崎昇／共訳, 　 -- 大竹出版 -- １９９８．０７ -- ２１ｃｍ -- １８０ｐ

タイトル	初歩からの数理論理
著者名等	ア・ア・ストリャール／著, 保坂秀正／共訳, 山崎昇／共訳,
出版	大竹出版１９９８．０７
大きさ等	２１ｃｍ１８０ｐ
分類	410.96
件名	記号論理学
内容	参考文献：ｐ１７５～１７６
要旨	「数理論理」は生徒の論理的思考を伸ばすために、その重要性が指摘され、数学教師はもちろん、科学・技術の分野でも多くの人々の注目を集めている。初歩的な説明とわかりやすさに重点を置いた広範な読者に贈る入門書。
目次	１章　命題論理（対象と演算；式．同値な式．恒真式；命題論理の諸法則を推論に適用した事例　ほか）；２章　命題計算（公理的方法、形式的言語の構成；命題計算の構成―アルファベット、式、導出可能な式；命題計算の公理系の無矛盾性、独立性、完全性）；３章　述語論理（集合．集合演算；命題論理の不十分さ．述語；述語演算．量化記号　ほか）
ISBN(13)、ISBN	4-87186-043-4
書誌番号	1198040430
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1198040430

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/181	一般書	利用可	-	2015205043