Similar to 計算理論

Algorithm

Foundations of mathematics

Axiom (computer algebra system)

0

Basic hypergeometric series

Knuth–Bendix completion algorithm

Ackermann function

Computational complexity theory

Computational philosophy

Fixed-point combinator

General recursive function

Maximum length sequence

Mathematical logic

Mizar system

1945

1984 Summer Olympics

Partition of unity

Eskadrille 721

Algebraic code-excited linear prediction

ALGOL

AM 748 I 4to

AN/APG-63 radar family

Apple Pay

AST/ALT ratio

B

BASIC

Blu-ray

Brilliant (website)