Turing a m newman (3 risultati)
Perspectivas de la Revolucion de los Computadores
Zenon W. Pylyshyn (Editor); J. von Newman; A. M. Turing; Ch. Babbage; H. Aiken; C. E. Shannon; W. G. Walker; (y Otros)
- Brossura
- Prima edizione
Da: La Social. Galería y Libros, Barcelona, B, SpagnaLa Social. Galería y Libros
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 17,99
EUR 25,50 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Encuadernación de tapa blanda. Condizione: Muy bien. 1ª Edición. Título Original: "Perspectives on the Computer Revolution" Traducción de Luis García Llorente. Colección: "Alianza Universidad" Núm. 119. MUY BUEN ejemplar. 700pp + 2h.
- Brossura
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, , DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 385,86
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
(No place), The Association for Symbolic Logic, 1942. Large 8vo. Bound in blue half cloth with silver lettering to spine. In "Journal of Symbolic Logic", Volume 7. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 28-33" 146-156 (Enti…re copy: (4), 180 pp.). First appearance of these two paper's by Turing.Turing's paper "A Formal Theorem in Church's Theory of Types" is a significant contribution to the fields of computer science and mathematical logic. By providing a formal proof within Church's theory, Turing expanded our understanding of computation and its relationship to logic. His work on computability and the theory of types laid the foundation for the development of theoretical computer science, proof theory, and automated reasoning. Turing's paper continues to be a landmark in the study of computation, inspiring further research and practical applications in diverse areas of science and technology. In "The Use of Dots as Brackets in Church's System", introducing the dot parentheses notation, Turing simplified the representation and manipulation of lambda calculus expressions, making them more intuitive and manageable. His work highlighted the relationship between syntax and semantics, laying the foundation for further research in formal semantics and the development of programming languages. Turing's paper continues to be influential, shaping the way complex expressions are represented and reasoned about in the fields of computation, formal systems, and logic.
- Brossura
- Prima edizione
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, , DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 385,86
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
(No place), The Association for Symbolic Logic, 1942, 1943 &1948. Lev8vo. Bound in two uniform red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 7, 8 [Bound together] & 13. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. Minor scratches to extremities of volu…me 13. A fine set. Pp. 28-33" Pp. 80-94. [Entire volumes: IV, 164 pp." IV, 236 pp.). First printing of the two important - but often overlooked - papers by Turing which provide "information about Turing's thoughts on the logical foundations of mathematics which is not to be found elsewhere in his writings". (Copeland, The Essential Turing, P. 206).
