Results

**1 - 5**of**5**### Built-in Value Type specifications in LCM 3.1

, 1995

"... This report is an attempt to establish an (algebraic) specification of a number of frequently used datatypes. The datatypes that are specified are LCM 3.1's built-in value types, and they are specified using LCM itself. The resulting specifications are annotated with hopefully clarifying comments, w ..."

Abstract
- Add to MetaCart

This report is an attempt to establish an (algebraic) specification of a number of frequently used datatypes. The datatypes that are specified are LCM 3.1's built-in value types, and they are specified using LCM itself. The resulting specifications are annotated with hopefully clarifying comments, with the purpose of adding educational value.

### Computability Theory

"... The two most important contributions Logic has made to Mathematics, are formal definitions of proof and of algorithmic computation. How useful is this? Mathematicians are trained in understanding and constructing proofs from ..."

Abstract
- Add to MetaCart

The two most important contributions Logic has made to Mathematics, are formal definitions of proof and of algorithmic computation. How useful is this? Mathematicians are trained in understanding and constructing proofs from

### Basic Computability Theory

"... The subject of this course is the theory of computable or recursive functions. Computability Theory and Recursion Theory are two names for it; the former being more popular nowadays. 0.1 Why Computability Theory? The two most important contributions Logic has made to Mathematics, are formal definiti ..."

Abstract
- Add to MetaCart

The subject of this course is the theory of computable or recursive functions. Computability Theory and Recursion Theory are two names for it; the former being more popular nowadays. 0.1 Why Computability Theory? The two most important contributions Logic has made to Mathematics, are formal definitions of