情報理論のための数理論理学 (数学のかんどころ ; 31)
情報理論のための数理論理学 = Mathematical Logic for Informatics
(数学のかんどころ ; 31)
- 国立国会図書館請求記号
- MA41-L69
- 国立国会図書館書誌ID
- 028436519
資料詳細
要約等：
- 高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題論理・述語論理の初等的な学習までに留められてしまい，この分野にどういった応用例があるかを学べる機会は限られている。ただ，命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも，現状では，数学基礎論寄りの非常に高度な専門書に取り...
書店で探す
目次
第1章 命題論理
1.1 標準形
1.1.1 基本性質
1.1.2 基本性質の一般化
1.1.3 論理和標準形，論理積標準形
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
千葉市中央図書館
紙東京都立中央図書館
紙- 請求記号：
- 410.9-5122-2017
- 図書登録番号：
- 7109374007
横浜市立図書館
紙- 請求記号：
- 410
- 図書登録番号：
- 2061075960
山梨県立図書館
紙- 請求記号：
- ４１０．９／イタ／
- 図書登録番号：
- 0107140162
静岡県立中央図書館
紙- 請求記号：
- 410.96/ｲﾀ/
- 図書登録番号：
- 0023095979
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-320-11072-4
- タイトル
- タイトルよみ
- ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
- 著者・編者
- 板井昌典 著
- シリーズタイトル
- 著者標目
- 板井, 昌典, 1953- イタイ, マサノリ, 1953- ( 00893666 )典拠
- 出版事項
- 出版年月日等
- 2017.8
- 出版年（W3CDTF）
- 2017