Computability and computational complexity : a practical introduction to the mathematical theory of computing /
Zerpa Morloy, Levis Ignacio
Computability and computational complexity : a practical introduction to the mathematical theory of computing / Levis Zerpa y Roberth Narváez - Second edition - 204 pages : illustrations ; 24 cm
Includes bibliographical references (pages 197-204) and index.
1 Introduction: solving the logico-philosophical problem of computability theory --
2 Lambda-calculus: basic concepts, currying, syntax --
3 Lambda-calculus: substitution, reduction, Church-Rosser theorem --
4 Lambda-calculus: outline of the application to computability --
5 Lambda-calculus: all computable functions are lambda-definable --
6 Lambda-calculus: undecidability --
7 The weak call-by-value lambda-calculus and Turing machines --
8 Brief introduction to time complexity
9789942874733
Computability theory
Complexity theory
Logic, Symbolic and mathematical
Discrete mathematics
005.1
Computability and computational complexity : a practical introduction to the mathematical theory of computing / Levis Zerpa y Roberth Narváez - Second edition - 204 pages : illustrations ; 24 cm
Includes bibliographical references (pages 197-204) and index.
1 Introduction: solving the logico-philosophical problem of computability theory --
2 Lambda-calculus: basic concepts, currying, syntax --
3 Lambda-calculus: substitution, reduction, Church-Rosser theorem --
4 Lambda-calculus: outline of the application to computability --
5 Lambda-calculus: all computable functions are lambda-definable --
6 Lambda-calculus: undecidability --
7 The weak call-by-value lambda-calculus and Turing machines --
8 Brief introduction to time complexity
9789942874733
Computability theory
Complexity theory
Logic, Symbolic and mathematical
Discrete mathematics
005.1