情報の論理数学入門 : ブール代数から述語論理まで | 金沢大学附属図書館 OPAC plus

Blank Cover Image

QRコード(所蔵情報)

情報の論理数学入門 : ブール代数から述語論理まで

フォーマット:

図書

責任表示:

小倉久和, 高濱徹行共著

言語:

日本語

出版情報:

東京 : 近代科学社, 1991.4

形態:

viii,210p ; 21cm

著者名:

書誌ID:

BN06292877

ISBN:

9784764901803 [4764901803]

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

主題:	数学
分類・件名:	NDC8 : 410 NDC8 : 410.96 NDC7 : 410.12 BSH : 記号論理学 BSH : 代数学 NDLSH : 数学
注記:	参考図書: p193-195
タイトルのヨミ、その他のヨミ:	ジョウホウノロンリスウガクニュウモン : ブールダイスウカラジュツゴロンリマデ
TTLL:	jpn
著者名ヨミ:	オグラ, ヒサカズタカハマ, テツユキ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書情報の基礎離散数学 : 演習を中心とした小倉, 久和近代科学社	7 図書技術系の数学 : ベクトル解析・複素関数・フーリエ級数・ラプラス変換編小倉, 久和近代科学社
2 電子ブック離散数学への入門 : わかりやすい離散数学小倉, 久和近代科学社	8 図書スマリヤン数理論理学 : 述語論理と完全性定理 Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-) 丸善出版
3 図書はじめての離散数学小倉, 久和近代科学社	9 図書述語論理と論理プログラミング有川, 節夫, 原口, 誠オーム社
4 電子ブックはじめての離散数学小倉, 久和近代科学社	10 図書情報科学のための論理数学細井, 勉(1937-) 日本評論社
5 図書論理数学太原, 育夫近代科学社	11 図書情報科学の基礎論への招待 : コンピュータはうそがつけるか小倉, 久和近代科学社
6 電子ブック論理数学太原, 育夫近代科学社	12 図書数からはじめる代数学春日, 龍郎(1940-) 日本評論社