Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Computability Theory: An Introduction

Main
Mathematics
Computability Theory: An Introduction

Computability Theory: An Introduction

Neil D. Jones

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Έτος:

1973

Εκδότης:

Academic Press

Γλώσσα:

english

Σελίδες:

166

ISBN 10:

1483205053

ISBN 13:

9781483205052

Αρχείο:

PDF, 6.79 MB

IPFS:

,

english, 1973

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Herbert B. Enderton — Computability Theory: An Introduction to Recursion Theory

Nigel Cutland — Computability : An Introduction to Recursive Function Theory

Per Martin-Löf — Notes on Constructive Mathematics

Michael O. Rabin — Effective computability of winning strategies

Avigad J. — Computability and incompleteness. Lecture notes

Avigad J. — Computability and Incompleteness

Enderton H.B. — A mathematical introduction to logic

Enderton H. — Computability theory: An introduction to recursion theory

Neil D. Jones and Robert L. Ashenhurst (Auth.) — Computability Theory. An Introduction

Ann Yasuhara — Recursive function theory and logic

Mallozzi J.S., De Lillo N.J. — Computability with PASCAL

Grzegorz Rozenberg and Arto Salomaa — Cornerstones of undecidability

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

Edward R. Griffor (ed.) — Handbook of Computability Theory

Martin Davis — Computability and unsolvability

S. Barry Cooper, John K. Truss — Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

S. Barry Cooper, John K. Truss — Models and computability: Invited papers from Logic Colloquium ’97

Daniel E. Cohen — Computability and Logic

N. K. Vereshchagin, A. Shen — Computable functions

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

Nigel Cutland — Computability

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

S. Barry Cooper, Sergey S. Goncharov (auth.) — Computability and Models: Perspectives East and West

Yuri L. Ershov, Sergey Goncharov — Constructive Models

Klaus Weihrauch — Computability

Anatolii Ivanovič Mal’cev — Algorithms and recursive functions

Φράσεις κλειδιά