Pagina's die verwijzen naar "Beslissingsprobleem"
De volgende pagina's verwijzen naar Beslissingsprobleem:
Er worden 48 items getoond.
- Onvolledigheidsstellingen van Gödel (← koppelingen | bewerken)
- Paradox (logica) (← koppelingen | bewerken)
- Propositielogica (← koppelingen | bewerken)
- Berekenbaarheid (← koppelingen | bewerken)
- Stopprobleem (← koppelingen | bewerken)
- Ergotherapie (← koppelingen | bewerken)
- Rationeel-emotieve therapie (← koppelingen | bewerken)
- Turingvolledigheid (← koppelingen | bewerken)
- Modeltheorie (← koppelingen | bewerken)
- Symptoombestrijding (← koppelingen | bewerken)
- Polynomiale tijd (← koppelingen | bewerken)
- Reguliere taal (← koppelingen | bewerken)
- NP-moeilijk (← koppelingen | bewerken)
- Media-ethiek (← koppelingen | bewerken)
- Uitdrukking (wiskunde) (← koppelingen | bewerken)
- Vervulbaarheidsprobleem (← koppelingen | bewerken)
- P (complexiteitsklasse) (← koppelingen | bewerken)
- NP (complexiteitsklasse) (← koppelingen | bewerken)
- DTIME (← koppelingen | bewerken)
- NTIME (← koppelingen | bewerken)
- PSPACE (← koppelingen | bewerken)
- Beslissingstheorie (← koppelingen | bewerken)
- Onafhankelijkheid (wiskundige logica) (← koppelingen | bewerken)
- Stephen Cook (← koppelingen | bewerken)
- Richard Karp (← koppelingen | bewerken)
- Contextvrije taal (← koppelingen | bewerken)
- Wang-betegeling (← koppelingen | bewerken)
- Correspondentieprobleem van Post (← koppelingen | bewerken)
- Steinerboomprobleem (← koppelingen | bewerken)
- Julia Robinson (← koppelingen | bewerken)
- Clique (grafentheorie) (← koppelingen | bewerken)
- Onafhankelijke verzameling (← koppelingen | bewerken)
- Knopenbedekking (← koppelingen | bewerken)
- Intervalgraaf (← koppelingen | bewerken)
- Dominerende verzameling (← koppelingen | bewerken)
- Exacte overdekking (← koppelingen | bewerken)
- Verzamelingenoverdekking (← koppelingen | bewerken)
- Partitieprobleem (← koppelingen | bewerken)
- Job sequencing (← koppelingen | bewerken)
- Maximale snede (← koppelingen | bewerken)
- Probleem (← koppelingen | bewerken)
- Herschrijven (theoretische informatica) (← koppelingen | bewerken)
- Overleg:Stopprobleem (← koppelingen | bewerken)
- Gebruiker:Simeon (← koppelingen | bewerken)
- Gebruiker:Simeon/Bijdragen (← koppelingen | bewerken)
- Gebruiker:Madyno/Kladblok/Voorbeelden (← koppelingen | bewerken)
- Gebruiker:Bcurfs/Boeken/Essentie (← koppelingen | bewerken)
- Gebruiker:RonnieV/Kladblok/Geboortelijst/december 1919 (← koppelingen | bewerken)