Una introducción matemática a la lógica
Herbert B. Enderton
Licencia de minería de texto y datos
Esta publicación no tiene una declaración de licencia TDM (minería de texto y datos) registrada. La editorial titular puede declararla desde su cuenta en SIMEH; quedará publicada aquí con fecha y hora certificadas.
Formatos
| Formato | ISBN | Recordreference | DOI | Año |
|---|---|---|---|---|
| Impreso · ed. 2 | 9789703221448 | SIMEHPRINT1FND8ASV4OAA3B7NFACF | — | 2021 |
Sobre esta obra
Este libro es una introducción accesible a la lógica matemática y está dirigido al lector que tiene alguna experiencia e interés en el razonamiento matemático y disposición para trabajar a cierto nivel de abstracción y rigor. Las modificaciones hechas en esta segunda edición lo hacen apropiado para los cursos de posgrado o de estudiantes avanzados de licenciatura; además, se han incluido temas relevantes para la ciencia de la computación, como los modelos finitos, y se han agregado más ejemplos y explicaciones a los que ofrecía en su primera edición. Es un texto flexible que, por su estructura y manera de abordar los temas, se presta a que el lector o el profesor lo aproveche según sus necesidades, adecuando el orden de estudio de algunas de sus secciones.