Mathematics of computing

branch of mathematics regarding periodic and continuous signals

a formal language that can be output (enumerated) by an algorithm (mathematical logic, computability theory)

interface between statistics and computer science

higher-order function y for which y f = f (y f)

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. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.

frequency-domain analysis method