skip to content
Boolean differential equations Preview this item
ClosePreview this item
Checking...

Boolean differential equations

Author: Bernd Steinbach; Christian Posthoff
Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, ©2013.
Series: Synthesis lectures on digital circuits and systems, #42.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bernd Steinbach; Christian Posthoff
ISBN: 9781627052429 1627052429 1627052410 9781627052412
OCLC Number: 853278140
Notes: Part of: Synthesis digital library of engineering and computer science.
Description: 1 online resource (xii, 146 pages) : illustrations.
Contents: 1. Basics of the binary Boolean algebra --
1.1 Introduction --
1.2 Boolean space, Boolean functions, and operations --
1.3 Boolean functions and operations --
1.4 Boolean equations --
1.5 Systems of equations and inequalities --
1.6 Solutions with regard to variables --
1.7 XBOOLE --
1.7.1 Concept and properties --
1.7.2 XBOOLE monitor --
1.7.3 XBOOLE problem program --
1.7.4 XBOOLE library. 2. Summary of the Boolean differential calculus --
2.1 Introduction --
2.2 Simple derivative operations --
2.3 Vectorial derivatives --
2.4 --
m-fold derivative operations. 3. Boolean differential equations --
3.1 Introduction --
3.2 Boolean differential equations of a single simple derivative --
3.3 Boolean differential equations of a single vectorial derivative --
3.4 Boolean differential equations restricted to all vectorial derivatives --
3.4.1 Essence of Boolean differential equations --
3.4.2 Classes of solution functions --
3.4.3 Separation of function classes --
3.4.4 Separation of function classes using XBOOLE --
3.5 Boolean differential equations for each set of solution functions --
3.5.1 Separation of functions --
3.5.2 Separation of functions using XBOOLE --
3.6 Boolean differential equations of all derivative operations --
3.6.1 Examples --
3.6.2 Extension to all simple derivative operations --
3.6.3 Extension to all vectorial derivative operations --
3.6.4 Extension to all m-fold derivative operations --
3.6.5 Methods of transformations as preprocessing step --
3.7 Most general Boolean differential equations. 4. Solutions of the exercises --
Bibliography --
Authors' biographies --
Index.
Series Title: Synthesis lectures on digital circuits and systems, #42.
Responsibility: Bernd Steinbach, Christian Posthoff.

Abstract:

Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/853278140> # Boolean differential equations
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "853278140" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1413728763#Place/san_rafael_calif_1537_fourth_street_san_rafael_ca_94901_usa> ; # San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Topic/mathematics_algebra_general> ; # MATHEMATICS--Algebra--General
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_differential_equation> ; # Boolean differential equation
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_differential_calculus> ; # Boolean Differential Calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_algebra> ; # Boolean Algebra
   schema:about <http://id.worldcat.org/fast/804924> ; # Algebra, Boolean
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/xboole> ; # XBOOLE
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_equation> ; # Boolean equation
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_function> ; # Boolean function
   schema:about <http://dewey.info/class/511.324/e23/> ;
   schema:about <http://id.worldcat.org/fast/893446> ; # Differential equations
   schema:about <http://id.worldcat.org/fast/893441> ; # Differential calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/1413728763#Thing/set_of_boolean_functions> ; # set of Boolean functions
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/71964719> ; # Christian Posthoff
   schema:copyrightYear "2013" ;
   schema:creator <http://viaf.org/viaf/30082005> ; # Bernd Steinbach
   schema:datePublished "2013" ;
   schema:description "The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on the left-hand side is equal to a logic function on the right-hand side. The solution of such a simple BDE means to execute an operation which is inverse to the given derivative. BDEs can be applied in the same fields as the BDC, however, their possibility to express sets of Boolean functions extends the application field significantly."@en ;
   schema:description "1. Basics of the binary Boolean algebra -- 1.1 Introduction -- 1.2 Boolean space, Boolean functions, and operations -- 1.3 Boolean functions and operations -- 1.4 Boolean equations -- 1.5 Systems of equations and inequalities -- 1.6 Solutions with regard to variables -- 1.7 XBOOLE -- 1.7.1 Concept and properties -- 1.7.2 XBOOLE monitor -- 1.7.3 XBOOLE problem program -- 1.7.4 XBOOLE library."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1413728763> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1932-3166> ; # Synthesis lectures on digital circuits and systems ;
   schema:isPartOf <http://worldcat.org/issn/1932-3174> ; # Synthesis lectures on digital circuits and systems,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1413728763#CreativeWork/> ;
   schema:name "Boolean differential equations"@en ;
   schema:productID "853278140" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/853278140#PublicationEvent/san_rafael_calif_1537_fourth_street_san_rafael_ca_94901_usa_morgan_&_claypool_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1413728763#Agent/morgan_&_claypool> ; # Morgan & Claypool
   schema:url <http://proquest.safaribooksonline.com/9781627052412> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1323258> ;
   schema:url <http://site.ebrary.com/id/10739145> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=615820> ;
   schema:url <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6812754> ;
   schema:url <http://dx.doi.org/10.2200/S00511ED1V01Y201305DCS042> ;
   schema:workExample <http://dx.doi.org/10.2200/S00511ED1V01Y201305DCS042> ;
   schema:workExample <http://worldcat.org/isbn/9781627052429> ;
   schema:workExample <http://worldcat.org/isbn/9781627052412> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/853278140> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1413728763#Agent/morgan_&_claypool> # Morgan & Claypool
    a bgn:Agent ;
   schema:name "Morgan & Claypool" ;
    .

