Examples of using Combinatory in English and their translations into Croatian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Combinatory logic in mathematics.
Kombinatorna logika u matematici.(1972) survey the early history of combinatory logic.
(1972.) za prijegled rane povijesti kombinatorne logike.The combinatory versions have T K and F K I.
Kombinatorne su verzije T K i F K I.Einstein described his scientific method as combinatory play.
Einstein je opisao vlastitu znanstvenu metodu kao igru kombinatorike.Combinatory logic- Wikipedia, the free encyclopedia.
Kombinatorna logika- Wikipedia, slobodna enciklopedija.Dana Scott in the 1960s and 1970s showed how to marry model theory and combinatory logic.
Dana Scott je 1960-ih i 70-ih pokazao kako usuglasiti teoriju modela i kombinatornu logiku.Combinatory logic- Wikipedia, the free encyclopedia.
Kombinatorna logika- Wikipedia, slobodna enciklopedija Curry and Feys(1958), and Curry et al.(1972)survey the early history of combinatory logic.
Vidi Curry i Feys(1958.), te Curry et al.(1972.)za prijegled rane povijesti kombinatorne logike.Despite its simplicity, combinatory logic captures many essential features of computation.
Unatoč svojoj jednostavnosti, kombinatorna logika obuhvaća mnoga esencijalna svojstva računanja.And this has undoubtedly been an important contribution to the enthusiasm of many of those of us working in combinatory logic.
I ovo je bez sumnje bio važan doprinos na entuzijazam, mnogi od onih od nas koji rade u kombinacijski logika.His early work on Combinatory Topology has exercised a decisive influence on the development of that subject.
Njegov rani rad na kombinacijski Topologija je imao odlučujući utjecaj na razvoj koji predmet.Many early papers by Curry showed how to translate axiom sets for conventional logic into combinatory logic equations Hindley and Meredith 1990.
Mnogi raniji radovi Curryja su pokazali kako prevesti skup aksioma konvencionalne logike u jednadžbe kombinatorne logike Hindley i Meredith 1990.Hence combinatory logic has been used to model some non-strict functional programming languages and hardware.
Stoga je kombinatorna logika korištena za modeliranje nekih nestriktnih funkcijskih programskih jezika i sklopovlja.In the latter 1930s, Alonzo Church and his students at Princeton invented a rival formalism for functional abstraction, the lambda calculus,which proved more popular than combinatory logic.
Kasnih 1930-ih su Alonzo Church i njegovi studenti na Princetonu otkrili rivalni formalizam za funkcijsku apstrakciju, lambda račun,koji se pokazao popularnijim od kombinatorne logike.Are a more formal introduction to combinatory logic, with a special emphasis on fixed point results.
Poglavlja 17-20 su formalniji uvod u kombinatornu logiku, s posebnim naglaskom na rezultate fiksne točke.Combinatory logic was originally intended as a'pre-logic' that would clarify the role of quantified variables in logic, essentially by eliminating them.
Kombinatorna je logika izvorno zamišljena kao'pred-logika' koja bi osvijetlila uporabu kvantificiranih varijabli u logici, eliminirajući ih.Two special cases, rules 3 and 4, are trivial: λx.x is clearly equivalent to I, and λx.E is clearly equivalent to(K T) if x does not appear free in E. The first tworules are also simple: Variables convert to themselves, and applications, which are allowed in combinatory terms, are converted to combinators simply by converting the applicand and the argument to combinators.
Dva specijalna slučaja, pravila 3 i 4, su trivijalna: λx.x je očito ekvivalentno I, i λx.E je očito ekvivalentno(K E) ako sex ne pojavljuje slobodan u E. Prva su dva pravila također jednostavna: Varijable se konvertiraju u same sebe,a aplikacije, koje su dozvoljene u kombinatornim terminima, su konvertirane u kombinatore jednostavnom konverzijom aplikanda i argumenta u kombinatore.A gentle introduction to combinatory logic, presented as a series of recreational puzzles using bird watching metaphors. 1994.
Nježan uvod u kombinatornu logiku, predstavljen kao slijed rekreacijskih zadataka koristeći metafore gledanja ptica. 1994.Combinatory logic can be viewed as a variant of the lambda calculus, in which lambda expressions(representing functional abstraction) are replaced by a limited set of combinators, primitive functions from which bound variables are absent.
Kombinatorna se logika može shvatiti kao varijanta lambda računa, u kojoj su lambda izrazi(koji predstavljaju funkcijsku apstrakciju) zamijenjeni skupom kombinatora, primitivnih funkcija koji nemaju slobodnih varijabli.For a more modern parallel treatment of combinatory logic and the lambda calculus, see Barendregt(1984), who also reviews the models Dana Scott devised for combinatory logic in the 1960s and 1970s.
Za suvremeniji paralelni tretman kombinatorne logike i lambda računa, vidi Barendregt(1984.), koji također daje prijegled modela koje je Dana Scott izveo za Combinatory logic was developed with great ambitions: understanding the nature of paradoxes, making foundations of mathematics more economic(conceptually), eliminating the notion of variables(thus clarifying their role in mathematics). μ-recursive functions A computation consists of a μ-recursive function, i.e. its defining sequence, any input value(s) and a sequence of recursive functions appearing in the defining sequence with inputs and outputs.
Kombinatorna je logika razvijena sa velikim ambicijama: razumijevanje prirode paradoksa, činjenja osnovna matematike ekonomičnijima( konceptualno), te eliminiranje notacije varijabli( te tako osvjetljavajući njihovu ulogu u matematici). μ-rekurzivne funkcije računanje je μ-rekurzivna funkcija, tj. njen definirajući slijed, bilo koja ulazna vrijednost/ vrijednosti te slijed rekurzivnih funkcija koje se pojavljuju u definirajućem slijedu sa ulazima i izlazima.In computer science, combinatory logic is used as a simplified model of computation, used in computability theory and proof theory.
U računarstvu, kombinatorna se logika koristi kao pojednostavljeni model računanja, korišten u teoriji izračunljivosti i teoriji dokaza.
