| http://dbpedia.org/ontology/abstract
|
Boolean differential calculus (BDC) (Germa … Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions. Boolean differential calculus concepts are analogous to those of classical differential calculus, notably studying the changes in functions and variables with respect to another/others. The Boolean differential calculus allows various aspects of dynamical systems theory such as
* automata theory on finite automata
* Petri net theory
* supervisory control theory (SCT) to be discussed in a united and closed form, with their individual advantages combined.with their individual advantages combined.
, Der Boolesche Differentialkalkül (BDK) ist … Der Boolesche Differentialkalkül (BDK) ist ein Teilgebiet der Booleschen Algebra, der sich speziell mit Änderungen von Booleschen Variablen und Booleschen Funktionen beschäftigt. Die Entwicklung des Booleschen Differentialkalküls wurde durch die Arbeiten von (1959) und (A. D. Talantsev, А. Д. Таланцев) (1959) eingeleitet. Seit dieser Zeit wurden sowohl in der Theorie als auch in der Anwendung beim Schaltungsentwurf wichtige Ergebnisse erzielt. Insbesondere die Arbeiten von Dieter Bochmann und (1981), (1981) sowie Dieter Bochmann und Bernd Steinbach (1991) waren für die Entwicklung des Booleschen Differentialkalküls von Bedeutung. Boolesche Differentialoperatoren nehmen im BDK eine wichtige Stellung ein. Sie gestatten die Anwendung eines dem der klassischen Analysis verwandten Differentialbegriffs auf logische Funktionen. Das Differential einer Booleschen Variablen modelliert den Zusammenhang . Dabei ist nichts über die Natur, die Ursachen oder Folgen der Änderung vorausgesetzt. Die Differentiale sind ebenfalls binäre Größen. Man kann mit ihnen wie mit den üblichen binären Variablen rechnen. Mit Hilfe des Booleschen Differentialkalküls können unterschiedliche Ansätze der ereignisdiskreten Systemtheorie wie die Automatentheorie, die Petri-Netz-Theorie und die (en) in einer einheitlichen und geschlossenen Form behandelt und deren spezifische Vorteile vereinigt werden.ren spezifische Vorteile vereinigt werden.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.ingentaconnect.com/content/asp/jctn/2010/00000007/00000006/art00001 +
, http://www.e-reading.club/bookreader.php/135805/Posthoff%2C_Steinbach_-_Logic_Functions_and_Equations_-_Examples_and_Exercises.pdf +
, http://www.encyclopediaofmath.org/index.php%3Ftitle=Boolean_differential_calculus&oldid=12153 +
, https://web.archive.org/web/20171016111554/https:/www.encyclopediaofmath.org/index.php/Boolean_differential_calculus +
, http://www.informatik.tu-freiberg.de/xboole/index.php%3Flanguage=English&aktwindow=home +
, https://archive.org/details/progressapplicat00sasa +
, https://archive.org/details/progressapplicat00sasa/page/n69 +
, https://web.archive.org/web/20171031002108/http:/www.informatik.tu-freiberg.de/xboole/XBOOLEMonitor.zip%3FSubmit=XBOOLE%2BMonitor +
, https://web.archive.org/web/20171031105416/http:/www.informatik.tu-freiberg.de/xboole/index.php%3Flanguage=English&aktwindow=home +
, http://www.informatik.tu-freiberg.de/xboole/XBOOLEMonitor.zip%3FSubmit=XBOOLE%2BMonitor +
|
| http://dbpedia.org/ontology/wikiPageID
|
55539147
|
| http://dbpedia.org/ontology/wikiPageLength
|
24516
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116600334
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Boolean_variable +
, http://dbpedia.org/resource/Ramadge%E2%80%93Wonham_framework +
, http://dbpedia.org/resource/Petri_net_theory +
, http://dbpedia.org/resource/TU_Bergakademie_Freiberg +
, http://dbpedia.org/resource/Logic_synthesis +
, http://dbpedia.org/resource/Irving_S._Reed +
, http://dbpedia.org/resource/Binary_data +
, http://dbpedia.org/resource/Springer_Science_%2B_Business_Media_B.V. +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/Error-correcting_code +
, http://dbpedia.org/resource/Electrical_engineering +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Digital_network +
, http://dbpedia.org/resource/Category:Algebra +
, http://dbpedia.org/resource/Analysis_%28mathematics%29 +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Switching_circuit +
, http://dbpedia.org/resource/Birkh%C3%A4user_Verlag +
, http://dbpedia.org/resource/Dynamical_systems_theory +
, http://dbpedia.org/resource/Philips_Revue +
, http://dbpedia.org/resource/Differential_%28mathematics%29 +
, http://dbpedia.org/resource/North-Holland_Publishing_Company +
, http://dbpedia.org/resource/Encyclopedia_of_Mathematics +
, http://dbpedia.org/resource/Communication_protocol +
, http://dbpedia.org/resource/Discrete_event_dynamic_system +
, http://dbpedia.org/resource/Supervisory_control_theory +
, http://dbpedia.org/resource/David_A._Huffman +
, http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/Multi-valued_function +
, http://dbpedia.org/resource/Differential_operator +
, http://dbpedia.org/resource/Boolean_Algebra +
, http://dbpedia.org/resource/Boolean_algebra +
, http://dbpedia.org/resource/Finite_automata +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Lattice_%28module%29%3C%21--_TBD%3F_--%3E +
, http://dbpedia.org/resource/Leroy_W._Bearnson +
, http://dbpedia.org/resource/Marc_Davio +
, http://dbpedia.org/resource/Frederick_F._Sellers +
, http://dbpedia.org/resource/Boole%27s_expansion_theorem +
, http://dbpedia.org/resource/Category:Order_theory +
, http://dbpedia.org/resource/Mu-Yue_Hsiao +
, http://dbpedia.org/resource/Sheldon_B._Akers +
, http://dbpedia.org/resource/Differential_calculus +
, http://dbpedia.org/resource/David_E._Muller +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/American_Elsevier_Publishing_Company +
, http://dbpedia.org/resource/VDI-Verlag +
, http://dbpedia.org/resource/Philips_Research_Laboratory +
|
| http://dbpedia.org/property/cs1Dates
|
y
|
| http://dbpedia.org/property/date
|
May 2019
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:DNB-IDN +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Bots +
, http://dbpedia.org/resource/Template:Cite_journal +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Category:Algebra +
, http://dbpedia.org/resource/Category:Order_theory +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Boolean_differential_calculus?oldid=1116600334&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Boolean_differential_calculus +
|
| owl:sameAs |
http://d-nb.info/gnd/4146287-7 +
, http://www.wikidata.org/entity/Q893021 +
, http://bn.dbpedia.org/resource/%E0%A6%AC%E0%A7%81%E0%A6%B2%E0%A6%BF%E0%A6%AF%E0%A6%BC%E0%A6%BE%E0%A6%A8_%E0%A6%85%E0%A6%A8%E0%A7%8D%E0%A6%A4%E0%A6%B0%E0%A7%80%E0%A6%95%E0%A6%B0%E0%A6%A3 +
, http://dbpedia.org/resource/Boolean_differential_calculus +
, http://id.dbpedia.org/resource/Kalkulus_diferensial_Boolean +
, http://de.dbpedia.org/resource/Boolescher_Differentialkalk%C3%BCl +
, https://global.dbpedia.org/id/53KDx +
, http://no.dbpedia.org/resource/Boolsk_differensialregning +
|
| rdfs:comment |
Der Boolesche Differentialkalkül (BDK) ist … Der Boolesche Differentialkalkül (BDK) ist ein Teilgebiet der Booleschen Algebra, der sich speziell mit Änderungen von Booleschen Variablen und Booleschen Funktionen beschäftigt. Die Entwicklung des Booleschen Differentialkalküls wurde durch die Arbeiten von (1959) und (A. D. Talantsev, А. Д. Таланцев) (1959) eingeleitet. Seit dieser Zeit wurden sowohl in der Theorie als auch in der Anwendung beim Schaltungsentwurf wichtige Ergebnisse erzielt. Insbesondere die Arbeiten von Dieter Bochmann und (1981), (1981) sowie Dieter Bochmann und Bernd Steinbach (1991) waren für die Entwicklung des Booleschen Differentialkalküls von Bedeutung.leschen Differentialkalküls von Bedeutung.
, Boolean differential calculus (BDC) (Germa … Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions. Boolean differential calculus concepts are analogous to those of classical differential calculus, notably studying the changes in functions and variables with respect to another/others. The Boolean differential calculus allows various aspects of dynamical systems theory such as
* automata theory on finite automata
* Petri net theory
* supervisory control theory (SCT)theory
* supervisory control theory (SCT)
|
| rdfs:label |
Boolescher Differentialkalkül
, Kalkulus diferensial Boolean
, Boolean differential calculus
|
