„Rekursive Funktionen“

Suchergebnisse

1.000+ Treffer

• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. X + 246 S. m. 3 Abb. Berlin/Göttingen/Heidelberg 1961. Springer‐Verlag. Preis geb. DM 49,80
  Kämmerer
• schnorr, c. p., Rekursive Funktionen und ihre Komplexität, Stuttgart. Teubner. 1974. 192 S., DM 24,80. Teubner Studienbücher Informatik.
  Bachmann, K.‐H.
• Grundkurs Theoretische Informatik – Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen
  Vossen, Gottfried ; Witt, Kurt-Ulrich 2016 Springer Fachmedien Wiesbaden
• Grundkurs Theoretische Informatik
  1992 Vieweg+Teubner Verlag
• Grundkurs Theoretische Informatik – Eine anwendungsbezogene Einführung – Für Studierende in allen Informatik-Studiengängen
  2011 Vieweg+Teubner Verlag
• Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen
  Bonk, Thomas 1995 LRZ
• Logik für die Informatik – Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Algorithmen und rekursive Funktionen
  Malcev, A. I. 1974 De Gruyter
• Eine Klassifikation der mehrfach-rekursiven Funktionen
  Schwichtenberg, Helmut
• Eine Klassifikation der mehrfach-rekursiven Funktionen
  Schwichtenberg, Helmut 1968
• Grundkurs Theoretische Informatik – eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen
  Vossen, Gottfried ; Witt, Kurt-Ulrich 2016 Springer Vieweg
• Zur Klasseneinteilung der rekursiven Funktionen nach Kleene
  Rödding, Klaus 1967
• Algorithmen und rekursive Funktionen
  Malcev, A. I. 1974 De Gruyter
• Berechenbarkeit – rekursive und programmierbare Funktionen
  Felscher, Walter 1993 Springer
• Beweistheoretische Techniken zur Bestimmung von Π-02-Skolem-Funktionen [Pi02-Skolem-Funktionen]
  Blankertz, Benjamin
• Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit – Einführung in d. Theorie d. rekursiven Funktionen
  Hermes, Hans 1961 Springer
• Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen
  Bonk, Thomas
• Algorithmisches Lernen von Funktionen und Sprachen
  Zeugmann, Thomas
• Rekursionstheorie und akzeptable Strukturen
  Hülsermann, Martin