Сбор средств 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

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

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

Ключевые слова