Boolean differential equations

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

Descripción completa

Detalles Bibliográficos
Autores principales: Steinbach, Bernd, Posthoff, Christian
Lenguaje:eng
Publicado: Morgan & Claypool Publishers 2013
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1606397
_version_ 1780931680119291904
author Steinbach, Bernd
Posthoff, Christian
author_facet Steinbach, Bernd
Posthoff, Christian
author_sort Steinbach, Bernd
collection CERN
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
id cern-1606397
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2013
publisher Morgan & Claypool Publishers
record_format invenio
spelling cern-16063972021-04-21T22:23:56Zhttp://cds.cern.ch/record/1606397engSteinbach, BerndPosthoff, ChristianBoolean differential equationsMathematical Physics and Mathematics 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 canMorgan & Claypool Publishersoai:cds.cern.ch:16063972013
spellingShingle Mathematical Physics and Mathematics
Steinbach, Bernd
Posthoff, Christian
Boolean differential equations
title Boolean differential equations
title_full Boolean differential equations
title_fullStr Boolean differential equations
title_full_unstemmed Boolean differential equations
title_short Boolean differential equations
title_sort boolean differential equations
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1606397
work_keys_str_mv AT steinbachbernd booleandifferentialequations
AT posthoffchristian booleandifferentialequations

Ejemplares similares