LIBROS DEL AUTOR: alonzo church

2 resultados para LIBROS DEL AUTOR: alonzo church

alonzo church Eliminar filtro Quitar filtros
  • Introduction to Mathematical Logic
    Alonzo Church
    Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calc...
    Disponible

    122,70 €

  • The Calculi of Lambda-Conversion
    Alonzo Church
    The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer scienceThis book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B. Rosser. The first four chapters present the calculus of lambda-conversion in det...
    Disponible

    79,85 €