Computability Theory: An Introduction

Main
Mathematics
Computability Theory: An Introduction

Computability Theory: An Introduction

Neil D. Jones

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Kategorie:

Rok:

1973

Wydawnictwo:

Academic Press

Język:

english

Strony:

166

ISBN 10:

1483205053

ISBN 13:

9781483205052

Plik:

PDF, 6.79 MB

IPFS:

,

english, 1973

Czytaj Online

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

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

Najbardziej popularne frazy