※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 情報科学・工学がなくては、現代生活は成り立たなくなっている。この情報科学・工学の論理的基盤が、論理数学である。その守備範囲は大変広く、回路設計からソフトウエア設計、人工知能などほとんどの分野を網羅している。本書は、多くの例題を本文とともに解くことによりその論理数学の基礎をしっかり学ぶことが出来るよう工夫してある。学生はもとより、技術者が学びなおすのにも最適の書である。情報科学・工学がなくては、現代生活は成り立たなくなっている。この情報科学・工学の論理的基盤が、論理数学である。その守備範囲は大変広く、回路設計からソフトウエア設計、人工知能などほとんどの分野を網羅している。本書は、多くの例題を本文とともに解くことによりその論理数学の基礎をしっかり学ぶことが出来るよう工夫してある。学生はもとより、技術者が学びなおすのにも最適の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート！述語理論を詳説！ 本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に「こういうことがある」という知識ではなく、「なぜこのように考えるのか？」という疑問に答えられる真の理解と実力を身につけられるような構成と解説をしている。新たに演習問題とその解答も掲載。