<図書>
スウリ ロンリガク
数理論理学 = 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部 一階論理の証明論(ヒルベルト流証明論
自然演繹
シーケント計算序論
ゲンツェン流シーケント計算
カット除去定理
タブロー式シーケント計算
健全性と完全性)
[目次]
第1部 一階論理の統語論と意味論(予備知識
論理学とは何か
一階命題論理:統語論と意味論
二進法とデジタル回路
一階述語論理:統語論と意味論
タブロー)
第2部 一階論理の証明論(ヒルベルト流証明論
自然演繹
シーケント計算序論
ゲンツェン流シーケント計算
カット除去定理
タブロー式シーケント計算
健全性と完全性)
類似資料
この資料の利用統計
このページへのアクセス回数:5回
※2021年3月24日以降
全貸出数:0回
(1年以内の貸出:0回)
※2020年3月24日以降