Logic Functions and Equations Examples and Exercises /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Steinbach, Bernd (Συγγραφέας), Posthoff, Christian (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands, 2009.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03100nam a22005415i 4500
001 978-1-4020-9595-5
003 DE-He213
005 20151204185535.0
007 cr nn 008mamaa
008 100301s2009 ne | s |||| 0|eng d
020 |a 9781402095955  |9 978-1-4020-9595-5 
024 7 |a 10.1007/978-1-4020-9595-5  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.A73 
050 4 |a QA76.9.S88 
072 7 |a UYD  |2 bicssc 
072 7 |a COM032000  |2 bisacsh 
072 7 |a COM067000  |2 bisacsh 
082 0 4 |a 003.3  |2 23 
100 1 |a Steinbach, Bernd.  |e author. 
245 1 0 |a Logic Functions and Equations  |h [electronic resource] :  |b Examples and Exercises /  |c by Bernd Steinbach, Christian Posthoff. 
264 1 |a Dordrecht :  |b Springer Netherlands,  |c 2009. 
300 |a XXII, 232 p.  |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 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. 
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. 
650 0 |a Computer science. 
650 0 |a Architecture, Computer. 
650 0 |a Computer logic. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Discrete mathematics. 
650 0 |a Electronic circuits. 
650 1 4 |a Computer Science. 
650 2 4 |a Computer System Implementation. 
650 2 4 |a Circuits and Systems. 
650 2 4 |a Discrete Mathematics. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Discrete Mathematics in Computer Science. 
700 1 |a Posthoff, Christian.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9781402095948 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4020-9595-5  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)