現代論理学 新装版 [単行本]
ショッピングカートに入れる

    • 現代論理学 新装版 [単行本]

    • ￥2,64080 ゴールドポイント（3％還元）
    • 在庫あり2026年1月17日土曜日までにヨドバシエクストリームサービス便（無料）がお届け
現代論理学 新装版 [単行本]
100000009003416938

現代論理学 新装版 [単行本]

価格：￥2,640（税込）
ゴールドポイント：80 ゴールドポイント（3％還元）（￥80相当）
お届け日：在庫あり今すぐのご注文で、2026年1月17日土曜日までにヨドバシエクストリームサービス便（無料）がお届けします。［届け先変更］詳しくはこちら
出版社：その他
販売開始日： 2021/03/31
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

現代論理学 新装版 [単行本] の 商品概要

  • 目次

    序
    第I章　命題論理学
    　I-I トートロジー
    　　命題結合／真理関数／トートロジー／代入，置換，双対性／標準形，関数的完全性
    　I-II 自然推論
    　　Gentzen型命題算NP／NPの定理
    　I-III 公理系
    　　Hilbert型命題算LP／仮定からの演繹／重要な定理／LPの無矛盾性／LPの完全性／3つ
    の命題算の同等性

    第II章　述語論理学
    　II-I　自然推論
    　　述語算の構想／Gentzen型述語算NQ／NQの定理
    　II-II　公理系
    　　Hilbert型述語算LQ／第1階の理論／演繹定理／演繹規則Ug, Ui, Eg, Ei／置換，双対性／
    等号をもつ理論

    　II-III　解釈、モデル、完全性
    　　解釈／恒真式／無矛盾性とモデルの存在／完全性定理
    第III章　形式的推論
    　　形式的数論Z／Zの定理―その1―／Zの定理―その2―／数論的関係と関数の表現可能性

    第IV章　帰納的関数
    　　帰納的関数／帰納的関係／累積帰納法／帰納的関数と表現可能性
    第V章　不完全性定理
    　　Gödel数／メタ数字の算術化／不完全性定理／Rosserの定理，第2不完全性定理／決定
    問題とChurchのテーゼ

    参考文献
    索　　引

  • 内容紹介

    論理学は、哲学や数学基礎論だけでなく、
    情報理論、計算機科学、電子工学、数理言語学でも不可欠。
    現代論理学の基本的なトピックを選び、
    命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
    ロングセラーの新装版。
    すべての定理に証明つき。ゼロから、ゲーデルの不完全性定理まで学べる定番テキスト。
    ＊本書は1991年に発行した『現代論理学』の並製新装版です。

  • 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

    安井 邦夫(ヤスイ クニオ)
    １９７０年京都大学大学院文学研究科博士課程修了。専攻、哲学。現在、京都大学名誉教授

  • 著者について

    安井 邦夫 (ヤスイ クニオ)
    1970年　京都大学大学院文学研究科博士課程修了
    専　攻　哲　学
    現　在　京都大学名誉教授

現代論理学 新装版 [単行本] の商品スペック

商品仕様
出版社名：世界思想社　※出版地:京都
著者名：安井 邦夫（著）
発行年月日：2021/04/30
ISBN-10：4790717550
ISBN-13：9784790717553
判型：A5
発売社名：世界思想社
対象：専門
発行形態：単行本
内容：哲学
言語：日本語
ページ数：215ページ
縦：21cm
横：15cm
厚さ：2cm
重量：325g
他のその他の書籍を探す

    その他 現代論理学 新装版 [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！