Zoekresultaten
Naar navigatie springen
Naar zoeken springen
- Horn-clausules zijn van belang bij [[logisch programmeren]] en [[Intuïtionisme|intuïtionistische logica]] (ook constructieve logica… …iteralen wordt soms een '''doelclausule''' genoemd, met name bij [[logisch programmeren]]. …4 kB (575 woorden) - 18 jan 2025 04:17
- …lausule zonder positieve literalen (deze term wordt met name bij [[logisch programmeren]] gebruikt). …2 kB (278 woorden) - 2 mei 2020 15:05
- …orbeelden van meer of minder zuivere [[programmeertalen]] voor functioneel programmeren zijn [[APL (programmeertaal)|APL]], [[Erlang (programmeertaal)|Erlang]], [[ ===Imperatief programmeren=== …15 kB (2.053 woorden) - 20 apr 2024 23:27
- Een programmeertaal zoals Algol 68 eist van elke [[Identifier (programmeren)|identifier]] (bijvoorbeeld een [[constant (eigenschap)|constante]], [[vari De [[Logisch programmeren|logische programmeertaal]] [[Prolog]] is in feite ontstaan uit een sterk op …8 kB (1.092 woorden) - 12 jul 2022 13:53
- * [[Logica|Logisch]]: …derne wiskunde en [[Computertaal|computertalen]]. Zo hebben [[Uitdrukking (programmeren)|uitdrukkingen]] in een programmeertaal ook hun voorgeschreven syntax. Een …5 kB (719 woorden) - 11 jun 2024 22:31
- [[Categorie:Logisch programmeren]] …11 kB (1.649 woorden) - 23 jun 2023 16:20
- …oog aan een bewijs van die stelling. Hierdoor wordt een vorm van [[logisch programmeren]] op een rigoureuze basis gezet: bewijzen kunnen worden gerepresenteerd als …zijn ontworpen om zowel als bewijssysteem als een getypeerde [[Functioneel programmeren|functionele programmeertaal]] te fungeren. Dit omvat de intuïtionistische… …33 kB (4.458 woorden) - 5 jan 2025 09:34
- …lti-paradigma]]: [[Functionele programmeertaal|functioneel]], [[Imperatief programmeren|imperatief]], [[Concurrent computing|concurrent]] …. Het integreert de voordelen van [[objectgeoriënteerd]]e en [[Functioneel programmeren|functionele principes]]. Moderne software-constructies (closures, [[Monad… …76 kB (10.291 woorden) - 19 nov 2024 07:42