| slovo | definícia |
combinatory logic
(foldoc) | combinatory logic
A system for reducing the operational notation of
logic, mathematics or a functional language to a sequence
of modifications to the input data structure. First
introduced in the 1920's by Schoenfinkel. Re-introduced
independently by Haskell Curry in the late 1920's (who
quickly learned of Schoenfinkel's work after he had the idea).
Curry is really responsible for most of the development, at
least up until work with Feys in 1958.
See combinator.
(1995-01-05)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4