3 relations: Comparison of graphics file formats, Counter (digital), Q0 (mathematical logic).
Comparison of graphics file formats
This is a comparison of image file formats.
New!!: Q0 and Comparison of graphics file formats · See more »
Counter (digital)
In digital logic and computing, a counter is a device which stores (and sometimes displays) the number of times a particular event or process has occurred, often in relationship to a clock signal.
New!!: Q0 and Counter (digital) · See more »
Q0 (mathematical logic)
Q0 is Peter Andrews' formulation of the simply-typed lambda calculus, and provides a foundation for mathematics comparable to first-order logic plus set theory.
New!!: Q0 and Q0 (mathematical logic) · See more »