Categorie:Theoretische informatica

C

• ► Complexiteitstheorie‎ (3 C, 11 P)

F

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

I

• ► Informatietheorie‎ (1 C, 30 P)

K

• ► Kunstmatige intelligentie‎ (10 C, 59 P)

L

• ► Lambdacalculus‎ (1 C, 3 P)
• ► Logica in de informatica‎ (4 C, 9 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

C (vervolg)

• Corecursie
• Correspondentieprobleem van Post
• CYK-algoritme

E

• Eindigetoestandsautomaat

G

• Grafentheorie

N

• Numerieke getaltheorie

P

• Predicatenlogica
• Propositielogica

R

• Referentiële transparantie
• Relationele algebra

S

• Stapelautomaat
• Stelling van Rice
• Stopprobleem

T

• Tupel
• Turingmachine
• Turingvolledigheid
• Typentheorie

V

• Van Wijngaardengrammatica