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

The Annotated Turing

Main
The Annotated Turing

The Annotated Turing

Charles Petzold

5.0 / 5.0

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

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

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

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

Рік:

2023

Файл:

PDF, 15.03 MB

IPFS:

,

2023

Завантажити (pdf, 15.03 MB)

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

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

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

Skoudis Ed; Liston Tom — Counter Hack Reloaded: A Step-By-Step Guide to Computer Attacks and Effective Defenses

Charles Petzold — The Annotated Turing

Sieg Wilfried — Godel on Computability

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

R. O. Gadny and C. E. M. Yates — Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

Charles Petzold — The Annotated Turing

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

David Leavitt — The Man Who Knew Too Much

www.eBooks-IT.org — www.eBooks-IT.org

Avigad J. — Computability and incompleteness. Lecture notes

Jones. — Exposition of undecidability

Stephen C Kleene — Turing's Analysis of Computability and Major Applications of it (Oxford

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

B. Jack Copeland, Carl J. Posy, Oron Shagrir — Computability: Turing, Gödel, Church, and Beyond

Joel David Hamkins; — Lectures on the Philosophy of Mathematics

Joel David Hamkins; — Lectures on the Philosophy of Mathematics

Martin Davis — The Universal Computer: The Road from Leibniz to Turing

Leavitt David — The Man Who Knew Too Much: Alan Turing and the Invention of the Computer

David Leavitt — The Man Who Knew Too Much

R.O. Gandy, C.E.M. Yates (eds.) — Collected works of A. M. Turing. Volume 4: Mathematical Logic

Charles Petzold — The annotated Turing: A guided tour through Alan Turing's historic paper

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

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

Martin Davis — Computability and unsolvability

Richard L. Epstein, Walter A Carnielli — Computability: computable functions, logic, and the foundations of mathematics

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

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

Cori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol (eds.) — Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.) — Logic Colloquium 2000

Adam Olszewski, Jan Wolenski, Robert Janusz (eds.) — Church's Thesis After 70 Years

Adam Olszewski (editor); Jan Wolenski (editor); Robert Janusz (editor) — Church's Thesis After 70 Years

Petr Hajek — Goedel '96: Proc. Brno 1996

Judson Chambers Webb (auth.) — Mechanism, Mentalism and Metamathematics: An Essay on Finitism

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