What is Timeline of mathematical logic?

In computer programming, a logic error is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally. A logic error produces unintended or undesired...

The International Congress on Mathematical Physics is the largest research congress in mathematical physics. It is held every three years, on behalf of the International Association of Mathematical Physics.

The Canadian Mathematical Olympiad is Canada's top mathematical problem-solving competition. It is run by the Canadian Mathematical Society. The Olympiad plays several roles in Canadian mathematics competitions, most notably being...

The Carus Mathematical Monographs is a monograph series published by the Mathematical Association of America. Books in this series are intended to appeal to a wide range of readers in...

In electronics, the Interface Logic Model is a technique to model blocks in hierarchal VLSI implementation flow. It is a gate level model of a physical block where only the...

A simple programmable logic device is a programmable logic device with complexity below that of a complex programmable logic device. The term commonly refers to devices such as ROMs, PALs,...

Mathematical knowledge management is the study of how society can effectively make use of the vast and growing literature on mathematics. It studies approaches such as databases of mathematical knowledge,...

Algebraic modeling languages like AIMMS, AMPL, GAMS, MPL and others have been developed to facilitate the description of a problem in mathematical terms and to link the abstract formulation with...

Mathematical modelling competitions are team competitions for students that aim to promote mathematical modelling to solve problems of real-world importance. Several types of math contests exist. Contests are held at...

The United States of America Mathematical Talent Search is a mathematics competition open to all United States students in or below high school.