このページのリンク

<図書>
スウリ ロンリガク
数理論理学 = Mathematical logic / 戸次大介著

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2012.3

所蔵情報を非表示



越谷_数学研00 410.96||B32 1000488326

書誌詳細を非表示

出版年 2012.3
大きさ viii, 310p ; 21cm
一般注記 参考文献: p300-302
本文言語 日本語
著者標目  戸次, 大介(1973-) <ベッキ, ダイスケ>
分 類 NDC8:410.96
NDC9:410.96
件 名 BSH:記号論理学
ISBN 9784130629157
NCID BB08796072
書誌ID B000498459
目次/あらすじ
日外アソシエーツ『BOOKPLUS』より

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

 類似資料