2025/05/11
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
はじめての数理論理学(ハジメテ/ノ/スウリ/ロンリガク)｡
|
| 副書名｡ |
証明を作りながら学ぶ記号論理の考え方(ショウメイ/オ/ツクリナガラ/マナブ/キゴウ/ロンリ/ノ/カンガエカタ)｡
|
| 著者名等｡ |
山田/俊行‖著(ヤマダ,トシユキ)｡
|
| 出版者｡ |
森北出版／東京｡
|
| 出版年｡ |
2018.7｡
|
| ページと大きさ｡ |
7,131p／22cm｡
|
| 件名｡ |
記号論理学｡
|
| 分類｡ |
NDC8 版：410.96｡
|
| NDC9 版：410.96｡
|
| NDC10版：410.96｡
|
| ISBN｡ |
978-4-627-07801-7｡
|
| 価格｡ |
¥2400｡
|
| タイトルコード｡ |
1000001154943｡
|
| 内容紹介｡ |
論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。｡
|
| 著者紹介｡ |
筑波大学大学院博士課程電子・情報工学専攻修了。三重大学大学院工学研究科情報工学専攻講師。博士(工学)。研究分野は書き替え系、等式論理、組み合わせ最適化、ソフトウェアの解析と検証等。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001154943