現代数理論理学序説
発売日：2010年6月
- ISBN
- 978-4-535-78556-4
- 著者情報
- 古森 雄一（コモリ ユウイチ）
１９４７年東京都に生まれる。１９７０年東京工業大学理工学部物理学科を卒業。１９７２年東京大学大学院理学研究科修士課程を修了。静岡大学理学部助教授、千葉大学理学部教授を経て、千葉大学総合メディア基盤センター教授。理学博士
小野 寛晰（オノ ヒロアキラ）
１９４２年愛知県に生まれる。１９６６年東京大学教養学部基礎科学科を卒業。１９６８年東京大学大学院理学系研究科修士課程を修了。広島大学総合科学部教授、北陸先端科学技術大学院大学情報科学研究科教授を経て、北陸先端科学技術大学院大学先端融合領域研究院特別招聘教授。理学博士
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。
目次
第１章 命題論理（論理学と形式的体系
命題論理の体系
ゲンツェンの基本定理
古典命題論理の意味論）
第２章 述語論理（述語論理の体系
ゲンツェンの基本定理
古典述語論理の意味論）
第３章 ラムダ計算の世界（ラムダ計算の計算能力
ラムダ項の型付けとη変形）
第４章 非標準論理（直観主義論理
論理と代数
様相論理
部分構造論理）
商品詳細
- 出版社名
- 日本評論社
- 対象年齢
- 一般
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
