Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic Functions and Equations = Bina...
~
Steinbach, Bernd.
Logic Functions and Equations = Binary Models for Computer Science /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Logic Functions and Equations/ by Christian Posthoff, Bernd Steinbach.
Reminder of title:
Binary Models for Computer Science /
Author:
Posthoff, Christian.
other author:
Steinbach, Bernd.
Description:
XVI, 508 p. 367 illus., 54 illus. in color.online resource. :
Contained By:
Springer Nature eBook
Subject:
Logic design. -
Online resource:
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 Equations
Binary 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)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login