数理論理学 [単行本]
ショッピングカートに入れる

    • 数理論理学 [単行本]

    • ￥3,30099 ゴールドポイント（3％還元）
    • お取り寄せ
数理論理学 [単行本]
100000009001494209

数理論理学 [単行本]

価格：￥3,300（税込）
ゴールドポイント：99 ゴールドポイント（3％還元）（￥99相当）
お届け日：お取り寄せこの商品は、日時を指定できません。［届け先変更］詳しくはこちら
出版社：東京大学
販売開始日： 2012/03/17
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

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

数理論理学 [単行本] の 商品概要

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

    第１部　一階論理の統語論と意味論（予備知識
    論理学とは何か
    一階命題論理：統語論と意味論
    二進法とデジタル回路
    一階述語論理：統語論と意味論
    タブロー）
    第２部　一階論理の証明論（ヒルベルト流証明論
    自然演繹
    シーケント計算序論
    ゲンツェン流シーケント計算
    カット除去定理
    タブロー式シーケント計算
    健全性と完全性）

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

    戸次 大介(ベッキ ダイスケ)
    １９７３年生まれる。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了。現在、お茶の水女子大学大学院人間文化創成科学研究科准教授。国立情報学研究所客員准教授。理学博士

数理論理学 [単行本] の商品スペック

商品仕様
出版社名：東京大学出版会
著者名：戸次 大介（著）
発行年月日：2012/03/09
ISBN-10：4130629158
ISBN-13：9784130629157
判型：A5
対象：専門
発行形態：単行本
内容：数学
ページ数：310ページ
縦：21cm
他の東京大学の書籍を探す

    東京大学 数理論理学 [単行本] に関するレビューとＱ＆Ａ

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