ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > 理学 > 数学 > 数学一般
出版社名：朝倉書店
出版年月：2023年11月
ISBN：978-4-254-50038-7
２２１Ｐ　２１ｃｍ
記号論理学
山本新／著　入江俊夫／著　田村高幸／著
 
組合員価格 税込 3,168円
(通常価格 税込 3,520円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）；第２章　命題論理（命題の記号化；論理式　ほか）；第３章　述語論理（命題の記号化；限量記号の用法　ほか）；第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）；第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）；補論１　ゲンツェンの論理体系；補論２　様相論理への補論；補論３　線形論理について
もくじ情報：第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）；第２章　命題論理（命題の記号化；論理式　ほか）；第３章　述語論理（命題の記号化；限量記号の用法　ほか）；第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）；第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）；補論１　ゲンツェンの論理体系；補論２　様相論理への補論；補論３　線形論理について
著者プロフィール
山本　新(ヤマモト　シン)
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任
山本　新(ヤマモト　シン)
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任

同じ著者名で検索した本

現代ドイツ労働法令集
山本陽大／編著　井川志郎／著　植村新／著　榊原嘉明／著
博多の豪商・神屋宗湛の人間力とビジネス戦略
山本久義／編著　北村新比古／著　内田寛樹／著
戦争と文明/中公クラシックス　Ｗ９６
トインビー／〔著〕　山本新／訳　山口光朔／訳
冒険の森へ　傑作小説大全　６/追跡者の宴
〔逢坂剛／編集委員〕　〔大沢在昌／編集委員〕　〔北方謙三／編集委員〕　〔船戸与一／編集委員〕　〔夢枕獏／編集委員〕
織田信長の古文書
織田信長／〔著〕　山本博文／編　堀新／編　曽根勇二／編
徳川家康の古文書
徳川家康／〔著〕　山本博文／編　堀新／編　曽根勇二／編
豊臣秀吉の古文書
豊臣秀吉／〔著〕　山本博文／編　堀新／編　曽根勇二／編
ソクラテスからデカルトまで
山本新／著
テキスト建築計画
川崎寧史／編著　山田あすか／編著　伊藤俊介／著　岩田伸一郎／著　遠藤新／著　岡本和彦／著　倉斗綾子／著　小林健一／著　佐藤将之／著　蜂谷俊雄／著　平尾和洋／著　山本直彦／著
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて
ご利用ガイド
利用規約
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.