Produktbild: Alan Turing

Alan Turing His Work and Impact

96,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.05.2013

Herausgeber

S. Barry Cooper + weitere

Verlag

KNV Besorgung

Seitenzahl

944

Maße (L/B/H)

28,7/22,2/5,3 cm

Gewicht

2812 g

Sprache

Englisch

ISBN

978-0-12-386980-7

Beschreibung

Portrait

Cooper, S. Barry
Barry Cooper is Professor of Mathematical Logic at the University of Leeds. A graduate of the University of Oxford, his research follows that of Alan Turing in its focus on the nature of mental and physical computation. Author and editor of numerous books, including Computability Theory, New Computational Paradigms, and Computability in Context, he is a leading advocate of multidisciplinary research at the interface between what is known to be computable, and theoretical and practical incomputability.
Jan van Leeuwen is professor at the Department of Information and Computing Sciences at Utrecht University. He received a Ph.D. in mathematics in 1972 from the same institution. After having held several positions in computer science in the US, he returned to Utrecht as a faculty member in 1977. He was head of department from 1977 to 1983 and from 1991 to 1994, and served as dean from 1994 to 2009. His research interests extend to many branches of the theory and philosophy of computer science. He is a member of the Academia Europae, is the first recipient of a Distinguished Lorentz Fellowship Prize in the Netherlands, and holds an honorary doctorate from RWTH Aachen University.

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.05.2013

Herausgeber

Verlag

KNV Besorgung

Seitenzahl

944

Maße (L/B/H)

28,7/22,2/5,3 cm

Gewicht

2812 g

Sprache

Englisch

ISBN

978-0-12-386980-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Alan Turing
  • Part I: How Do We Compute? What Can We Prove?
    1.Alan Mathison Turing
    2.On Computable Numbers, with an Application to the Entscheidungsproblem
    3.On Computable Numbers, with an Application to the Entscheidungsproblem - correction
    4.Review of Turing 1936-7
    5.Computability and ¿-definability
    6.The p-function in ¿-K-conversion
    7.Systems of Logic based on Ordinals
    8.A Formal Theorem in Church's Theory of Types
    9.The Use of Dots as Brackets in Church's System
    10.Practical Forms of Type Theory
    11.The Reform of Mathematical Notation

    Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory.
    1.On the Gaussian Error Function
    2.A Method for the Calculation of the Zeta-function
    3.Some Calculations of the Riemann Zeta-function
    4.On a Theorem of Littlewood
    5.The Word Problem in Semi-groups with Cancellation
    6.Solvable and Unsolvable Problems
    7.The Word Problem in Compact Groups
    8.On Permutation Groups
    9.Rounding-off Errors in Matrix Processes
    10.A Note on Normal Numbers
    11.Turing's treatise on the Enigma (Prof's Book); Report by Turing on U. S. Navy cryptanalytic work and their machinery, November 1942; Speech System 'Delilah' - report on progress, 6 June 1944; Checking a Large Routine; An early program proof by Alan Turing; Programmers' Handbook for the Manchester electronic computer; Local Programming Methods and Conventions

    Part III: Building a Brain: Intelligent Machines, Practice and Theory.
    1.Lecture to the London Mathematical Society
    2.Intelligent Machinery
    3.Computing Machinery and Intelligence
    4.Chess; Solvable and Unsolvable Problems
    5.Intelligent Machinery: A heretical theory; Can digital computers think?; Can automatic calculating machines be said to think?
    6.Some Remarks on the Undecidability Results

    Part IV: The Mathematics of Emergence: The Mysteries of Morphogenesis.
    1.The Chemical Basis of Morphogenesis
    2.A Diffusion Reaction Theory of Morphogenesis in Plants
    3.Morphogen Theory of Phyllotaxis; Geometrical and Descriptive Phyllotaxis; Chemical Theory of Morphogenesis; A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry
    4.Outline of the Development of the Daisy