國立高雄大學圖資館 |

Language: English

Back

Logic functions and equationsbinary ...

Posthoff, Christian.

Logic functions and equationsbinary models for computer science /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic functions and equationsby Christian Posthoff, Bernd Steinbach.
Reminder of title:	binary models for computer science /
Author:	Posthoff, Christian.
other author:	Steinbach, Bernd.
Published:	Cham :Springer International Publishing :2019.
Description:	xvi, 508 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical.
Online resource:	https://doi.org/10.1007/978-3-030-02420-8
ISBN:	9783030024208$q(electronic bk.)

Logic functions and equationsbinary 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$q(electronic bk.)

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

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9

Dewey Class. No.: 511.3

Logic functions and equationsbinary models for computer science /
LDR:02731nmm a2200337 a 4500 001 555246
003 DE-He213
005 20181230231049.0
006 m d
007 cr nn 008maaau
008 191121s2019 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 339102
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 180452
650 1 4 $a Logic Design. $3 276275
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Electrical Engineering. $3 338706
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
700 1 $a Steinbach, Bernd. $3 339103
710 2 $a SpringerLink (Online service) $3 273601
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)