Logic Functions and Equations
出版済み 3-5週間でお届けいたします。
論理関数と論理方程式 第2版 Binary Models for Computer Science, 2nd ed. Author: Posthoff, Christian / Steinbach, Bernd Publisher: Springer ISBN: 9783030024192 Cover: HARDCOVER Date: 2019年01月 DESCRIPTION 名著の拡大改訂版であるこの第2版では、論理関数と論理方程式の概念、コンピュータサイエンスを通じたそれらの応用を読者に総合的に紹介する。 本書では、基本原理のほか、数値やコンピュータを用いた解法を十分に理解するアプローチに焦点を当てる。 全面的に改訂された第2版の主な追加項目は以下の通り: ・論理方程式に関する入門セクションの拡充 ・論理関数の集合、束(lattice)、類に関する新章;SAT問題に関する新章 ・非常に複雑な問題の解法に関する新章 ・Boolean微積分を論理関数の束にまで拡大して活用する新たな分解法の拡充セクション 本書は二進算術演算、コーディング、複雑性、論理設計、プログラミング、コンピュータアーキテクチャ、AI(人工知能)への応用に関する洞察を提供。著者らの豊富な指導経験に基づく本書は、コンピュータサイエンスや関連プログラムの1学期または2学期コースに強く勧める一冊である。こうした方法にわかりやすく速やかにたどり着くことができるため、洗練された応用が可能となり、数学とコンピュータサイエンスの理論的基礎の間の溝を上手く埋めてくれる。
|