|
|
|
|
LEADER |
02600nmm a2200373 u 4500 |
001 |
EB000360145 |
003 |
EBX01000000000000000213197 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9781402095955
|
100 |
1 |
|
|a Steinbach, Bernd
|
245 |
0 |
0 |
|a Logic Functions and Equations
|h Elektronische Ressource
|b Examples and Exercises
|c by Bernd Steinbach, Christian Posthoff
|
250 |
|
|
|a 1st ed. 2009
|
260 |
|
|
|a Dordrecht
|b Springer Netherlands
|c 2009, 2009
|
300 |
|
|
|a XXII, 232 p
|b online resource
|
505 |
0 |
|
|a Basic Software -- XBOOLE Monitor -- Basics and Logic Functions -- Logic Equations -- Boolean Differential Calculus -- The Solution of Logic Equations -- Applications -- Logics and Arithmetics -- Combinatorial Circuits -- Finite-State Machines
|
653 |
|
|
|a Computer systems
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer science / Mathematics
|
653 |
|
|
|a Computer System Implementation
|
653 |
|
|
|a Discrete Mathematics in Computer Science
|
653 |
|
|
|a Electronic circuits
|
653 |
|
|
|a Discrete Mathematics
|
653 |
|
|
|a Electronic Circuits and Systems
|
653 |
|
|
|a Discrete mathematics
|
700 |
1 |
|
|a Posthoff, Christian
|e [author]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
028 |
5 |
0 |
|a 10.1007/978-1-4020-9595-5
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-1-4020-9595-5?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004.2
|
520 |
|
|
|a The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems. Therefore a software package called XBOOLE Monitor will be made available (downloadable, without additional fees), and the exercises given in Logic Functions and Equations can be solved by using this software package – in this way it is possible to solve a lot of relevant problems and to study the solutions based on this software. The whole approach is based on the single and unique concept of Boolean Equations and Ternary Vectors as the basic data structure which makes it also easy to follow these ideas very easily, because the wide range of problems and solutions will be based on these two concepts
|