Via de voorbeelden van menselijke vertaling trachten te leren vertalen.
Van professionele vertalers, bedrijven, webpagina's en gratis beschikbare vertaalbronnen.
najnowszy projekt dr friedricha to przewodnik po gdańsku dla dzieci.
his most recent project is a guide to gdańsk for children.
Laatste Update: 2018-02-13
Gebruiksfrequentie: 1
Kwaliteit:
w xvii wieku lwów, liczący 30 tysięcy mieszkańców, był po gdańsku drugim co do wielkości miastem rzeczypospolitej.kita - miasto w mali, w regionie kayes.takiego jak .na język rachunku kombinatorów składają się kombinator stały k, kombinator rodzielonej aplikacji s, oraz kombinatory aplikacji złożone z pary dowolnych kombinatorów - funkcji i argumentu:* σ = s _ k _ (σ σ)derywacją rządzą dwie reguły:* ((k α) β) → α* (((s α) β) γ) → ((α γ) (β γ))gdzie α, β i γ to dowolne kombinatory.
in the 17th century lviv/lwów was the second biggest city of poland-lithuania; with the population of 30,000.the town is the capital of the kita cercle in the kayes region.see also ."x"])) (by 3):: = (s (k (s i)) (s (k k) i)) (by 4)if we apply this combinator to any two terms "x" and "y", itreduces as follows:: (s (k (s i)) (s (k k) i) x y):: = (k (s i) x (s (k k) i x) y):: = (s i (s (k k) i x) y):: = (i y (s (k k) i x y)):: = (y (s (k k) i x y)):: = (y (k k x (i x) y)):: = (y (k (i x) y)):: = (y (i x)):: = (y x)the combinatory representation, (s (k (s i)) (s (k k) i)) is muchlonger than the representation as a lambda term, "λx"."λy".
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit:
Waarschuwing: Bevat onzichtbare HTML-opmaak
Enkele menselijke vertalingen met lage relevantie werden verborgen.
Toon lage-relevantie resultaten.