2025/05/19
資料の種別。 |
図書。
資料情報のコピー
|
書名。 |
情報理論のための数理論理学(ジョウホウ/リロン/ノ/タメ/ノ/スウリ/ロンリガク)。
|
著者名等。 |
板井/昌典‖著(イタイ,マサノリ)。
|
出版者。 |
共立出版/東京。
|
出版年。 |
2017.8。
|
ページと大きさ。 |
11,200p/21cm。
|
シリーズ名。 |
数学のかんどころ 31。
|
件名。 |
記号論理学。
|
分類。 |
NDC8 版:410.96。
|
NDC9 版:410.96。
|
NDC10版:410.96。
|
ISBN。 |
978-4-320-11072-4。
|
価格。 |
¥1900。
|
タイトルコード。 |
1000001067928。
|
内容紹介。 |
ソフトウェア工学や計算機科学の分野で重要な役割を果たしている「数理論理学」のテキスト。情報系・工学系の学生を対象に、命題・述語論理から、ブール代数などの「少し先」の内容までを、できるだけ分かりやすく説明する。。
|
著者紹介。 |
1953年生まれ。イリノイ大学シカゴ校大学院修了。Ph.D.。東海大学理学部情報数理学科教授。。
|
所蔵数。 |
館内でのみ利用可能な資料 。 |
貸出可能な資料。 |
貸出中の資料(割当または回送中含む) 。 |
予約件数(割当含む)。 |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料。
- 1 冊
|
貸出中の資料(割当または回送中含む)
- 0 冊
|
- 予約件数(割当含む)
- 0 件
|
このページのURL:https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001067928