数理論理学

個数:

数理論理学

  • 提携先に5冊在庫がございます。(2021年10月19日 15時11分現在)
    通常、5~7日程度で出荷されます。
    ※納期遅延や、在庫切れで解約させていただく場合もございます。
    ※1回のご注文は10冊までとなります
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷予定日】
    通常、5~7日程度で出荷されます。

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 310p/高さ 22cm
  • 商品コード 9784130629157
  • NDC分類 410.96
  • Cコード C3041

出版社内容情報

哲学・数学・情報・言語系で使われる論理学の初歩の知識を身につけることをめざした入門テキスト。具体例や演習問題も豊富。

さまざまな分野で用いられている論理学.本書は哲学系・数学系・情報系・言語系のいずれかに偏ることなく,その共通部分となる初歩の部分が身につくことを目指したテキストである.予備知識はいっさい仮定せず,一からていねいに解説する.具体例や演習問題も豊富.

I 一階論理の統語論と意味論
第1章 予備知識
第2章 論理学とは何か
第3章 一階命題論理:統語論と意味論
第4章 二進法とデジタル回路
第5章 一階述語論理:統語論と意味論
第6章 タブロー
II 一階論理の証明論
第7章 ヒルベルト流証明論
第8章 自然演繹
第9章 シーケント計算序論
第10章 ゲンツェン流シーケント計算
第11章 カット除去定理
第12章 タブロー式シーケント計算
第13章 健全性と完全性

【著者紹介】
戸次大介:お茶の水女子大学大学院人間文化創成科学研究科准教授

目次

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

著者等紹介

戸次大介[ベッキダイスケ]
1973年生まれる。2000年東京大学大学院理学系研究科情報科学専攻博士課程修了。現在、お茶の水女子大学大学院人間文化創成科学研究科准教授。国立情報学研究所客員准教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

Masahiko Toyoshi

0
再読2015/12/12

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/4643756

ご注意
リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
最新のアドレスについては、お客様ご自身でご確認ください。
リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。