Zoekresultaten
Naar navigatie springen
Naar zoeken springen
- Bij [[automatisch stelling bewijzen]] is '''monotone variable fixing''' (ook bekend als de '' [[Categorie:Automatisch redeneren]] …3 kB (367 woorden) - 16 okt 2015 08:39
- Bij [[automatisch stellingbewijzen]] is de '''one-literal rule''' ('''OLR''') of '''unit prop [[Categorie:Automatisch redeneren]] …3 kB (472 woorden) - 24 jul 2019 21:19
- [[Categorie:Automatisch redeneren]] …2 kB (349 woorden) - 1 apr 2024 17:42
- …PLL-algoritme]] en [[Resolutie (logica)|resolutie]], bewijstechnieken in [[Automatisch stelling bewijzen|automatische stellingbewijzers]]. [[Categorie:Automatisch redeneren]] …8 kB (1.201 woorden) - 6 aug 2024 19:32
- De CNF is onder andere belangrijk in het vakgebied [[automatisch redeneren]], het deelgebied van [[informatica]], waarin computers logische redeneerpr …5 kB (747 woorden) - 31 aug 2021 17:18
- …'propositielogica''' is een tak van [[logica]] die zich bezighoudt met het redeneren met [[propositie]]s. Proposities zijn uitspraken of beweringen die ofwel wa De propositielogica gaat over het redeneren met ''proposities''. Een propositie is een uitspraak die waar of onwaar kan …19 kB (3.042 woorden) - 15 mrt 2025 10:35
- [[Categorie:Automatisch redeneren]] …10 kB (1.631 woorden) - 24 jun 2023 14:06
- In de [[wiskundige logica]] en bij [[automatisch stellingbewijzen]] is '''resolutie''' een [[afleidingsregel]] die gebruikt …n ''Journal of the ACM''. Deze publicatie betekende een doorbraak in het [[automatisch stellingbewijzen]] en veel hedendaagse automatische stellingbewijzers zijn …17 kB (2.603 woorden) - 14 mei 2023 17:45
- …id werden onderzocht; sommige wiskundigen meenden zelfs dat het wiskundige redeneren in wezen niet meer is dan formele, mechanisch uitvoerbare symboolmanipulati …an natuurlijke taal bij te brengen – bijvoorbeeld voor [[computervertaling|automatisch vertalen]] – en …12 kB (1.702 woorden) - 20 jan 2025 18:34
- …ijk bereikt kan worden door de mogelijkheid van ''neveneffecten''), kan je automatisch uitzoeken wanneer bepaalde functies parallel kunnen worden uitgevoerd. …15 kB (2.053 woorden) - 20 apr 2024 23:27