東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic functions and equations = bina...

Posthoff, Christian.

FindBook

Google Book

Amazon

博客來

Logic functions and equations = binary models for computer science /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic functions and equations/ by Christian Posthoff, Bernd Steinbach.
其他題名:	binary models for computer science /
作者:	Posthoff, Christian.
其他作者:	Steinbach, Bernd.
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xvi, 508 p. :ill., digital ;24 cm.
內容註:	Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1007/978-3-030-02420-8
ISBN:	9783030024208

Logic functions and equations = binary models for computer science /
Posthoff, Christian.

Logic functions and equationsbinary models for computer science /[electronic resource] :by Christian Posthoff, Bernd Steinbach. - 2nd ed. - Cham :Springer International Publishing :2019. - xvi, 508 p. :ill., digital ;24 cm.

Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science.

ISBN: 9783030024208

Standard No.: 10.1007/978-3-030-02420-8doiSubjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 511.3

Logic functions and equations = binary models for computer science /
LDR:02731nmm a2200337 a 4500 001 2178370
003 DE-He213
005 20181230231049.0
006 m d
007 cr nn 008maaau
008 191122s2019 gw s 0 eng d
020 $a 9783030024208 $q (electronic bk.)
020 $a 9783030024192 $q (paper)
024 7 $a 10.1007/978-3-030-02420-8 $2 doi
035 $a 978-3-030-02420-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9 $b .P857 2019
100 1 $a Posthoff, Christian. $3 723980
245 1 0 $a Logic functions and equations $h [electronic resource] : $b binary models for computer science / $c by Christian Posthoff, Bernd Steinbach.
250 $a 2nd ed.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xvi, 508 p. : $b ill., digital ; $c 24 cm.
505 0 $a Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index.
520 $a The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science.
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Logic Design. $3 892735
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Electrical Engineering. $3 1001838
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
700 1 $a Steinbach, Bernd. $3 1002180
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-030-02420-8
950 $a Computer Science (Springer-11645)