INTRODUCCION A LA TEORIA DE LA LOGICA - José Luis Zalabardo, JOSE LUIS ZALABARDO

Autor: José Luis Zalabardo, JOSE LUIS ZALABARDO

ISBN: 8420678856

EAN: 9788420678856

Este manual proporciona una introduccion rigurosa a los conceptos y resultados fundamentales de la logica contemporanea. Tambien presenta las herramientas matematicas, principalmente de la teoria de conjuntos, necesarias para comprender los aspectos tecnicos de la disciplina e introduce los metodos principales de definicion y prueba, prestando especial atencion a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro sera especialmente util para los lectores que pretendan acometer un estudio serio de la logica pero que carezcan de los conocimientos matematicos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoria basica de conjuntos, sintaxis y semantica proposicional y de primer orden, un sistema deductivo basado en el calculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la logica de primer orden, prestando especial atencion a los teoremas de Lowenheim y Skolem y a los modelos no estandar de la aritmetica, la decidibilidad, teorias completas, categoricidad y eliminacion de cuantificadores.