応用論理 (情報数学講座 ; 第1巻)
応用論理
(情報数学講座 ; 第1巻)
- 国立国会図書館請求記号
- MA41-G11
- 国立国会図書館書誌ID
- 000002489463
資料詳細
要約等：
- 述語論理で数学的議論をすることとコンピュータのプログラミングをすることが、本質的に同じであることを具体例をあげて説明している。（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
第1章 古典命題論理
第2章 一階古典述語論理
第3章 論理プログラミング
第4章 数え上げと対角線論法
第5章 代入と型付きラムダ式
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
青森県立図書館
紙- 請求記号：
- 007.1-ｼﾞﾖｳﾎｳｽ-(1)
- 図書登録番号：
- 10210866871
関東
栃木県立図書館
紙- 請求記号：
- 007.1-49-1
- 図書登録番号：
- 1103942767
埼玉県立久喜図書館
紙- 請求記号：
- 410.1-ｷ
- 図書登録番号：
- 110102126
東京都立中央図書館
紙- 請求記号：
- 4101-3052-96
- 図書登録番号：
- 1127818165
神奈川県立川崎図書館
紙- 請求記号：
- 007.1-139 1
- 図書登録番号：
- 80656218
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-320-02651-9
- タイトル
- タイトルよみ
- オウヨウ ロンリ
- 著者・編者
- 桔梗宏孝 著
- シリーズタイトル
- 著者標目
- 桔梗, 宏孝, 1962- キキョウ, ヒロタカ, 1962- ( 00415563 )典拠
- 出版事項
- 出版年月日等
- 1996.3
- 出版年（W3CDTF）
- 1996