資料詳細
要約等：
- 広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、それぞれの話題について深入りすることを避け、入門書の立場から解説したものである。 前半の３章では情報学の基本項目である話題を述べ、後半の３章で本書の主題である数理論理について述べた。（提供元: 出版情報登録センター（JP...
著者紹介：
- 田中 尚夫 法政大学名誉教授、理学博士。1928年 山梨県生まれ。東京都立大学大学院理学研究科単位修了。東京都立大学助手、法政大学講師・助教授・教授などを歴任。（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
1．ブール代数の基礎
2．オートマトンと形式文法
3．帰納的関数とチューリング計算機
4．命題論理学
5．命題論理に関する計算量問題
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
栃木県立図書館
紙- 請求記号：
- 410.9-26
- 図書登録番号：
- 1104144520
横浜市立図書館
紙- 請求記号：
- 410.9130
- 図書登録番号：
- 2018672491
東海・北陸
福井県立図書館
紙- 請求記号：
- 410.9/ﾀﾅｶ
- 図書登録番号：
- 1012905830
三重県立図書館
紙- 請求記号：
- 410.9-ﾀ
- 図書登録番号：
- 113810915
近畿
滋賀県立図書館
紙- 請求記号：
- 2-4109-ﾀ
- 図書登録番号：
- 127307395
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-7853-1505-9
- タイトル
- タイトルよみ
- ケイサン ロンリ ニュウモン : ジョウホウ ノ スウリ
- 著者・編者
- 田中尚夫 著
- 著者標目
- 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )典拠
- 出版事項
- 出版年月日等
- 1997.10
- 出版年（W3CDTF）
- 1997
- 数量
- 194p