Categorie:Theoretische informatica

C

• ► Complexiteitstheorie‎ (3 C, 11 P)

F

• ► Formele taal‎ (1 C, 25 P)

I

• ► Informatietheorie‎ (1 C, 31 P)

K

• ► Kunstmatige intelligentie‎ (9 C, 61 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

C (vervolg)

• Correspondentieprobleem van Post
• CYK-algoritme

E

• Eindigetoestandsautomaat

G

• Grafentheorie

N

• Numerieke getaltheorie

P

• Predicatenlogica
• Primitief recursieve functie
• Propositielogica

R

• Referentiële transparantie
• Relationele algebra

S

• Stapelautomaat

S (vervolg)

• Stelling van Rice
• Stopprobleem

T

• Tupel
• Turingmachine
• Turingvolledigheid
• Typentheorie

U

• Universele Turing-machine

V

• Van Wijngaardengrammatica

Μ

• Μ-recursieve functie