Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Download
Faster access than browser!
 

Boolean differential calculus

Index Boolean differential calculus

Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions. [1]

44 relations: Akademie Verlag, Automata theory, Automation and Remote Control, Birkhäuser, Boole's expansion theorem, Boolean algebra, Boolean data type, Boolean function, Communication protocol, David A. Huffman, David E. Muller, Differential (mathematics), Differential operator, Digital electronics, Discrete event dynamic system, Dynamical systems theory, Electrical engineering, Elsevier, Encyclopedia of Mathematics, Error correction code, Finite-state machine, IEEE Computer Society, IEEE Information Theory Society, IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, Institute of Radio Engineers, International Federation of Automatic Control, Irving S. Reed, Logic synthesis, Mathematical analysis, McGraw-Hill Education, Michael Lvovitch Tsetlin, Multivalued function, Pergamon Press, Petri net, Philips, Philips Natuurkundig Laboratorium, SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, Springer Science+Business Media, Supervisory control theory, Switching circuit theory, University of Stuttgart, Victor Shestakov.

Akademie Verlag

Akademie Verlag is a German scientific and academic publishing company, founded in 1946 in the Soviet-occupied eastern part of divided Berlin to facilitate the publication of works by and for the German Academy of Sciences Berlin.

New!!: Boolean differential calculus and Akademie Verlag · See more »

Automata theory

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.

New!!: Boolean differential calculus and Automata theory · See more »

Automation and Remote Control

Automation and Remote Control (translit) is a Russian scientific journal published by MAIK Nauka/Interperiodica Press and distributed in English by Springer Science+Business Media.

New!!: Boolean differential calculus and Automation and Remote Control · See more »

Birkhäuser

Birkhäuser is a former Swiss publisher founded in 1879 by Emil Birkhäuser.

New!!: Boolean differential calculus and Birkhäuser · See more »

Boole's expansion theorem

Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity: F.

New!!: Boolean differential calculus and Boole's expansion theorem · See more »

Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: Boolean differential calculus and Boolean algebra · See more »

Boolean data type

In computer science, the Boolean data type is a data type that has one of two possible values (usually denoted true and false), intended to represent the two truth values of logic and Boolean algebra.

New!!: Boolean differential calculus and Boolean data type · See more »

Boolean function

In mathematics and logic, a (finitary) Boolean function (or switching function) is a function of the form ƒ: Bk → B, where B.

New!!: Boolean differential calculus and Boolean function · See more »

Communication protocol

In telecommunication, a communication protocol is a system of rules that allow two or more entities of a communications system to transmit information via any kind of variation of a physical quantity.

New!!: Boolean differential calculus and Communication protocol · See more »

David A. Huffman

David Albert Huffman (August 9, 1925 – October 7, 1999) was a pioneer in computer science, known for his Huffman coding.

New!!: Boolean differential calculus and David A. Huffman · See more »

David E. Muller

David Eugene Muller (November 2, 1924 – April 27, 2008) was an American mathematician and computer scientist.

New!!: Boolean differential calculus and David E. Muller · See more »

Differential (mathematics)

In mathematics, differential refers to infinitesimal differences or to the derivatives of functions.

New!!: Boolean differential calculus and Differential (mathematics) · See more »

Differential operator

In mathematics, a differential operator is an operator defined as a function of the differentiation operator.

New!!: Boolean differential calculus and Differential operator · See more »

Digital electronics

Digital electronics or digital (electronic) circuits are electronics that operate on digital signals.

New!!: Boolean differential calculus and Digital electronics · See more »

Discrete event dynamic system

In control engineering, a discrete event dynamic system (DEDS) is a discrete-state, event-driven system of which the state evolution depends entirely on the occurrence of asynchronous discrete events over time.

New!!: Boolean differential calculus and Discrete event dynamic system · See more »

Dynamical systems theory

