述語論理・入門―基礎からプログラムの理論へ

個数:

述語論理・入門―基礎からプログラムの理論へ

  • 提携先に在庫がございます【僅少】
    (※複数冊ご注文はお取り寄せとなります)

    【出荷予定日】
    ■午前0時~午前10時までのご注文は「翌々日~3日後に出荷」
    ■午前10時1分から午後(夜)11時59分までのご注文は「3日~4日後に出荷」

    【ご注意事項】 ※必ずお読みください
    ◆在庫状況は刻々と変化しており、ご注文手続き中やご注文後に在庫切れとなることがございます。
    ◆出荷予定日は確定ではなく、表示よりも出荷が遅れる場合が一部にございます。
    ◆複数冊をご注文の場合には全冊がお取り寄せとなります。お取り寄せの場合の納期や入手可否についてはこちらをご参照ください。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。

    ●店舗受取サービス(送料無料)をご利用いただけます。
    【カートに入れる】を選択後に全国店舗の中からお受け取り店をご指定下さい。詳細はこちら
  • ●この商品は国内送料無料です。
  • サイズ A5判/ページ数 206p/高さ 21cm
  • 商品コード 9784434106057
  • NDC分類 410.96

目次

1章 記号による命題の表現と証明の図形表現
2章 言語と形式的表現
3章 自然演繹の論理体系
4章 完全性定理
5章 推件計算
6章 証明図の中の式の書き替え
7章 標準形
8章 ゲンツェンのカット除去定理
9章 ロビンソンの体系と論理プログラム

著者紹介

上江洲忠弘[ウエスタダヒロ]
1942年東京都に生まれる。1964年東京教育大学理学部数学科卒業。1966年東京教育大学大学院理学研究科数学専攻修士課程修了。九州大学理学部助教授、東京理科大学理学部教授を歴任。理学博士。専門は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)