Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
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 equations
binary 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)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000168058
電子館藏
1圖書
電子書
EB QA9 P857 2019 2019
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-02420-8
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login