Zoekresultaten
Naar navigatie springen
Naar zoeken springen
Overeenkomst met onderwerp
- In de [[theoretische informatica]] is '''herschrijven''' (Engels: ''rewriting'') een onderzoeksgebied dat zi …men die met verschillende soorten objecten werken, zoals termen, [[String (informatica)|strings]] of [[Grafentheorie|grafen]]. Herschrijfsystemen hebben echter ee …11 kB (1.556 woorden) - 14 feb 2022 18:39
Overeenkomst met inhoud
- In de [[wiskunde]] en de [[informatica]] is een '''<math>n</math>-tupel''', ook '''tuple''', een [[Rij (wiskunde)| == Tupels in informatica == …3 kB (429 woorden) - 11 okt 2022 13:15
- …[[kardinaliteit]] hebben als de natuurlijke getallen. In de [[theoretische informatica]] worden paringsfuncties gebruikt voor het coderen van een functie gedefini …952 bytes (126 woorden) - 6 mei 2019 08:56
- …textvrije taal|contextvrije talen]] van belang is. Zij is vernoemd naar de informatica [[Sheila A. Greibach]] uit de [[Verenigde Staten]] en beschrijft een normaa …2 kB (280 woorden) - 1 aug 2022 15:21
- In de [[theoretische informatica]] vormen de '''primitief recursieve functies''' een klasse van totale, [[Be * Uwe Schöning, ''Theoretische Informatik – kurz gefasst'', 5. Auflage, Spektrum, 2009 …4 kB (552 woorden) - 25 jun 2024 06:40
- In de [[theoretische informatica]] vormen de '''μ-recursieve functies''' een klasse van [[Functie (wiskunde) * Uwe Schöning, ''Theoretische Informatik – kurz gefasst'', 5. Auflage, Spektrum, 2009 …4 kB (679 woorden) - 23 jan 2024 18:35
- …worden weergegeven met behulp van de volgende [[Herschrijven (theoretische informatica)|herschrijfregels]]<ref> [[John Alan Robinson]] en [[Andrei Voronkov]], ''H [[Categorie:Theoretische informatica]] …4 kB (536 woorden) - 28 jun 2024 08:46
- De '''stelling van Rice''' is een belangrijke stelling in de [[theoretische informatica]], meer in het bijzonder in de [[berekenbaarheid]]stheorie. Informeel zegt * Uwe Schöning. Theoretische Informatik - Kurz gefasst (5. Auflage). Spektrum, 2008. …4 kB (621 woorden) - 26 jan 2019 09:38
- …heid|onbeslisbaar]] [[beslissingsprobleem|probleem]] uit de [[theoretische informatica]] dat in 1946 door [[Emil Leon Post]] werd geformuleerd. Het wordt vaak geb [[Categorie:Theoretische informatica]] …4 kB (507 woorden) - 9 aug 2019 11:56
- In de [[wiskunde]] en de [[theoretische informatica]], is een '''universele Turing-machine''' ('''UTM''') (ook bekend als de '' …wat alledaagse computers praktisch gezien ook kunnen. Anderzijds heeft de theoretische universele Turing-machine een oneindig geheugen. Praktisch gezien kan wel… …4 kB (543 woorden) - 17 jun 2022 14:33
- …Command Language'', ontwikkeld door [[Edsger Dijkstra]]. Dit is enkel een theoretische taal, er bestaan geen [[compiler]]s om deze taal om te zetten in een uitvoe * [[Repetitie (informatica)|Repetitie]] …1 kB (198 woorden) - 11 nov 2018 13:54
- …gische formules, wiskundige termen, en veel structuren uit de theoretische informatica, zoals [[Boom (datastructuur)|bomen]]. …k voor binnen de [[Abstracte algebra|algebra]], [[logica]], [[theoretische informatica]] en andere gebieden waarin formules, termen, lijsten, programma's en ander …5 kB (670 woorden) - 31 jan 2025 16:07
- …''' ('''PDA'''), is een eindige automaat die gebruikmaakt van een [[stack (informatica)|stack]]. De klasse van [[Formele taal|formele talen]] die door stapelautom [[Categorie:Theoretische informatica]] …3 kB (548 woorden) - 8 sep 2018 18:26
- In de [[theoretische informatica]] is een '''alternerende eindige automaat''' een variant op een [[eindige… [[Categorie:Theoretische informatica]] …5 kB (712 woorden) - 19 nov 2020 20:22
- '''Wiskundige biologie''', ook '''mathematische''' of '''theoretische biologie''', is een wetenschappelijk vakgebied dat wiskunde gebruikt om bio …]], [[neurobiologie]], [[moleculaire biologie]], [[biofysica]] en de [[bio-informatica]]. …6 kB (884 woorden) - 16 mrt 2022 06:31
- …emische logica vindt toepassingen in de [[filosofie]] en de [[theoretische informatica]]. Door toevoeging van andere modaliteiten dan kennis kunnen complexe versc …2 kB (278 woorden) - 28 jun 2023 20:43
- [[Bestand:AmdahlsLaw.svg|thumb|De theoretische verbetering van de latentie (via een reductie van de vertragingstijd tussen De '''wet van Amdahl''' wordt gebruikt in [[computerarchitectuur]] om de theoretische prestatieverbetering te bepalen bij het uitvoeren van een vaste taak door… …9 kB (1.419 woorden) - 9 sep 2024 22:04
- …het zoeken naar bestanden in bijvoorbeeld [[MS-DOS]] of een Unix-[[shell (informatica)|shell]] betekent de asterisk dat het jokerteken door geen, een of meer wil …torven talen, om aan te geven dat deze nooit zo zijn aangetroffen. In de [[theoretische taalkunde]] worden twee asterisken gebruikt om aan te geven dat een hypothe …4 kB (549 woorden) - 14 apr 2024 12:56
- …'halting problem', is het [[beslissingsprobleem]] uit de [[wiskunde]] en [[informatica]], om te bepalen of een [[algoritme]] bij een eindige invoer in een eindig [[Categorie:Theoretische informatica]] …4 kB (609 woorden) - 10 dec 2023 15:25
- [[Categorie:Theoretische informatica]] …3 kB (375 woorden) - 20 sep 2023 19:52
- …[[kunstmatige intelligentie]], ontwerp van [[hardware]] en [[verificatie (informatica)|verificatie]] van hardware en [[software]]. Veel wiskundige en praktische [[Categorie:Logica in de informatica]] …7 kB (969 woorden) - 31 mei 2023 20:01