計算論理入門 : 情報の数理 オンデマンド版
計算論理入門 : 情報の数理
オンデマンド版
- Call No. (NDL)
- MA41-L78
- Bibliographic ID of National Diet Library
- 028899980
Detailed bibliographic record
Summary, etc.：
- 広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、それぞれの話題について深入りすることを避け，入門書の立場から解説したものである。 前半の３章では情報学の基本項目である話題を述べ、後半の３章で本書の主題である数理論理について述べた。(Provided by: 出版情報登...
Author introduction：
- 田中 尚夫 法政大学名誉教授、理学博士。1928年 山梨県生まれ。東京都立大学大学院理学研究科単位修了。東京都立大学助手、法政大学講師・助教授・教授などを歴任。主な著書・訳書に『工科系のための微分積分学（新版）』（共著、裳華房）、『公理的集合論』（培風館）、『ゲーデルと20世紀の論理学 I』（共著、...
Search by Bookstore
Table of Contents
1．ブール代数の基礎
1.1 順序集合
1.2 順序に関する諸概念
1.3 束
1.4 モジュラー束と分配束
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7853-0637-3
- Title
- Title Transcription
- ケイサン ロンリ ニュウモン : ジョウホウ ノ スウリ
- Author/Editor
- 田中尚夫 著
- Edition
- オンデマンド版
- Author Heading
- 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2018.3
- Publication Date (W3CDTF)
- 2018