Rekursive Funktionen

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783540430940
3540430946

Umfang: 86 S.

Sprache: Deutsch

Schlagwort: Rekursive Funktion

Ereignis: Veröffentlichung

(wo): Berlin, Heidelberg, New York, Barcelona, Hongkong, London, Mailand, Paris, Tokio

(wer): Springer

(wann): 2002

Urheber: Lüneburg, Heinz

Inhaltsverzeichnis: https://d-nb.info/96343733X/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.06.2025, 14:24 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Lüneburg, Heinz
Springer

Entstanden

2002

Ähnliche Objekte (12)

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Hochschulschrift

Automatische Synthese rekursiver Programme als Beweisverfahren

Hochschulschrift

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Hochschulschrift

Graphen total rekursiver Funktionen

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Hochschulschrift

Automatische Synthese rekursiver Programme als Beweisverfahren

Hochschulschrift

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Hochschulschrift

Graphen total rekursiver Funktionen

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Hochschulschrift

Automatische Synthese rekursiver Programme als Beweisverfahren

Hochschulschrift

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Hochschulschrift

Graphen total rekursiver Funktionen

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Rekursive Funktionen

Angaben zum Objekt

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Automatische Synthese rekursiver Programme als Beweisverfahren

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Graphen total rekursiver Funktionen

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Automatische Synthese rekursiver Programme als Beweisverfahren

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Graphen total rekursiver Funktionen

Berechenbarkeit : rekursive und programmierbare Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einf. in d. Theorie d. rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in d. Theorie d. rekursiven Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Funktionen

Rekursive Baumfunktionen, 1.. (Primitiv-rekursive Funktionen)

Automatische Synthese rekursiver Programme als Beweisverfahren

Beweistheoretische Charakterisierung der ω3-rekursiven [omega-rekursiven] Funktionen

Graphen total rekursiver Funktionen

Verbundene Objekte

Passwort zurücksetzen