Dynamical systems theory is an area of mathematics used to describe the behavior of the complex dynamical systems, usually by employing differential equations or difference equations.

New!!: Boolean differential calculus and Dynamical systems theory · See more »

Electrical engineering

Electrical engineering is a professional engineering discipline that generally deals with the study and application of electricity, electronics, and electromagnetism.

New!!: Boolean differential calculus and Electrical engineering · See more »

Elsevier

Elsevier is an information and analytics company and one of the world's major providers of scientific, technical, and medical information.

New!!: Boolean differential calculus and Elsevier · See more »

Encyclopedia of Mathematics

The Encyclopedia of Mathematics (also EOM and formerly Encyclopaedia of Mathematics) is a large reference work in mathematics.

New!!: Boolean differential calculus and Encyclopedia of Mathematics · See more »

Error correction code

In computing, telecommunication, information theory, and coding theory, an error correction code, sometimes error correcting code, (ECC) is used for controlling errors in data over unreliable or noisy communication channels.

New!!: Boolean differential calculus and Error correction code · See more »

Finite-state machine

A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.

New!!: Boolean differential calculus and Finite-state machine · See more »

IEEE Computer Society

IEEE Computer Society (sometimes abbreviated Computer Society or CS) is a professional society of IEEE.

New!!: Boolean differential calculus and IEEE Computer Society · See more »

IEEE Information Theory Society

The IEEE Information Theory Society (ITS or ITSoc), formerly the IEEE Information Theory Group, is a professional society of the Institute of Electrical and Electronics Engineers (IEEE) focused on several aspects of information: its processing, transmission, storage, and usage; and the "foundations of the communication process".

New!!: Boolean differential calculus and IEEE Information Theory Society · See more »

IEEE Transactions on Computers

IEEE Transactions on Computers is a monthly peer-reviewed scientific journal covering all aspects of computer design.

New!!: Boolean differential calculus and IEEE Transactions on Computers · See more »

Institute of Electrical and Electronics Engineers

The Institute of Electrical and Electronics Engineers (IEEE) is a professional association with its corporate office in New York City and its operations center in Piscataway, New Jersey.

New!!: Boolean differential calculus and Institute of Electrical and Electronics Engineers · See more »

Institute of Radio Engineers

The Institute of Radio Engineers (IRE) was a professional organization which existed from 1912 until December 31, 1962.

New!!: Boolean differential calculus and Institute of Radio Engineers · See more »

International Federation of Automatic Control

The International Federation of Automatic Control (IFAC), founded in September 1957, is a multinational federation of 49 national member organizations (NMO), each one representing the engineering and scientific societies concerned with automatic control in its own country.

New!!: Boolean differential calculus and International Federation of Automatic Control · See more »

Irving S. Reed

Irving Stoy Reed (November 12, 1923 – September 11, 2012) was a mathematician and engineer.

New!!: Boolean differential calculus and Irving S. Reed · See more »

Logic synthesis

In electronics, logic synthesis is a process by which an abstract form of desired circuit behavior, typically at register transfer level (RTL), is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool.

New!!: Boolean differential calculus and Logic synthesis · See more »

Mathematical analysis

Mathematical analysis is the branch of mathematics dealing with limits and related theories, such as differentiation, integration, measure, infinite series, and analytic functions.

New!!: Boolean differential calculus and Mathematical analysis · See more »

McGraw-Hill Education

McGraw-Hill Education (MHE) is a learning science company and one of the "big three" educational publishers that provides customized educational content, software, and services for pre-K through postgraduate education.

New!!: Boolean differential calculus and McGraw-Hill Education · See more »

Michael Lvovitch Tsetlin

Michael Lvovitch Tsetlin (the surname is also written Cetlin, Tzetlin, Zeitlin, Zetlin; cyrillic: Михаил Львович Цетлин) (22 September 1924 – 30 May 1966) was a Russian mathematician and physicist who worked on cybernetics.

