横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
数理論理学序説
復刊 --
前原昭二
/著 --
共立出版 -- 2010.9 -- 22cm -- 214,5p
予約申込
本棚へ
資料詳細
タイトル
数理論理学序説
版情報
復刊
著者名等
前原昭二
/著
出版
共立出版 2010.9
大きさ等
22cm 214,5p
分類
410.96
件名
記号論理学
注記
索引あり
著者紹介
1951年東京大学理学部卒。元筑波大学名誉教授・東京工業大学名誉教授。専攻、数学基礎論。
内容紹介
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく解説した入門書。各章末には練習問題を掲載。「共立全書」として刊行され、高評を得ていた書を単行本として復刊。
要旨
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
目次
1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか);2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)
ISBN(13)、ISBN
978-4-320-01943-0 4-320-01943-1
書誌番号
1110069218
ページの先頭へ
所蔵
所蔵は
2
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
410.9/202
一般書
利用可
-
2044901423
金沢
公開
Map
410
一般書
利用可
-
2045089889
ページの先頭へ