情報の論理数学入門 : ブール代数から述語論理まで
著者
書誌事項
情報の論理数学入門 : ブール代数から述語論理まで
近代科学社, 1991.4
- タイトル読み
-
ジョウホウ ノ ロンリ スウガク ニュウモン : ブール ダイスウ カラ ジュツゴ ロンリ マデ
大学図書館所蔵 全247件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考図書: p193-195
内容説明・目次
内容説明
本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。
目次
- 1 基礎代数(集合;関係と写像;代数系と群;環と体)
- 2 ブール代数(束と順序集合;ブール代数;ブール関数;ブール関数とディジタル回路)
- 3 記号論理学(命題論理学;述語論理学;論理と推論;論理プログラミングと言語と推論)
「BOOKデータベース」 より