Similar to 計算理論

Algorithm

Foundations of mathematics

Annals of Mathematics

Axiom (computer algebra system)

Basic hypergeometric series

Knuth–Bendix completion algorithm

Ackermann function

Computational complexity theory

Computational philosophy

Fixed-point combinator

General recursive function

Maximum length sequence

Alphabet (formal languages)

Mathematical logic

Mizar system

1984 Summer Olympics

Partition of unity

Eskadrille 721

Algebraic code-excited linear prediction

ALGOL

AM 748 I 4to

AN/APG-63 radar family

AOL

AST/ALT ratio

B

BASIC