10 LIBRI IN TEDESCO ASSOCIATI CON «REKURSIV»
Scopri l'uso di
rekursiv nella seguente selezione bibliografica. Libri associati con
rekursiv e piccoli estratti per contestualizzare il loro uso nella letteratura.
1
Theoretische Informatik: #NAME?
Wir haben Aussagen des folgenden Typs bewiesen: Falls A rekursiv, ist B
rekursiv. Wir haben relative Aussagen bewiesen. Es ist unmöglich, dass A
rekursiv und B nicht rekursiv ist. Falls wir im Augenblick weder wissen, ob A oder
B rekursiv ...
2
Repetitorium der Informatik
A und B seien zwei rekursiv aufzählbare Teilmengen von N0 mit A U B = N0,
Beweisen Sie: Falls AnB rekursiv ist, so sind A und B rekursiv! Hinweis: Für M,N c
N0 gilt: h 1 ) M ist genau dann rekursiv, wenn M und N0\ M rekursiv aufzählbar ist
...
Barbara Blöchl, Carola Meyberg, 2003
3
Teubner-Taschenbuch der Mathematik. 2 (2003)
Trifft man dabei auf Grundfunktionen, werden sie direkt ausgewertet. Beispiele: 1
) /i : N2 — N. /i(j, y) >— y + 1 ist primitiv rekursiv wegen: fi(x,y) = /V(P22(.r, y)). 2) fo
.W — N. fi(x,y) <— x + y ist primitiv rekursiv wegen: /2(0, y) = P}(y) und h(n + l,y) ...
Günter Grosche, Eberhard Zeidler, 2003
4
Einführung in Formale Sprachen, Berechenbarkeit, ...
Ein Prädikat heißt primitiv rekursiv, falls seine charakteristische Funktion primitiv
rekursiv ist. Seien P und Q r-stellige Prädikate. Dann bezeichne P A Q die Menge
P n Q, P V Q die Menge P U Q und -n P die Menge N£ \ P. Lemma 2.2 Seien P ...
5
Grundkurs Datenbankentwurf: Eine Beispielorientierte ...
Die. Systematik. der. Rekursiv—Beziehungstypen. In diesem Abschnitt wird der
Versuch unternommen, die interessierenden 7 Rekursiv—Beziehungstypen, die
im Abschnitt 2.4.5 nach dem Ausschluss-Verfahren ermittelt wurden, nunmehr ...
6
Davidsons semantisches Programm und deflationäre ...
Martin Fischer. (R5) Wenn F und G rekursive Funktionen sind mit F n-stellig und
G n+2-stellig, dann ist die n+l stellige Funktion H definiert durch H(a1‚.„,a„‚0): F(
a1‚...‚a„) H(al‚.„‚an,k+ l) : G(a1‚...‚a„,k,H(m‚...‚a„,k)) rekursiv. Definition 5.1.10.
Die Funktionen Ausdruck, Term und Faktor sind offensichtlich rekursiv;
tatsächlich sind sie derart miteinander verflochten, daß es keine Möglichkeit gibt,
sie so aufzuzählen, daß jede Funktion deklariert wird, bevor sie benutzt wird (für
manche ...
8
Qualitative Sozialforschung: Einführung, Methodologie und ...
Der Zusammenhang zwischen Mikroereignissen und Makrostrukturen stellt sich
demnach hier so dar, dass einzelne Handlungen als systemspezifische
Handlungen das System herstellen und zwar dadurch, dass die Handlungen "
rekursiv" ...
9
Computer - neue Flügel des Geistes?: die Evolution ...
Es gibt mit anderen Worten keine rekursive Aufzählungsfunktion für alle
rekursiven Funktionen. Da Ü zwar partiell rekursiv ist, aber nicht rekursiv, war die
Anwendung des jU-Operators nicht im Normalfall d. h. nicht für alle p und x gibt
es eine ...
10
Compiler: Prinzipien, Techniken und Werkzeuge
Ein rekursiv absteigender Parser hat wie in Abschnitt 4.4.1 besprochen eine
Funktion A für jedes Nichtterminal A. Wir können den Parser wie folgt zu einem
Übersetzer erweitern: Die Argumente der Funktion A sind die ererbten Attribute
des ...
10 NOTIZIE DOVE SI INCLUDE IL TERMINE «REKURSIV»
Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino
rekursiv nel contesto delle seguenti notizie.
C++17: Neuzugänge in den Bibliotheken
Mit solch einer Schleife kann man übrigens auch rekursiv durch Verzeichnisbäume gehen. Weitere Neuerungen sind Befehle zum Anlegen von Elementen wie ... «heise Developer, nov 16»
Wordpress-Updates schlagen fehl
Wählen Sie dann bei Benutzer und Gruppe wiederum den wp… aus, setzen den Haken bei „rekursiv“ und klicken dann auf Ändern. Jetzt sollte die integrierte ... «c't, ott 16»
Linux-Besitz-, Lese- und Schreibrechte optimal nutzen
Per Klick auf die Schaltfläche „Zugriffsrechte der enthaltenen Dateien ändern“ lassen sich bei Ordnern die Rechte rekursiv für alle enthaltenen Elemente setzen. «PC-Welt, ott 16»
JavaScript: Facebook veröffentlicht npm-Alternative Yarn
... während es in einer anderen scheitert. Yarn überprüft die Abhängigkeit rekursiv und legt sie für bestimmte Versionen kompakt formatiert in einem Lockfile ab. «Heise Newsticker, ott 16»
Vintage Computer Festival Europe – Ein Wochenende unter Nerds ...
Gespielt wird stilecht rekursiv der Aufbau eines Vintage Computing Festivals, das heuer ganz im Zeichen der Praktiker steht. Es ist ein Endspiel: Wenn das 17. «Make Deutschland, apr 16»
Ubuntu: Verzeichnis per Kommando-Zeile umbenennen
... Befehl „mv“ noch den Schalter „-R“ angeben. Der steht für „rekursiv“, verschiebt also den Ordner samt allen enthaltenen Dateien und Unter-Verzeichnissen. «schieb.de, apr 16»
Digitale Pioniere (37): Tony Hoare: Meister der Ordnung
Um 1960 entwickelte Hoare „Quicksort“, einen Algorithmus, der das sehr schnell erledigen kann. Quicksort arbeitet rekursiv, das heißt er teilt die zu sortierende ... «Tagesspiegel, apr 16»
Google Alpha Chess Classic
Mit Hilfe eines großen neuronalen Netzwerkes entwickelt Deepmind derzeit rekursiv eine Anzahl von Master Class Chess Engines, die perfekt im Stil der besten ... «Schach Nachrichten, apr 16»
SZ-Serie - Wer hat Angst vorm weißen Blatt?
Doch der Schreibprozess ist rekursiv, zyklisch, chaotisch." Olival-Bartley spricht Englisch, er ist Amerikaner, Hawaiianer von Oahu. Das erklärt möglicherweise ... «Süddeutsche.de, gen 16»
Die Schönheit der Algorithmen Bestechend brillant
rekursiv. Man wendet dasselbe Verfahren rekursiv auf das linke Teilproblem an und rekursiv auf das rechte Teilproblem. Ich würde hier wieder einen Splitter ... «Deutschlandfunk, gen 16»
