Similar to スーダン関数

7

8

9

1,000,000,000

Theory of computation

First Draft of a Report on the EDVAC

First-order logic

Backward chaining

Automata theory

Typed lambda calculus

Recursive language

Recursively enumerable language

Computably enumerable set

Computable function

Computable number

A New Kind of Science#Principle of computational equivalence

Computational complexity theory

Model of computation

Computational neuroscience

Computational philosophy

Gödel numbering

Decision problem

Primitive recursive function

Rewriting

Confluence (abstract rewriting)

Kolmogorov complexity