<http://experiment.worldcat.org/entity/work/data/1413728763#Place/san_rafael_calif_1537_fourth_street_san_rafael_ca_94901_usa> # San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)
    a schema:Place ;
   schema:name "San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_differential_calculus> # Boolean Differential Calculus
    a schema:Thing ;
   schema:name "Boolean Differential Calculus" ;
    .

<http://experiment.worldcat.org/entity/work/data/1413728763#Thing/boolean_differential_equation> # Boolean differential equation
    a schema:Thing ;
   schema:name "Boolean differential equation" ;
    .

<http://experiment.worldcat.org/entity/work/data/1413728763#Thing/set_of_boolean_functions> # set of Boolean functions
    a schema:Thing ;
   schema:name "set of Boolean functions" ;
    .

<http://experiment.worldcat.org/entity/work/data/1413728763#Topic/mathematics_algebra_general> # MATHEMATICS--Algebra--General
    a schema:Intangible ;
   schema:name "MATHEMATICS--Algebra--General"@en ;
    .

<http://id.worldcat.org/fast/804924> # Algebra, Boolean
    a schema:Intangible ;
   schema:name "Algebra, Boolean"@en ;
    .

<http://id.worldcat.org/fast/893441> # Differential calculus
    a schema:Intangible ;
   schema:name "Differential calculus"@en ;
    .

<http://id.worldcat.org/fast/893446> # Differential equations
    a schema:Intangible ;
   schema:name "Differential equations"@en ;
    .

<http://viaf.org/viaf/30082005> # Bernd Steinbach
    a schema:Person ;
   schema:familyName "Steinbach" ;
   schema:givenName "Bernd" ;
   schema:name "Bernd Steinbach" ;
    .

<http://viaf.org/viaf/71964719> # Christian Posthoff
    a schema:Person ;
   schema:familyName "Posthoff" ;
   schema:givenName "Christian" ;
   schema:name "Christian Posthoff" ;
    .

<http://worldcat.org/isbn/9781627052412>
    a schema:ProductModel ;
   schema:isbn "1627052410" ;
   schema:isbn "9781627052412" ;
    .

<http://worldcat.org/isbn/9781627052429>
    a schema:ProductModel ;
   schema:isbn "1627052429" ;
   schema:isbn "9781627052429" ;
    .

<http://worldcat.org/issn/1932-3166> # Synthesis lectures on digital circuits and systems ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853278140> ; # Boolean differential equations
   schema:issn "1932-3166" ;
   schema:name "Synthesis lectures on digital circuits and systems ;" ;
    .

<http://worldcat.org/issn/1932-3174> # Synthesis lectures on digital circuits and systems,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853278140> ; # Boolean differential equations
   schema:issn "1932-3174" ;
   schema:name "Synthesis lectures on digital circuits and systems," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.