Examples of using Rekursive funktioner in Danish and their translations into English
{-}
- 
                        Colloquial
                    
- 
                        Official
                    
- 
                        Medicine
                    
- 
                        Financial
                    
- 
                        Ecclesiastic
                    
- 
                        Official/political
                    
- 
                        Computer
                    
Kleene's forskning var på teorien om algoritmer og rekursive funktioner.
Rekursive funktioner blev opfundet i 1920 s, i Hilbert skolen, men ikke meget var vist om dem.
Soc. Så den største bidragyder til den særlige teori om rekursive funktioner.
Teorien for rekursive funktioner som Post var medstifter er nu næsten dobbelt så gammel som da jeg skrev dette brev.
I 1976 hendes sidste bog var om dette emne Rekursive funktioner i Computer Theory.
På den anden side, blev det Kleene der, efter at have deltaget Gödel's forelæsninger,udviklede teorien om generelt(herunder delvis) rekursive funktioner;
Quine indsættes i 1972: Teorien for rekursive funktioner som Post var medstifter er nu næsten dobbelt så gammel som da jeg skrev dette brev.
Han var også interesseret i summability teori,uendeligt spil og rekursive funktioner.
Teorien for rekursive funktioner som Post var medstifter er nu næsten dobbelt så gammel som da jeg skrev dette brev. Sikke et frugtbart område har det vist sig at være.
Senere arbejde med posten var medvirkende til yderligere fremskridt i teorien om rekursive funktioner.
Udvikling af idéer Herbrand,Gödel defineret det mere generelle»almindelige« rekursive funktioner(som Ackermann's funktion  tilhører) i hans Princeton forelæsninger 1933-34;
Jeg beundrer det arbejde, og det kan godt være sagt, at hun forfalskede, med hendes bare hænder,teorien om primitive rekursive funktioner i eksistens.
I 1965 hun offentliggjort den kreative apparater ogindekser for delvis rekursive funktioner, som undersøgte sæt af indekser for delvis rekursive funktioner og rekursivt enumerable sæt.
Dette vigtige antallet theoretic koncept… blev opdaget uafhængigt… af fire matematikere, og en af disse var Post.Senere arbejde med posten var medvirkende til yderligere fremskridt i teorien om rekursive funktioner.
I en række artikler, der begynder i 1934,Péter udviklet forskellige dybe teoremer om primitive rekursive funktioner, de fleste af dem med en eksplicit algoritmisk indhold.
I 1923 Skolem også udviklet en teori om rekursive funktioner som et middel til at undgå den såkaldte paradokser i den uendeligt i sit papir begrundelse, der elementären Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnugsbereich.
På den anden side, blev det Kleene der, efter at have deltaget Gödel's forelæsninger,udviklede teorien om generelt(herunder delvis) rekursive funktioner; dette er en langt mere konceptuel end computerkraft område.
Ud over arbejdet med Hilbert's tiende Problem Robinson skrev også andre vigtige matematik papirer:om generelle rekursive funktioner(1950), den primitive rekursive funktioner(1955), om undecidability af algebraisk ringe og felter(1959) og om afgørelsen problemer for algebraisk ringe i 1962, hvor hun viste, at ringe af heltal i forskellige områder af algebraisk numre er undecidable.
Walter Felscher i en personlig meddelelse til mig[EFR],der beskrives inden for rammerne af Péter's arbejde med rekursiv funktion teori: Rekursive funktioner blev opfundet i 1920 s, i Hilbert skolen, men ikke meget var vist om dem.
Fejl 76: Rekursiv funktion kan ikke differentieres.
Rekursiv funktion ikke tilladt.
Hun offentliggjort papirer om matematisk logik, rekursiv funktion teori, og teoretiske datalogi.
Fra midten af 1950'erne Péter anvendes rekursiv funktion teori til computere.
Det er ikke muligt at differentiere en rekursiv funktion, fordi udtrykket for den afledede funktion  vil fortsætte i det uendelige.
Han foreslog Péter undersøge Gödel's arbejde ogi en række papirer hun blev en af stifterne af rekursiv funktion teori.
Walter Felscher i en personlig meddelelse til mig[EFR],der beskrives inden for rammerne af Péter's arbejde med rekursiv funktion teori.
Softwaren vil scanne valgte mappe og alle undermapper(Hvis rekursiv funktion aktiveret), finde alle eml.
I 1928, Ackermann observeret, at A(x, y, z), z-fold iterated exponentiation af x med y,er et eksempel på en rekursiv funktion, som ikke er primitiv rekursiv. .
Ii Skriv en rekursiv funktion og kalder det i en SQL SELECT-sætningen. Dit svar skal omfatte kilden og en køre â €“”en SQL Plus session print vil være fint.
Færdigheder: Den studerende skal kunne definere hvad det vil sige at en formel er opfyldt i en strukture, skal kunne redegøre for aksiomerne i det deduktive system,definere begrebet rekursiv funktion, samt rekursiv  kodning af syntax. Dertil skal den studerende kunne bevise deduktionssætningen, korrekthedssætningen, og Gödels ufuldstændighedssætening.