Recursive functions

Main
Computers
Recursive functions

Recursive functions

Rozsa Peter

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Tahun:

1967

Edisi:

3rd

Penerbit:

Academic Press

Bahasa:

english

Halaman:

301

Fail:

DJVU, 1.82 MB

IPFS:

,

english, 1967

Baca dalam Talian

Memuat turun (djvu, 1.82 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Циолковский К.Э. — Труды по ракетной технике

Перля Я.З. — Как работает радиолокатор

Перля З. — Чудесные станки

Edward Angel and Richard Bellman (Eds.) — Dynamic Programming and Partial Differential Equations

Masanao Aoki (Eds.) — Optimization of Stochastic Systems: Topics in Discrete-Time Systems

C. Berge (Eds.) — Principles of Combinatorics

Aristotle — On the Soul: And Other Psychological Works

Richard P. Gabriel — Performance and evaluation of LISP systems

Brian Harvey, Matthew Wright, Harold Abelson — Simply SCHEME: introducing computer science

Daniel P. Friedman, Matthias Felleisen, Duane Bibby, Gerald J. Sussman — The Little Schemer

Hartley Rogers — Theory of Recursive Functions and Effective Computability

J. Donald Monk — Mathematical Logic

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

A.B. Kharazishvili (Eds.) — Nonmeasurable Sets and Functions

L. Lovász and M.D. Plummer (Eds.) — Matching Theory

Piergiorgio Odifreddi — Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Rozsa Peter, Z. P. Dienes — Playing with Infinity. Mathematical Explorations and Excursions

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Larry Schumaker — Spline Functions: Basic Theory

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

M. O. Deville, P. F. Fischer, E. H. Mund — High Order Methods for Incompressible Fluid Flow

Dr.-Ing. Lutz Laemmer (auth.), Gianfranco Bilardi, Afonso Ferreira, Reinhard Lüling, José Rolim (eds.) — Solving Irregularly Structured Problems in Parallel: 4th International Symposium, IRREGULAR'97 Paderborn, Germany, June 12–13, 1997 Proceedings

Kurt Mehlhorn (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.) — Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

Баранов Л.А. — Квантование по уровню и временная дискретизация в цифровых системах управления

Рабинович Б.И., Брусиловский А.Д. — От баллистической ракеты Р1 до космического комплекса Энергия-Буран

Rozsa Peter — Recursive functions, 3rd edition

S.C. Kleene — Introduction to Metamathematics

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. III: Unpublished Essays and Lectures (Oxford, 1995)

Harold Simmons — Forms of recursion and induction [expository notes]

Yehoshua Bar-Hillel — Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress

Anton Setzer — Logik MN2

E. Börger — Computability, complexity, logic

L.E. Sanchis — Recursive functionals

Robert McNaughton — Elementary Computability, Formal Languages, and Automata

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay — Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

R. Gregory Taylor — Models of Computation and Formal Languages

William Tait — The provenance of pure reason: Essays in the philosophy of mathematics and its history

H. E. Rose — Subrecursion: Functions and Hierarchies

Thompson S. — Haskell: The craft of functional programming

R. L. Goodstein — Development of Mathematical Logic

Joseph R. Shoenfield — Recursion Theory

Goodstein R.L. — Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

Istilah utama