Functions, recursion, lists, user-defined data types.
Dette arbejde var i vid udstrækning på rekursion teori og undecidability.
This work was largely on recursion theory and undecidability.
Rekursion. Når en funktion kalder sig selv flere gange i et program.
Where a specific function Recursion. calls upon itself repeatedly within a program.
Så det er ligesom Georg Cantor sagde, rekursionen fortsætter for evigt.
So it's just like Georg Cantor said, the recursion continues forever.
Rekursionen i nogle af disse landsbyer fortsætter ned til meget små skalaer.
And the recursion in some of these villages continues down into very tiny scales.
DNS-serveren vil ikke udføre rekursion for forespørgsler til andre DNS-servere.
The DNS server will not perform recursion for queries to other DNS servers.
Karp gjorde holde foredrag på Maryland i efteråret 1970 om infinitary logik og rekursion teori.
Karp did give lectures at Maryland in the Fall of 1970 on infinitary logic and recursion theory.
Han udviklede området rekursion teori med kirken, Gödel, Turing og andre.
He developed the field of recursion theory with Church, Gödel, Turing and others.
Dårlig effektivitet strtr() ved hjælp af array med nøgler meget forskellig længde.zend_std_compare_objects nedbrud på rekursion.
Poor efficiency of strtr() using array with keys of very different length.zend_std_compare_objects crash on recursion.
Fix uendelig rekursion i gettext, når oversættelse fejler 611537 og mange andre.
Fix infinite recursion in gettext when translation fails 611537 and many others.
Hans arbejde er af stor betydning i matematisk logik, rekursion teori, og i den teoretiske datalogi.
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Hans arbejde på rekursion teori bidraget til at tilvejebringe grundlaget for teoretisk datalogi.
His work on recursion theory helped to provide the foundations of theoretical computer science.
Når denne variabel analyseres, GNU gøre vil indstille den til den tomme streng, såflagene ikke vil blive gentaget på rekursion.
Once this variable is parsed, GNU make will set it to the empty string so thatflags will not be duplicated on recursion.
Com, at DNS-serveren udfører rekursion ved at forespørge andre DNS-servere for at få svaret.
Com, that DNS server performs recursion by querying other DNS servers to get the answer.
Anvendelsen af inverskategorier som modeller for reversibel programmering med et særligt fokus på modelleringen af reversible løkkestrukturer og rekursion.
Applying inverse categories as models of reversible programming with a particular focus on modelling reversible feedback and recursion.
I 1993 offentliggjorde han Rekursion teori for metamathematics som er en efterfølger til hans 1992 tekst beskrevet ovenfor.
In 1993 he published Recursion theory for metamathematics which is a sequel to his 1992 text described above.
UL4 funktionen Repr håndterer nu rekursive lister/ Jæger-samler- ligner Python Repr dvs. det giver ikke anledning til en undtagelse for uendelig rekursion.
The UL4 function repr now handles recursive lists/dicts similar to Python repr i.e. it doesn't raise an exception for infinite recursion.
Svaret ligger i en gren af matematik kaldes rekursion teori som blev udviklet i løbet af 1930 er af flere matematikere.
The answer lies in a branch of mathematics called recursion theory which was developed during the 1930s by several mathematicians.
En rekursion er noget, der anvendes gentagne gange, og disse 14 billeder er blevet skabt af kunstnere, der bruger rekursionsmønstre.
A recursion is something that is applied repeatedly, and these 14 images have been created by artists using recursion patterns.
En DNS resolver er en DNS-server, der kan udføre rekursion til at løse navne til områder, hvor der DNS-server er ikke autoritativ.
A DNS resolver is a DNS server that can perform recursion to resolve names for domains for which that DNS server is not authoritative.
Hun underviser på dette senere arbejde som beskrevet i:Karp gjorde holde foredrag på Maryland i efteråret 1970 om infinitary logik og rekursion teori.
She lectured on this later work as described in:Karp did give lectures at Maryland in the Fall of 1970 on infinitary logic and recursion theory.
Fix uendelig rekursion i gettext, når oversættelse fejler( 611537 og mange andre). mountmedia: Tilbagestill kernefejlløsning 694082.
Fix infinite recursion in gettext when translation fails( 611537 and many others). mountmedia: Revert kernel bug workaround 694082.
Jeg tog 3 kurser, bestået min prelims, og under den inspirerende vejledning fra Sletningslog Nerode,gjorde alt arbejdet for en afhandling i rekursion teori.
I took 3 courses, passed my prelims, and under the inspiring tutelage of Anil Nerode,did all the work for a dissertation in recursion theory.
I løbet af rekursion, så snart den første fulde celle eller volumen grænse er der, analysen af hele voluminet inde eller udenfor udføres.
In the course of recursion as soon as the first full cell or volume border is there, the analysis of the entire volume inside or outside is performed.
Brug DNS resolvere En DNS resolver er en DNS-server, der kan udføre rekursion til at løse navne til områder, hvor der DNS-server er ikke autoritativ.
Use DNS resolvers A DNS resolver is a DNS server that can perform recursion to resolve names for domains for which that DNS server is not authoritative.
Dybest Karp ønskede at vende tilbage til Gödel's oprindelige bevis-theoretic definitioner af rekursiv sæt menselvfølgelig bruge mere liberale begreber dokumentation med henblik på at opnå generaliseringer af rekursion teori.
Basically Karp wanted to return to Gödel 's original proof-theoretic definitionsof recursive sets but of course using more liberal notions of proof so as to obtain generalisations of recursion theory.
Results: 46,
Time: 0.0342
How to use "rekursion" in a Danish sentence
Rekursion er i lingvistisk sammenhæng muligheden for at lave bl.
Quicksort
Som det sidste indslag i lektionen om rekursion ser vi her på Quicksort.
Hvis du kender konceptet med rekursion og med indre og ydre løkker, sætter du pris på den ydeevne, som tidligere og de TIDLIGste funktioner giver.
Dette omfatter grafalgoritmer, rekursion, del-og-hersk, dynamisk programmering og søgning og sortering.
Jeg kan lide konventionel rekursion, gensidig rekursion og rekursion med ”Backtracking”.
Et sprog uden ledsætninger Rekursion Pirahã kender tilsyneladende ikke til at bruge en sætning som led i en anden.
Rekursiv funktion i C - esprit-mystique.com
En lidet anvendt begreb i C er funktionen rekursion.
Vi skulle undersøge hvor der var rekursion i musikken og hvordan det kom til udtryk.
Aktuelle indeholder underprogrammer, rekursion og en række kontrolstrukturer.
Noam Chomsky, der er professor i lingvistik, hævder, at en universel grammatik vil være karakteriseret ved muligheden for rekursion.
How to use "recursion" in an English sentence
Maybe recursion isn’t that bad after all?
The last recursion question is about graphs.
Control the maximum recursion level for subdirectories.
detecting infeasible paths and making recursion bounds.
infinite recursion loops through manifest content.
Dansk
Deutsch
Español
Suomi
Français
Norsk
عربى
Български
বাংলা
Český
Ελληνικά
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
Italiano
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt
中文