情報の論理数学入門 : ブール代数から述語論理まで
Author(s)
Bibliographic Information
情報の論理数学入門 : ブール代数から述語論理まで
近代科学社, 1991.4
- Title Transcription
-
ジョウホウ ノ ロンリ スウガク ニュウモン : ブール ダイスウ カラ ジュツゴ ロンリ マデ
Available at / 246 libraries
-
National Institutes of Natural Sciences Okazaki Library and Information Center図
410.96/Jo9107842611
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考図書: p193-195
Description and Table of Contents
Description
本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。
Table of Contents
- 1 基礎代数(集合;関係と写像;代数系と群;環と体)
- 2 ブール代数(束と順序集合;ブール代数;ブール関数;ブール関数とディジタル回路)
- 3 記号論理学(命題論理学;述語論理学;論理と推論;論理プログラミングと言語と推論)
by "BOOK database"