@prefix owl: . @prefix dbpedia: . dbpedia:Combinatory_logic owl:sameAs . @prefix foaf: . @prefix ns3: . dbpedia:Combinatory_logic foaf:page ns3:Combinatory_logic . @prefix dbpprop: . dbpedia:Combinatory_logic dbpprop:reference , , , , . @prefix rdfs: . dbpedia:Combinatory_logic rdfs:label "\u041A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430"@ru , "Combinatoire logica"@nl , "L\u00F3gica combinatoria"@es , "Logique combinatoire"@fr , "Kombinatorische Logik"@de , "L\u00F3gica combinat\u00F3ria"@pt , "Combinatory logic"@en , "\u7EC4\u5408\u5B50\u903B\u8F91"@zh , "Rachunek kombinator\u00F3w"@pl ; dbpprop:abstract "La logique combinatoire est une notation introduite par Moses Sch\u00F6nfinkel et Haskell Curry pour supprimer le besoin de variables en math\u00E9matiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'op\u00E9rateurs n\u00E9cessaires pour d\u00E9finir le calcul des pr\u00E9dicats \u00E0 la suite de Henry M. Sheffer. Plus r\u00E9cemment elle a \u00E9t\u00E9 utilis\u00E9e en informatique comme mod\u00E8le th\u00E9orique de calcul et comme base pour la conception de langages de programmation fonctionnels. Le concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre sup\u00E9rieur; elle utilise uniquement l'application de fonctions et \u00E9ventuellement d'autres combinateurs pour d\u00E9finir de nouvelles fonctions d'ordre sup\u00E9rieur. Elle a des liens tr\u00E8s forts avec le lambda calcul et avec la logique intuitionniste gr\u00E2ce \u00E0 la correspondance de Curry-Howard."@fr , "Combinatory logic is a notation introduced by Moses Sch\u00F6nfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments."@en , "De combinatoire logica was oorspronkelijk een door Moses Sch\u00F6nfinkel en Haskell Curry bedachte notatie in de wiskundige logica, waarmee de noodzakelijkheid van 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-orde functie zonder vrije variabelen."@nl , "La l\u00F3gica combinatoria es la l\u00F3gica \u00FAltima y como tal puede ser un modelo simplificado del c\u00F3mputo, usado en la teor\u00EDa de computabilidad (el estudio de qu\u00E9 puede ser computado) y la teor\u00EDa de la prueba (el estudio de qu\u00E9 se puede probar matem\u00E1ticamente.)"@es , "L\u00F3gica combinat\u00F3ria \u00E9 uma nota\u00E7\u00E3o introduzida por Moses Sch\u00F6nfinkel e Haskell Curry para eliminar a necessidade de vari\u00E1veis em l\u00F3gica matem\u00E1tica. Vem sendo mais usada recentemente na ci\u00EAncia da computa\u00E7\u00E3o como um modelo de computa\u00E7\u00E3o e como base para o desenvolvimento de linguagens de programa\u00E7\u00E3o funcionais. Ela \u00E9 baseada em combinadores, fun\u00E7\u00F5es de ordem superior somente usam aplica\u00E7\u00F5es de fun\u00E7\u00F5es e outros combinadores para definir um resultado a partir de seus par\u00E2metros."@pt , "\u7EC4\u5408\u5B50\u903B\u8F91\u662F Moses Sch\u00F6nfinkel \u548C Haskell Curry \u4ECB\u5165\u7684\u4E00\u79CD\u7B26\u53F7\u7CFB\u7EDF\uFF0C\u7528\u6765\u6D88\u9664\u6570\u7406\u903B\u8F91\u4E2D\u5BF9\u53D8\u91CF\u7684\u9700\u8981\u3002\u5B83\u6700\u8FD1\u5728\u8BA1\u7B97\u673A\u79D1\u5B66\u4E2D\u88AB\u7528\u505A\u8BA1\u7B97\u7684\u7406\u8BBA\u6A21\u578B\u548C\u8BBE\u8BA1\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\u7684\u57FA\u7840\u3002\u5B83\u6240\u57FA\u4E8E\u7684\u7EC4\u5408\u5B50\u662F\u53EA\u4F7F\u7528\u51FD\u6570\u5E94\u7528\u6216\u65E9\u5148\u5B9A\u4E49\u7684\u7EC4\u5408\u5B50\u6765\u5B9A\u4E49\u4ECE\u5B83\u4EEC\u7684\u53C2\u6570\u5F97\u51FA\u7684\u7ED3\u679C\u7684\u9AD8\u9636\u51FD\u6570\u3002"@zh , "\u041A\u043E\u043C\u0431\u0438\u043D\u0430\u0301\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0301\u0433\u0438\u043A\u0430 \u2014 \u0440\u0430\u0437\u0434\u0435\u043B \u0434\u0438\u0441\u043A\u0440\u0435\u0442\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0442\u0435\u0441\u043D\u043E \u0441\u0432\u044F\u0437\u0430\u043D \u0441 \u03BB-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435\u043C, \u0442. \u043A. \u043E\u043F\u0438\u0441\u044B\u0432\u0430\u0435\u0442 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u044B\u0435 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u044B. \u0421 \u043C\u043E\u043C\u0435\u043D\u0442\u0430 \u0441\u0432\u043E\u0435\u0433\u043E \u0432\u043E\u0437\u043D\u0438\u043A\u043D\u043E\u0432\u0435\u043D\u0438\u044F \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0431\u044B\u043B\u0438 \u043E\u0442\u043D\u0435\u0441\u0435\u043D\u044B \u043A \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u043B\u043E\u0433\u0438\u043A\u0430\u043C. \u0414\u0435\u043B\u043E \u0437\u0430\u043A\u043B\u044E\u0447\u0430\u0435\u0442\u0441\u044F \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0432\u043E\u0437\u043D\u0438\u043A\u043B\u0430 \u0432 1920-\u0445 \u0433\u043E\u0434\u0430\u0445, \u0430 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u2014 \u0432 1940-\u0445 \u0433\u043E\u0434\u0430\u0445 \u043A\u0430\u043A \u0432\u0435\u0442\u0432\u044C \u043C\u0435\u0442\u0430\u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438 \u0441 \u0434\u043E\u0441\u0442\u0430\u0442\u043E\u0447\u043D\u043E \u043E\u0447\u0435\u0440\u0447\u0435\u043D\u043D\u044B\u043C \u043F\u0440\u0435\u0434\u043D\u0430\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0435\u043C \u2014 \u0434\u0430\u0442\u044C \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435. \u042D\u0442\u043E \u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043E \u0441\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u0438\u0440\u043E\u0432\u0430\u0432 \u0442\u0440\u0435\u0431\u0443\u0435\u043C\u0443\u044E \u00AB\u043F\u0440\u0438\u043A\u043B\u0430\u0434\u043D\u0443\u044E\u00BB \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0443\u044E \u0442\u0435\u043E\u0440\u0438\u044E \u2014 \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u043D\u0443\u044E \u0442\u0435\u043E\u0440\u0438\u044E, \u2014 \u043A\u043E\u0442\u043E\u0440\u0430\u044F \u043E\u0442\u0440\u0430\u0436\u0430\u0435\u0442 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u044B \u0438\u043B\u0438 \u044F\u0432\u043B\u0435\u043D\u0438\u044F \u0432 \u0440\u0435\u0430\u043B\u044C\u043D\u043E\u0439 \u0432\u043D\u0435\u0448\u043D\u0435\u0439 \u0441\u0440\u0435\u0434\u0435, \u043C\u043E\u0436\u043D\u043E \u0432\u043E\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u00AB\u0447\u0438\u0441\u0442\u043E\u0439\u00BB \u043C\u0435\u0442\u0430\u0442\u0435\u043E\u0440\u0438\u0435\u0439 \u043A\u0430\u043A \u043E\u0431\u043E\u043B\u043E\u0447\u043A\u043E\u0439 \u0434\u043B\u044F \u0432\u044B\u044F\u0441\u043D\u0435\u043D\u0438\u044F \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0435\u0439 \u0438 \u0441\u0432\u043E\u0439\u0441\u0442\u0432 \u043F\u0440\u0435\u0434\u043C\u0435\u0442\u043D\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438. \u041A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u2014 \u044D\u0442\u043E \u0442\u0430\u043A\u0438\u0435 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0435 \u0441\u0438\u0441\u0442\u0435\u043C\u044B, \u0432 \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0446\u0435\u043D\u0442\u0440\u0430\u043B\u044C\u043D\u043E\u0439 \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u0435\u043C\u043E\u0439 \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u044C\u044E \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u043E\u0431 \u043E\u0431\u044A\u0435\u043A\u0442\u0435. \u0412 \u043F\u0435\u0440\u0432\u043E\u0439 \u0438\u0437 \u043D\u0438\u0445 \u2014 \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u2014 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C \u0441\u0432\u044F\u0437\u044B\u0432\u0430\u043D\u0438\u044F \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445 \u0432 \u044F\u0432\u043D\u043E\u043C \u0432\u0438\u0434\u0435 \u043E\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442, \u0430 \u0432\u043E \u0432\u0442\u043E\u0440\u043E\u0439 \u043E\u043D \u0438\u043C\u0435\u0435\u0442\u0441\u044F. \u041D\u0430\u043B\u0438\u0447\u0438\u0435 \u044F\u0432\u043D\u043E\u0433\u043E \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u0430 \u0441\u0432\u044F\u0437\u044B\u0432\u0430\u043D\u0438\u044F \u043F\u0440\u0435\u0434\u043F\u043E\u043B\u0430\u0433\u0430\u0435\u0442 \u0438 \u043D\u0430\u043B\u0438\u0447\u0438\u0435 \u0441\u0432\u044F\u0437\u0430\u043D\u043D\u044B\u0445 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445, \u043D\u043E \u0442\u043E\u0433\u0434\u0430 \u0435\u0441\u0442\u044C \u0438 \u0441\u0432\u043E\u0431\u043E\u0434\u043D\u044B\u0435 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0435, \u0430 \u0442\u0430\u043A\u0436\u0435 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u044B \u0437\u0430\u043C\u0435\u0449\u0435\u043D\u0438\u044F \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432 \u2014 \u0441\u0432\u044F\u0437\u0430\u043D\u043D\u044B\u0445 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445, \u2014 \u043D\u0430 \u0444\u0430\u043A\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B, \u0442\u043E \u0435\u0441\u0442\u044C \u043F\u043E\u0434\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0430. \u0418\u0437\u043D\u0430\u0447\u0430\u043B\u044C\u043D\u044B\u043C \u043D\u0430\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0435\u043C \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u0431\u044B\u043B \u0438\u043C\u0435\u043D\u043D\u043E \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u0430 \u043F\u043E\u0434\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0438. \u0412 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0435\u0435 \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u0435\u0439 \u043F\u043B\u0430\u043D\u0438\u0440\u043E\u0432\u0430\u043B\u043E\u0441\u044C \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u044C \u043E\u0431\u044A\u0435\u043A\u0442\u044B \u0432 \u0432\u0438\u0434\u0435 \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0446\u0438\u0439 \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442. \u041B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044E \u043E\u0442\u0432\u043E\u0434\u0438\u043B\u0430\u0441\u044C \u0440\u043E\u043B\u044C \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u0443\u0442\u043E\u0447\u043D\u0435\u043D\u0438\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0439 \u043E\u0431 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0435 \u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u043E\u0441\u0442\u0438. \u041A\u0430\u043A \u0441\u043B\u0435\u0434\u0441\u0442\u0432\u0438\u0435, \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0434\u0430\u0435\u0442 \u0432 \u0440\u0443\u043A\u0438 \u0438\u043D\u0441\u0442\u0440\u0443\u043C\u0435\u043D\u0442 \u0434\u043B\u044F \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u0430 \u043F\u043E\u0434\u0441\u0442\u0430\u043D\u043E\u0432\u043A\u0438. \u0427\u0435\u0440\u0435\u0437 \u043A\u043E\u0440\u043E\u0442\u043A\u0438\u0439 \u043F\u0440\u043E\u043C\u0435\u0436\u0443\u0442\u043E\u043A \u0432\u0440\u0435\u043C\u0435\u043D\u0438 \u043E\u043A\u0430\u0437\u0430\u043B\u043E\u0441\u044C, \u0447\u0442\u043E \u043E\u0431\u0435 \u044D\u0442\u0438 \u0441\u0438\u0441\u0442\u0435\u043C\u044B \u043C\u043E\u0436\u043D\u043E \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044C \u043A\u0430\u043A \u044F\u0437\u044B\u043A\u0438 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F. \u0412 \u043E\u0431\u0435\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C\u0430\u0445 \u0438\u0441\u0447\u0438\u0441\u043B\u044F\u044E\u0442\u0441\u044F \u043E\u0431\u044A\u0435\u043A\u0442\u044B, \u043E\u043D\u0438 \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F\u043C\u0438 \u0438\u043B\u0438 \u044F\u0437\u044B\u043A\u0430\u043C\u0438 \u0432\u044B\u0441\u0448\u0438\u0445 \u043F\u043E\u0440\u044F\u0434\u043A\u043E\u0432, \u0442\u043E \u0435\u0441\u0442\u044C \u0438\u043C\u0435\u044E\u0442\u0441\u044F \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u044F \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0435\u043D\u0438\u0439 \u0438\u043B\u0438 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u043E\u0432, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u044F\u044E\u0442\u0441\u044F \u043D\u0430 \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0435\u043D\u0438\u044F\u0445 \u0438\u043B\u0438 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430\u0445, \u0430 \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u0430 \u0432\u044B\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u044E\u0442 \u0442\u0430\u043A\u0436\u0435 \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0435\u043D\u0438\u044F \u0438\u043B\u0438 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u044B. \u0421\u0430\u043C\u043E\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043D\u043D\u043E\u0435, \u0447\u0442\u043E \u0438\u043C\u0435\u043D\u043D\u043E \u043E\u0442\u043E\u0431\u0440\u0430\u0436\u0435\u043D\u0438\u0435 \u0441\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044F \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u043C. \u0412 \u044D\u0442\u043E\u043C \u0438\u0445 \u043F\u0440\u0438\u043D\u0446\u0438\u043F\u0438\u0430\u043B\u044C\u043D\u043E\u0435 \u043E\u0442\u043B\u0438\u0447\u0438\u0435 \u043E\u0442 \u0432\u0441\u0435\u0433\u043E \u043C\u043D\u043E\u0433\u043E\u043E\u0431\u0440\u0430\u0437\u0438\u044F \u0434\u0440\u0443\u0433\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C, \u0432 \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u043F\u0435\u0440\u0432\u0438\u0447\u043D\u043E\u0439 \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u044C\u044E \u043E\u0431\u044B\u0447\u043D\u043E \u0441\u0447\u0438\u0442\u0430\u044E\u0442 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u043E \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0435 \u0438 \u0435\u0433\u043E \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u0430\u0445. \u041A \u043D\u0430\u0441\u0442\u043E\u044F\u0449\u0435\u043C\u0443 \u0432\u0440\u0435\u043C\u0435\u043D\u0438 \u043E\u0431\u0430 \u044D\u0442\u0438 \u044F\u0437\u044B\u043A\u0430 \u043D\u0435 \u0442\u043E\u043B\u044C\u043A\u043E \u0441\u0442\u0430\u043B\u0438 \u043E\u0441\u043D\u043E\u0432\u043E\u0439 \u0434\u043B\u044F \u0432\u0441\u0435\u0439 \u043C\u0430\u0441\u0441\u044B \u0438\u0441\u0441\u043B\u0435\u0434\u043E\u0432\u0430\u043D\u0438\u0439 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043D\u044B\u0445 \u043D\u0430\u0443\u043A \u0438 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0438\u043D\u0433\u0430, \u043D\u043E \u0438 \u0448\u0438\u0440\u043E\u043A\u043E \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0442\u0441\u044F \u0432 \u0442\u0435\u043E\u0440\u0438\u0438 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F. \u0420\u0430\u0437\u0432\u0438\u0442\u0438\u0435 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u043C\u043E\u0449\u043D\u043E\u0441\u0442\u0438 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043E\u0432 \u043F\u0440\u0438\u0432\u0435\u043B\u043E \u043A \u0430\u0432\u0442\u043E\u043C\u0430\u0442\u0438\u0437\u0430\u0446\u0438\u0438 \u0437\u043D\u0430\u0447\u0438\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u0447\u0430\u0441\u0442\u0438 \u0442\u0435\u043E\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u2014 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0438 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E, \u2014 \u0437\u043D\u0430\u043D\u0438\u044F, \u0430 \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0432\u043C\u0435\u0441\u0442\u0435 \u0441 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435\u043C \u043F\u0440\u0438\u0437\u043D\u0430\u044E\u0442\u0441\u044F \u043E\u0441\u043D\u043E\u0432\u043E\u0439 \u0434\u043B\u044F \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u0432 \u0442\u0435\u0440\u043C\u0438\u043D\u0430\u0445 \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u0432."@ru , "Rachunek kombinator\u00F3w to jeden z najprostszych mo\u017Cliwych uniwersalnych system\u00F3w formalnych. Na j\u0119zyk rachunku kombinator\u00F3w sk\u0142adaj\u0105 si\u0119 kombinator sta\u0142y K, kombinator rodzielonej aplikacji S, oraz kombinatory aplikacji z\u0142o\u017Cone z pary dowolnych kombinator\u00F3w - funkcji i argumentu: \u03C3 = S | K | (\u03C3 \u03C3) Derywacj\u0105 rz\u0105dz\u0105 dwie regu\u0142y: (\u03B2) \u2192 \u03B1 (\u03B3) \u2192 Gdzie \u03B1, \u03B2 i \u03B3 to dowolne kombinatory. Tak prosty system jest w stanie wyrazi\u0107 wszystko, co jest w stanie wyrazi\u0107 rachunek lambda, dowolna maszyna Turinga czy w og\u00F3le dowolny algorytm. Kombinatory maj\u0105 prost\u0105 interpretacj\u0119 w rachunku lambda: K = \u03BB x . \u03BB y . x S = \u03BB x . \u03BB y . \u03BB z . (x z) (y z) Cz\u0119sto wprowadza si\u0119 te\u017C kombinator identyczno\u015Bci I z regu\u0142\u0105: (I \u03B1) \u2192 \u03B1 Poniewa\u017C system SK ju\u017C jest kompletny, kombinator ten mo\u017Cna przepisa\u0107 jako (SK)K: (\u03B1) \u2192 \u2192 \u03B1 Podobnie jak w rachunku lambda zwykle pomija si\u0119 nadmiarowe nawiasy, zak\u0142adaj\u0105c wi\u0105zanie w lewo: \u03B1 \u03B2 \u03B3 to wi\u0119c (\u03B3). Poniewa\u017C ka\u017Cdy kombinator ma bardzo prost\u0105 interpretacj\u0119 w rachunku lambda, badania rachunku kombinator\u00F3w s\u0105 zwykle cz\u0119\u015Bci\u0105 bada\u0144 nad rachunkiem lambda. Z zupe\u0142no\u015Bci systemu SK wynika, \u017Ce ka\u017Cde \u03BB wyra\u017Cenie bez zmiennych wolnych (w terminologii rachunku lambda r\u00F3wnie\u017C zwane kombinatorem) mo\u017Cna zapisa\u0107 za pomoc\u0105 S i K, jednak ze wzgl\u0119du na ubo\u017Cszy j\u0119zyk, takie wyra\u017Cenia maj\u0105 tendencj\u0119 do przybierania bardzo du\u017Cych rozmiar\u00F3w."@pl , "Kombinatorische Logik (Abgek\u00FCrzt CL f\u00FCr engl. Combinatory Logic ist eine Notation, die von Moses Sch\u00F6nfinkel und Haskell Brooks Curry eingef\u00FChrt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als theoretisches Modell f\u00FCr Berechnung, als auch als Grundlage zum Design funktionaler Programmiersprachen eingesetzt."@de ; rdfs:comment "De combinatoire logica was oorspronkelijk een door Moses Sch\u00F6nfinkel en Haskell Curry bedachte notatie in de wiskundige logica, waarmee de noodzakelijkheid van 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."@nl , "Rachunek kombinator\u00F3w to jeden z najprostszych mo\u017Cliwych uniwersalnych system\u00F3w formalnych. Na j\u0119zyk rachunku kombinator\u00F3w sk\u0142adaj\u0105 si\u0119 kombinator sta\u0142y K, kombinator rodzielonej aplikacji S, oraz kombinatory aplikacji z\u0142o\u017Cone z pary dowolnych kombinator\u00F3w - funkcji i argumentu: \u03C3 = S | K | (\u03C3 \u03C3) Derywacj\u0105 rz\u0105dz\u0105 dwie regu\u0142y: (\u03B2) \u2192 \u03B1 (\u03B3) \u2192 Gdzie \u03B1, \u03B2 i \u03B3 to dowolne kombinatory."@pl , "Combinatory logic is a notation introduced by Moses Sch\u00F6nfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments."@en , "\u041A\u043E\u043C\u0431\u0438\u043D\u0430\u0301\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0301\u0433\u0438\u043A\u0430 \u2014 \u0440\u0430\u0437\u0434\u0435\u043B \u0434\u0438\u0441\u043A\u0440\u0435\u0442\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0442\u0435\u0441\u043D\u043E \u0441\u0432\u044F\u0437\u0430\u043D \u0441 \u03BB-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435\u043C, \u0442. \u043A. \u043E\u043F\u0438\u0441\u044B\u0432\u0430\u0435\u0442 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u044B\u0435 \u043F\u0440\u043E\u0446\u0435\u0441\u0441\u044B. \u0421 \u043C\u043E\u043C\u0435\u043D\u0442\u0430 \u0441\u0432\u043E\u0435\u0433\u043E \u0432\u043E\u0437\u043D\u0438\u043A\u043D\u043E\u0432\u0435\u043D\u0438\u044F \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0431\u044B\u043B\u0438 \u043E\u0442\u043D\u0435\u0441\u0435\u043D\u044B \u043A \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u043B\u043E\u0433\u0438\u043A\u0430\u043C."@ru , "La l\u00F3gica combinatoria es la l\u00F3gica \u00FAltima y como tal puede ser un modelo simplificado del c\u00F3mputo, usado en la teor\u00EDa de computabilidad (el estudio de qu\u00E9 puede ser computado) y la teor\u00EDa de la prueba (el estudio de qu\u00E9 se puede probar matem\u00E1ticamente.)"@es , "\u7EC4\u5408\u5B50\u903B\u8F91\u662F Moses Sch\u00F6nfinkel \u548C Haskell Curry \u4ECB\u5165\u7684\u4E00\u79CD\u7B26\u53F7\u7CFB\u7EDF\uFF0C\u7528\u6765\u6D88\u9664\u6570\u7406\u903B\u8F91\u4E2D\u5BF9\u53D8\u91CF\u7684\u9700\u8981\u3002\u5B83\u6700\u8FD1\u5728\u8BA1\u7B97\u673A\u79D1\u5B66\u4E2D\u88AB\u7528\u505A\u8BA1\u7B97\u7684\u7406\u8BBA\u6A21\u578B\u548C\u8BBE\u8BA1\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\u7684\u57FA\u7840\u3002\u5B83\u6240\u57FA\u4E8E\u7684\u7EC4\u5408\u5B50\u662F\u53EA\u4F7F\u7528\u51FD\u6570\u5E94\u7528\u6216\u65E9\u5148\u5B9A\u4E49\u7684\u7EC4\u5408\u5B50\u6765\u5B9A\u4E49\u4ECE\u5B83\u4EEC\u7684\u53C2\u6570\u5F97\u51FA\u7684\u7ED3\u679C\u7684\u9AD8\u9636\u51FD\u6570\u3002"@zh , "L\u00F3gica combinat\u00F3ria \u00E9 uma nota\u00E7\u00E3o introduzida por Moses Sch\u00F6nfinkel e Haskell Curry para eliminar a necessidade de vari\u00E1veis em l\u00F3gica matem\u00E1tica. Vem sendo mais usada recentemente na ci\u00EAncia da computa\u00E7\u00E3o como um modelo de computa\u00E7\u00E3o e como base para o desenvolvimento de linguagens de programa\u00E7\u00E3o funcionais."@pt , "La logique combinatoire est une notation introduite par Moses Sch\u00F6nfinkel et Haskell Curry pour supprimer le besoin de variables en math\u00E9matiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'op\u00E9rateurs n\u00E9cessaires pour d\u00E9finir le calcul des pr\u00E9dicats \u00E0 la suite de Henry M. Sheffer. Plus r\u00E9cemment elle a \u00E9t\u00E9 utilis\u00E9e en informatique comme mod\u00E8le th\u00E9orique de calcul et comme base pour la conception de langages de programmation fonctionnels."@fr , "Kombinatorische Logik (Abgek\u00FCrzt CL f\u00FCr engl. Combinatory Logic ist eine Notation, die von Moses Sch\u00F6nfinkel und Haskell Brooks Curry eingef\u00FChrt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als theoretisches Modell f\u00FCr Berechnung, als auch als Grundlage zum Design funktionaler Programmiersprachen eingesetzt."@de . @prefix skos: . @prefix ns7: . dbpedia:Combinatory_logic skos:subject ns7:Combinatory_logic , ns7:Logic_in_computer_science , ns7:Lambda_calculus . @prefix ns8: . dbpedia:Combinatory_logic dbpprop:wikiPageUsesTemplate ns8:mergefrom ; dbpprop:date "January 2008"@en . @prefix ns9: . dbpedia:Combinatory_logic dbpprop:hasPhotoCollection ns9:Combinatory_logic . dbpedia:Combinators dbpprop:redirect dbpedia:Combinatory_logic . @prefix dbpedia-owl: . dbpedia:Haskell_Curry dbpedia-owl:knownFor dbpedia:Combinatory_logic . @prefix ns11: . dbpedia:Haskell_Curry ns11:knownFor dbpedia:Combinatory_logic ; dbpprop:knownFor dbpedia:Combinatory_logic . dbpedia-owl:knownFor dbpedia:Combinatory_logic ; ns11:knownFor dbpedia:Combinatory_logic ; dbpprop:knownFor dbpedia:Combinatory_logic . dbpedia:Combinator dbpprop:redirect dbpedia:Combinatory_logic . dbpprop:redirect dbpedia:Combinatory_logic . dbpedia:Combinatory_Logic dbpprop:redirect dbpedia:Combinatory_logic . dbpedia:Combinatory_algebra dbpprop:redirect dbpedia:Combinatory_logic . dbpedia:S-combinator dbpprop:redirect dbpedia:Combinatory_logic . dbpedia:Abstraction_elimination dbpprop:redirect dbpedia:Combinatory_logic .