Back Kombinatorial məntiq Azerbaijani Lògica combinatòria Catalan Kombinatorische Logik German Combinatory logic English Lógica combinatoria Spanish Logique combinatoire French Loidig cho-cheanglachail Scots/Gaelic Lóxica combinatoria Galician Kombinatorna logika Croatian Կոմբինատորային տրամաբանություն Armenian
De combinatorische logica (ook: combinatoire logica) was oorspronkelijk een door Moses Schönfinkel en Haskell Curry bedachte notatie in de wiskundige logica, waarmee de noodzakelijkheid van het gebruik van variabelen verdween. De laatste tijd wordt deze notatie vooral gebruikt in de computerwetenschap, meer in het bijzonder in de theoretische informatica en voor het ontwerpen van functionele programmeertalen. De notatie is gebaseerd op combinatoren in de vorm van een hogere-ordefunctie zonder vrije variabelen.
Geplaatst op:
20-07-2009
20-07-2009
Dit artikel is een beginnetje over informatica. U wordt uitgenodigd om op bewerken te klikken om uw kennis aan dit artikel toe te voegen.
