はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
はじめての数理論理学 = Mathematical Logic for Beginners : 証明を作りながら学ぶ記号論理の考え方
- 国立国会図書館請求記号
- MA41-L87
- 国立国会図書館書誌ID
- 029101563
資料詳細
要約等：
- 「記号だらけで難しそう…」そんなイメージを払拭する、いちばんやさしい解説書！（提供元: 出版情報登録センター（JPRO））
著者紹介：
- 山田 俊行 三重大学講師 博（工）（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
序章 数理論理学とは
第1章 論理式：記号を使って主張を表す
第2章 証明法：指針に沿って証明を作る
第3章 自然演繹：記号を使って証明を表す
確認問題の解答と解説
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
札幌市中央図書館
紙- 請求記号：
- 410/ﾔ/
- 図書登録番号：
- 5513645688
青森県立図書館
紙- 請求記号：
- 410.96-ﾔﾏﾀﾞ*ﾄ
- 図書登録番号：
- 10217023891
関東
茨城県立図書館
紙- 請求記号：
- 410.9/ﾔﾏ/
群馬県立図書館
紙- 請求記号：
- 410.96-ﾇ87
- 図書登録番号：
- 13471701
さいたま市立中央図書館
紙- 請求記号：
- 410.96 ﾔﾏ
- 図書登録番号：
- 21100801790
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す