國立虎尾科技大學 |

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.
面頁冊數:	XVI, 508 p. 367 illus., 54 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic design. -
電子資源:	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. 2019. - XVI, 508 p. 367 illus., 54 illus. in color.online resource.

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:

561473
Logic design.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 621.395

Logic Functions and Equations = Binary Models for Computer Science /
LDR:03064nam a22003855i 4500 001 1006644
003 DE-He213
005 20200706115555.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030024208 $9 978-3-030-02420-8
024 7 $a 10.1007/978-3-030-02420-8 $2 doi
035 $a 978-3-030-02420-8
050 4 $a QA76.9.L63
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 621.395 $2 23
100 1 $a Posthoff, Christian. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 896861
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. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XVI, 508 p. 367 illus., 54 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 design. $3 561473
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Electrical engineering. $3 596380
650 0 $a Computer logic. $3 786340
650 0 $a Computer science—Mathematics. $3 1253519
650 1 4 $a Logic Design. $3 670915
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Electrical Engineering. $3 768742
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
700 1 $a Steinbach, Bernd. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 896860
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030024192
776 0 8 $i Printed edition: $z 9783030024215
856 4 0 $u https://doi.org/10.1007/978-3-030-02420-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)