Examples of using Акерманова in Serbian and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
На пример, Акерманова функција може доказати да је укупан број рекурзиван, али не и примитиван.
Други примери укључују подели па владај алгоритам као што су Квиксорт, ифункције као што су Акерманова функција.
Other examples include divide-and-conquer algorithms such as Quicksort, andfunctions such as the Ackermann function.Акерманова функција А(м, н) је добро познати пример целокупне рекурзивне функције која није примитивно рекурзивна.
The Ackermann function A(m, n) is a well-known example of a total recursive function that is not primitive recursive.Међутим, није свака μ-рекурзивна функција примитивна рекурзивна функција-најпознатији пример је Акерманова функција.
However, not every μ-recursive function is a primitive recursive function-the most famous example is the Ackermann function.Понекад се оригинална Акерманова функција или неке варијације користе у овим оквирима, али оне све расту сличним темпом.
Sometimes Ackermann's original function or other variations are used in these settings, but they all grow at similarly high rates.Акерманова функција А(м, н) је добро познати пример целокупне рекурзивне функције која није примитивно рекурзивна.
The Ackermann function A(m, n) is a well-known example of a total recursive function(in fact, provable total), that is not primitive recursive.За мале вредностиm као што су 1, 2, или 3, Акерманова функција расте релативно споро у односу на n( у најбољем случају експоненцијално).
For small values of m like 1, 2, or 3, the Ackermann function grows relatively slowly with respect to n(at most exponentially).Акерманова функција, услед своје дефиниције преко екстремно дубоке рекурзије, може да се користи за упоређивање способности различитих програмских преводилаца да оптимизују рекурзију.
The Ackermann function, due to its definition in terms of extremely deep recursion, can be used as a benchmark of a compiler's ability to optimize recursion.У теорији израчунљивости, Акерманова функција или Акерман-Петерова функција је једноставан пример израчунљиве функције која није примитивно рекурзивна.
In recursion theory, the Ackermann function or Ackermann-Péter function is a simple example of a general recursive function that is not primitive recursive….Конвејова ланчана реакција Дозвољава екстензију повећањем 2 броја( еквивалент са екстензијама изнад), али такође, чак снажније,проширењем ланца Акерманова функција Дозвољава специјалан случај да буде написан условима Акерманове функције.
Conway chained arrow notation Allows extension by increasing the number 2(equivalent with the extensions above), but also, even more powerfully,by extending the chain Ackermann function Allows the special case to be written in terms of the У делу On the Infinite, Давид Хилберт је изнео хипотезу да Акерманова функција није примитивно рекурзивна, али је Акерман, Хилбертов лични секретар и некадашњи студент, у ствари доказао ову хипотезу у свом раду On Hilbert' s Construction of the Real Numbers.
In On the Infinite, David Hilbert hypothesized that the Ackermann function was not primitive recursive, but it was Управљачки механизам за његову кочију,данас познат као Акерманова веза, који су аутомобили усвојили 130 година касније( 1759).[ 17] Говорна машина, која је била механички гркљан израђен од дрвета, свиле и коже и изговарала је неколико звукова тако добро„ да је заварала све који су је чули али нису могли да је виде“( код Клифтона 1799).[ 1] Каналска жичара за барже.
A steering mechanism for his carriage,known today as the Ackermann linkage, that would be adopted by cars 130 years later(1759).[17] A speaking machine, which was a mechanical larynx made of wood, silk, and leather and pronounced several sounds so well'as to deceive all who heard it unseen'(at Clifton in 1799).[18] A canal lift for barges.Израчунавање Акерманове функције се може изразити и у терминима бесконачне таблице.
Computing the Ackermann function can be restated in terms of an infinite table.Један изненађујући аспект Акерманове функције је да су једине аритметичке операције које користи сабирање и одузимање јединице.
One interesting aspect of the Ackermann function is that the only arithmetic operations it ever uses are addition and subtraction of 1.Wilhelm Friedrich Ackermann; Хершајд, 29. март 1896- Лиденшајд, 24. децембар 1962 је био немачки математичар најпознатији по Акермановој функцији, важном примеру у теорији израчунљивости.
Wilhelm Ackermann(March 29, 1896, Herscheid municipality, Germany – December 24, 1962 Lüdenscheid, Germany) was a German mathematician best known for the Ackermann function, an important example in the theory of computation….Wilhelm Friedrich Ackermann; Хершајд, 29. март 1896- Лиденшајд,24. децембар 1962 је био немачки математичар најпознатији по Акермановој функцији, важном примеру у теорији израчунљивости.
Wilhelm Friedrich Ackermann(29 March 1896- 24 December 1962)was a German mathematician best known for the Ackermann function, an important example in the theory of computation.Овај број је конструисан техником сличном примењивању Акерманове функције на саму себе рекурзивно.
This number is constructed with a technique similar to applying the Ackermann function to itself recursively.Obe stranke odbacuju Akermanovu taktiku.
Both parties are repudiating Van Ackerman 's tactics.Требају ми два добровољца. који знају Акерманову фацу.
I need two volunteers that know David Ackerman's face.Постоји карактеризација примитивних рекурзивних функција као подскуп укупних рекурзивних функција које користе Акерманову функцију.
There is a characterization of Veoma sam ponosna što su me zamolili da uručim prvu Akermanovu nagradu za humanost.
So it is with great pride that I've been asked to present the first annual Ackerman Humanitarian Award to Jordan Wethersby.Ови алгоритми захтевају амортизовано O( α( n)) време операције, код којих додајући чворове и путеве, и одређивање повезане компоненте, где су обе операција, и α( n)је врло споро растућа инверзна, од врло брзо растуће Акерманове функције.
These algorithms require amortized O(α(n)) time per operation, where adding vertices and edges and determining the connected component in which a vertexfalls are both operations, and α(n) is a very slow-growing inverse of the very quickly-growing Ackermann function.Потпуност логике првог реда је лака последица резултата које је Скулем доказао почетком 1920-их година и дискутовао у раду Скулем( 1928), али није нагласио ову чињеницу, можда зато штоматематичари и логичари нису постали потпуно свесни потпуности као фундаменталног математичког проблема док га 1928. године прво издање Хилбертовог и Акермановог рада Принципи математичке логике није јасно артикулисало.
The completeness of first-order logic is a corollary of results Skolem proved in the early 1920s and discussed in Skolem(1928), but he failed to note this fact, perhaps because mathematicians andlogicians did not become fully aware of completeness as a fundamental metamathematical problem until the 1928 first edition of Hilbert and Ackermann's Principles of Mathematical Logic clearly articulated it.Потпуност логике првог реда је лака последица резултата које је Скулем доказао почетком 1920-их година и дискутовао у раду Скулем( 1928), али није нагласио ову чињеницу, можда зато штоматематичари и логичари нису постали потпуно свесни потпуности као фундаменталног математичког проблема док га 1928. године прво издање Хилбертовог и Акермановог рада Принципи математичке логике није јасно артикулисало.
The completeness of first-order logic is an easy corollary of results Skolem proved in the early 1920s and discussed in Skolem(1928), but he failed to note this fact, perhaps because mathematicians andlogicians did not become fully aware of completeness as a fundamental metamathematical problem until the 1928 first edition of Hilbert and Ackermann's"Principles of Theoretical Logic" clearly articulated it.
