計算論理入門 : 情報の数理

• Material Type: 図書
• ISBN: 4-7853-1505-9
• Title: 計算論理入門 : 情報の数理
• Title Transcription: ケイサン ロンリ ニュウモン : ジョウホウ ノ スウリ
• Author/Editor: 田中尚夫 著
• Author Heading: 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )Authorities
• Publication, Distribution, etc.: 東京 : 裳華房
• Publication Date: 1997.10
• Publication Date (W3CDTF): 1997
• Extent: 194p
• Size: 21cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 9th ed.: 410.96 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Note (Bibliography): 文献あり; 索引あり
• Price: 2500円
• Holding library: 国立国会図書館
• Call No.: MA41-G37
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000002643308; http://id.ndl.go.jp/bib/000002643308
• National Bibliography No. (JPNO): 98051834
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、それぞれの話題について深入りすることを避け、入門書の立場から解説したものである。 前半の３章では情報学の基本項目である話題を述べ、後半の３章で本書の主題である数理論理について述べた。(Provided by: 出版情報登...
• Author introduction: 田中 尚夫 法政大学名誉教授、理学博士。1928年 山梨県生まれ。東京都立大学大学院理学研究科単位修了。東京都立大学助手、法政大学講師・助教授・教授などを歴任。(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

1．ブール代数の基礎

2．オートマトンと形式文法

3．帰納的関数とチューリング計算機

4．命題論理学

5．命題論理に関する計算量問題