Categorie:Theoretische informatica

C

• Complexiteitstheorie‎ (3 C, 12 P)

F

• Formele taal‎ (1 C, 25 P)

I

• Informatietheorie‎ (1 C, 34 P)

K

• Kunstmatige intelligentie‎ (11 C, 87 P)

L

• Lambdacalculus‎ (1 C, 3 P)
• Logica in de informatica‎ (4 C, 9 P)

T

• Informaticatijdschrift‎ (143 P)

W

• Wiskundige optimalisatie‎ (7 P)

• Theoretische informatica

A

• Alternerende eindige automaat

B

• Berekenbaarheid
• Bewegingsplanning
• Busy beaver

C

• Church-Turing-hypothese
• Complexe netwerken
• Computationele complexiteitstheorie
• Computationele leertheorie
• Configuratieruimte
• Corecursie
• Correspondentieprobleem van Post
• CYK-algoritme

E

• Eindigetoestandsautomaat

G

• Grafentheorie

H

• Herschrijven (theoretische informatica)

N

• Numerieke getaltheorie

P

• Predicatenlogica
• Primitief recursieve functie
• Propositielogica

R

• Referentiële transparantie
• Relationele algebra

S

• Stapelautomaat
• Stelling van Rice
• Stopprobleem

T

• Tupel
• Turingmachine
• Turingvolledigheid
• Typetheorie

U

• Universele Turing-machine

V

• Van Wijngaardengrammatica

Μ

• Μ-recursieve functie