SettingsMathematics of computing
Actor model theory
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.
Fixed point combinator
A fixed point combinator is a higher-order function that computes a fixed point of other functions.
A fixed point combinator is a higher-order function that computes a fixed point of other functions.
Fixed-point combinator
In computer science, a fixed-point combinator is a higher-order function that computes a fixed point of other functions.
In computer science, a fixed-point combinator is a higher-order function that computes a fixed point of other functions.
Fourier analysis
In mathematics, Fourier analysis is a subject area which grew from the study of Fourier series.
In mathematics, Fourier analysis is a subject area which grew from the study of Fourier series.
Log probability
Information theory is a branch of applied mathematics and electrical engineering involving the quantification of information.
Information theory is a branch of applied mathematics and electrical engineering involving the quantification of information.
Postcondition
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification.
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification.
Probability
Probability is a way of expressing knowledge or belief that an event will occur or has occurred.
Probability is a way of expressing knowledge or belief that an event will occur or has occurred.