Kozen, Dexter, 1951-

Automata and Computability / Dexter Kozen - 1st ed. - NEW YORK, ESTADOS UNIDOS : SPRINGER, 1997 - xiii , 400 p. ; 24 cm.

The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of compatibility, and to develop some of the of the models rich and varied structures. Students who have alredy some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.

0387949070


COMPUTABLE FUNCTIONS
COMPUTACION
MACHINE THEORY
MATEMATICA PARA COMPUTACION

511.3 / K69