資料詳細

  • 1 件中、 1 件目

【図書】 数理論理学序説

復刊 --
前原昭二 ／著   -- 共立出版 -- ２０１０．９ -- ２２ｃｍ -- ２１４，５ｐ

資料詳細

タイトル 数理論理学序説
版情報 復刊
著者名等 前原昭二 ／著  
出版 共立出版 ２０１０．９
大きさ等 ２２ｃｍ ２１４，５ｐ
分類 410.96
件名 記号論理学
注記 索引あり
著者紹介 １９５１年東京大学理学部卒。元筑波大学名誉教授・東京工業大学名誉教授。専攻、数学基礎論。
内容紹介 論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく解説した入門書。各章末には練習問題を掲載。「共立全書」として刊行され、高評を得ていた書を単行本として復刊。
要旨 論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
目次 １　命題論理（真理関数；Ｂｏｏｌｅ代数；真理関数の標準形；Ｔａｕｔｏｌｏｇｙ　ほか）；２　述語論理（命題関数；超限的命題；数学的理論における命題の形式的表現；述語論理　ほか）
ISBN(13)、ISBN 978-4-320-01943-0　　 4-320-01943-1
書誌番号 1110069218

ページの先頭へ

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/202 一般書 利用可 - 2044901423 iLisvirtual
金沢 公開 Map 410 一般書 利用可 - 2045089889 iLisvirtual

ページの先頭へ