述語論理・入門―基礎からプログラムの理論へ [単行本]

販売休止中です

    • 述語論理・入門―基礎からプログラムの理論へ [単行本]

    • ￥2,53076 ゴールドポイント（3％還元）
述語論理・入門―基礎からプログラムの理論へ [単行本]

述語論理・入門―基礎からプログラムの理論へ [単行本]

価格：￥2,530（税込）
ゴールドポイント：76 ゴールドポイント（3％還元）（￥76相当）
日本全国配達料金無料
出版社：星雲社
販売開始日： 2007/04/25
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

  • 販売休止中です

お気に入りに登録する

お客様へのおすすめ【PR】

述語論理・入門―基礎からプログラムの理論へ [単行本] の 商品概要

  • 目次(「BOOK」データベースより）

    １章　記号による命題の表現と証明の図形表現
    ２章　言語と形式的表現
    ３章　自然演繹の論理体系
    ４章　完全性定理
    ５章　推件計算
    ６章　証明図の中の式の書き替え
    ７章　標準形
    ８章　ゲンツェンのカット除去定理
    ９章　ロビンソンの体系と論理プログラム

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

    上江洲 忠弘(ウエス タダヒロ)
    １９４２年東京都に生まれる。１９６４年東京教育大学理学部数学科卒業。１９６６年東京教育大学大学院理学研究科数学専攻修士課程修了。九州大学理学部助教授、東京理科大学理学部教授を歴任。理学博士。専門は数学基礎論

述語論理・入門―基礎からプログラムの理論へ [単行本] の商品スペック

商品仕様
出版社名：遊星社
著者名：上江洲 忠弘（著）
発行年月日：2007/04/25
ISBN-10：4434106058
ISBN-13：9784434106057
判型：A5
発売社名：星雲社
対象：専門
発行形態：単行本
内容：数学
ページ数：206ページ
縦：21cm
他の星雲社の書籍を探す

    星雲社 述語論理・入門―基礎からプログラムの理論へ [単行本] に関するレビューとＱ＆Ａ

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