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

著者

• 小倉, 久和 オグラ, ヒサカズ
• 高浜, 徹行 タカハマ, テツユキ

書誌事項

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

小倉久和, 高濱徹行共著

近代科学社, 1991.4

タイトル読み

ジョウホウ ノ ロンリ スウガク ニュウモン : ブール ダイスウ カラ ジュツゴ ロンリ マデ

注記

参考図書: p193-195

内容説明・目次

内容説明

本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

目次

• １　基礎代数（集合；関係と写像；代数系と群；環と体）
• ２　ブール代数（束と順序集合；ブール代数；ブール関数；ブール関数とディジタル回路）
• ３　記号論理学（命題論理学；述語論理学；論理と推論；論理プログラミングと言語と推論）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN06292877
• ISBN:
  • 9784764901803
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: viii, 210p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410
  • NDC8 : 410.96
  • NDC7 : 410.12
• 件名:
  • BSH : 記号論理学
  • BSH : 代数学
  • NDLSH : 数学