New!!: Boolean differential calculus and Michael Lvovitch Tsetlin · See more »

Multivalued function

In mathematics, a multivalued function from a domain to a codomain is a heterogeneous relation.

New!!: Boolean differential calculus and Multivalued function · See more »

Pergamon Press

Pergamon Press was an Oxford-based publishing house, founded by Paul Rosbaud and Robert Maxwell, which published scientific and medical books and journals.

New!!: Boolean differential calculus and Pergamon Press · See more »

Petri net

A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.

New!!: Boolean differential calculus and Petri net · See more »

Philips

Koninklijke Philips N.V. (Philips, stylized as PHILIPS) is a Dutch multinational technology company headquartered in Amsterdam currently focused in the area of healthcare.

New!!: Boolean differential calculus and Philips · See more »

Philips Natuurkundig Laboratorium

The Philips Natuurkundig Laboratorium (English translation: Philips Physics Laboratory) or NatLab was the Dutch section of the Philips research department, which did research for the product divisions of that company.

New!!: Boolean differential calculus and Philips Natuurkundig Laboratorium · See more »

SIAM Journal on Applied Mathematics

The SIAM Journal on Applied Mathematics is a peer-reviewed academic journal in applied mathematics published by the Society for Industrial and Applied Mathematics (SIAM), with Paul A. Martin as its editor-in-chief.

New!!: Boolean differential calculus and SIAM Journal on Applied Mathematics · See more »

Society for Industrial and Applied Mathematics

The Society for Industrial and Applied Mathematics (SIAM) is an academic association dedicated to the use of mathematics in industry.

New!!: Boolean differential calculus and Society for Industrial and Applied Mathematics · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.

New!!: Boolean differential calculus and Springer Science+Business Media · See more »

Supervisory control theory

The supervisory control theory (SCT), also known as the Ramadge–Wonham framework (RW framework), is a method for automatically synthesizing supervisors that restrict the behavior of a plant such that as much as possible of the given specifications are fulfilled.

New!!: Boolean differential calculus and Supervisory control theory · See more »

Switching circuit theory

Switching circuit theory is the mathematical study of the properties of networks of idealized switches.

New!!: Boolean differential calculus and Switching circuit theory · See more »

University of Stuttgart

The University of Stuttgart (Universität Stuttgart) is a university located in Stuttgart, Germany.

New!!: Boolean differential calculus and University of Stuttgart · See more »

Victor Shestakov

Victor Ivanovich Shestakov (1907–1987) was a Russian/Soviet logician and theoretician of electrical engineering.

New!!: Boolean differential calculus and Victor Shestakov · See more »

Redirects here:

Algebraic theory of the logical operation of electric circuits, BDC (mathematics), BDK (mathematics), Boolean Differential Calculus, Boolean Integral Calculus, Boolean calculus of differences, Boolean derivative, Boolean difference, Boolean differential, Boolean differential operator, Boolean integral calculus, Boolean partial derivative, Boolean partial differential, Boolean total derivative, Boolean total differential, Boolescher Differentialkalkül, Boolescher Integralkalkül, Derivative of Boolean function, Derivative of a Boolean function, Differential of Boolean function, Differential of a Boolean function, Homogeneous potential-pulse circuit, Invariance of Boolean function, Invariance of a Boolean function, Logic Differential Calculus, Logic differential calculus, Partial Boolean derivative, Partial Boolean differential, Partial differential of Boolean function, Partial differential of a Boolean function, Potential variable, Potential variable (Boolean differential calculus), Pulse variable, Pulse variable (Boolean differential calculus), Total Boolean derivative, Total Boolean differential, Transition operator (Boolean differential calculus), Variance of Boolean function, Variance of a Boolean function, XBOOLE.

References

[1] https://en.wikipedia.org/wiki/Boolean_differential_calculus

OutgoingIncoming
Hey! We are on Facebook now! »