情報理論のための数理論理学

• タイトルヨミ: ジョウホウリロンノタメノスウリロンリガク
• シリーズ名: 数学のかんどころ／31
• シリーズ名ヨミ: スウガクノカンドコロ31
• 著編者等／著者名等: 板井昌典‖著
• 統一著者名: 板井昌典
• 著編者等ヨミ／著者名等ヨミ: イタイマサノリ
• 出版者: 共立出版
• 出版地: 東京
• 出版年: 2017.8
• 大きさ: 11,200p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-320-11072-4
• マークNo: TRC000000017039290
• タイトルコード: 1000001067928
• 資料番号: 00000000000100001965
• 請求記号: 410.96/ｲﾀ ｼ
• 内容紹介: ソフトウェア工学や計算機科学の分野で重要な役割を果たしている「数理論理学」のテキスト。情報系・工学系の学生を対象に、命題・述語論理から、ブール代数などの「少し先」の内容までを、できるだけ分かりやすく説明する。
• 種別: 図書
• 配架場所: 03141