Hrvatski jezični portal. 2014.
kombìnātor — (kombinȃtor) m (kombìnātorica, kombìnātorka ž) 1. {{001f}}onaj koji kombinira 2. {{001f}}razg. onaj koji je sklon raznim domišljanjima (u zarađivanju, poslovima, politici, osvajanju utjecaja u društvu itd.) [veliki ∼ Ostap Bender] … Veliki rječnik hrvatskoga jezika
kombinator — {{/stl 13}}{{stl 8}}rz. mos I, Mc. kombinatororze; lm M. kombinatororzy {{/stl 8}}{{stl 7}} ktoś umiejący sprytnie, często nieuczciwie, załatwiać sprawy, przeprowadzać interesy, potrafiący kombinować; spryciarz, spekulant {{/stl 7}} … Langenscheidt Polski wyjaśnień
Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… … Deutsch Wikipedia
kombinátor — ja m (ȃ) kdor dela kombinacije: pri takem delu moraš biti spreten kombinator; navijači so se spremenili v velike kombinatorje / nav. ekspr. to je delo imperialističnih kombinatorjev … Slovar slovenskega knjižnega jezika
Kombinator — Kom|bi|na|tor der; s, ...oren <zu ↑kombinieren u. ↑...ator>: 1. (veraltet) jmd., der kombiniert, der Kombinationen ausführt. 2. Gerät zur Lockerung u. Krümelung des Brotes … Das große Fremdwörterbuch
kombinator — m IV, DB. a, Ms. kombinatororze; lm M. kombinatororzy, DB. ów pot. «człowiek sprytnie przeprowadzający jakieś interesy, często niezbyt uczciwe; spryciarz, spekulant» … Słownik języka polskiego
Kombinatorische Logik — (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als… … Deutsch Wikipedia
Alpha-Konversion — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Lambda-Ausdruck — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Lambda-Notation — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
