Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Ordinal computability. An introduction to infinitary...

Main
Mathematics
Ordinal computability. An introduction...

Ordinal computability. An introduction to infinitary machines

Carl M

0 / 5.0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Рік:

2019

Видавництво:

De Gruyter

Мова:

english

Сторінки:

343

ISBN 10:

3110496151

ISBN 13:

9783110496154

Файл:

PDF, 1.78 MB

IPFS:

,

english, 2019

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

Виконується конвертація в

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

Можливо вас зацікавить

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Avigad J. — Computability and incompleteness. Lecture notes

— Foundations of Mathematics 001

Avigad J. — Computability and Incompleteness

S. Barry Cooper & Jan Van Leeuwen — Alan Turing

Bilaniuk S. — A Problem Course in Mathematical Logic

Copeland B.J., et al. (eds.) — Computability: Turing, Goedel, Church, and beyond

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

Jerome Malitz — Introduction To Mathematical Logic: Set Theory, Computable Functions, Model Theory

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

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Rebecca Weber — Computability theory

Greenberg N., Hirschfeldt D., Hamkins J.D., Miller R. (eds.) — Effective Mathematics of the Uncountable

S. Barry Cooper — Computability Theory

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

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero — Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Merlin Carl — Ordinal Computability: An Introduction to Infinitary Machines

Merlin Carl — Ordinal Computability: An Introduction to Infinitary Machines

Jarkko Kari, Florin Manea, Ion Petre (eds.) — Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.) — Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

Eric Allender (auth.), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.) — Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

Barry S. Cooper, Anuj Dawar, Benedikt Löwe, (eds.) — How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 Cambridge, UK, June 18-23, 2012 Proceedings

Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang — Computational Prospects of Infinity II: Presented Talks (Lecture Notes Series, Institute for Mathematical Sciences, N)

Ключові фрази