ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > 理学 > 数学 > 数学一般
出版社名：共立出版
出版年月：2017年8月
ISBN：978-4-320-11072-4
２００Ｐ　２１ｃｍ
情報理論のための数理論理学/数学のかんどころ　３１
板井昌典／著
 
組合員価格 税込 1,881円
(通常価格 税込 2,090円)
割引率 10%
お取り寄せ
お届け日未定
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１章　命題論理；第２章　述語論理；第３章　計算可能性とチューリング機械；第４章　命題論理の充足可能性問題；第５章　述語論理の決定不能性；第６章　ブール代数；第７章　形式手法と数理論理学
もくじ情報：第１章　命題論理；第２章　述語論理；第３章　計算可能性とチューリング機械；第４章　命題論理の充足可能性問題；第５章　述語論理の決定不能性；第６章　ブール代数；第７章　形式手法と数理論理学
著者プロフィール
板井　昌典(イタイ　マサノリ)
１９５３年生まれ。１９７８年神戸大学理学部数学科卒業。１９８９年イリノイ大学シカゴ校大学院修了。Ｐｈ．Ｄ．現在、東海大学理学部情報数理学科教授（本データはこの書籍が刊行された当時に掲載されていたものです）
板井　昌典(イタイ　マサノリ)
１９５３年生まれ。１９７８年神戸大学理学部数学科卒業。１９８９年イリノイ大学シカゴ校大学院修了。Ｐｈ．Ｄ．現在、東海大学理学部情報数理学科教授（本データはこの書籍が刊行された当時に掲載されていたものです）

同じ著者名で検索した本

モデル理論
板井昌典／著
幾何的モデル理論入門
板井昌典／著
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて
ご利用ガイド
利用約款
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.