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

Author(s)

Bibliographic Information

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

小倉久和, 高濱徹行共著

近代科学社, 1991.4

Title Transcription

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

Available at  / 247 libraries

Note

参考図書: p193-195

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BN06292877
  • ISBN
    • 9784764901803
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    viii, 210p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top