Libros

Lógica y teoría de conjuntos, de Carlos Ivorra Castillo

El abanico de temas de la matemática es inmenso. Son tantos, que no alcanza el tiempo para profundizar en todos. Hoy vamos a hablar de un libro sobre la lógica y teoría de conjuntos. Un libro gratuito que puede descargarse de la biblioteca OpenLibra. Nada pequeño, más de 400 páginas en total.

Los temas del principio del libro trata sobre lenguajes formales, un tema que se estudia en la materia Pensamiento Científico en el CBC de la UBA. Por lo tanto, pueden tener en cuenta este texto para complementarlo con los apuntes oficiales.

Lógica y teoría de conjuntos

El libro se divide en tres grande partes y cada una de ellas trata resumidamente sobre lo siguiente:

  1. Lógica de primer orden. Lenguajes formales de primer orden, sistemas deductivos formales, modelos, la completitud semántica, teoría de la recursión, teorías aritméticas, incompletitud.
  2. La lógica de la teoría de conjuntos. Los axiomas de la teoría de conjuntos, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos.
  3. La teoríad de conjuntos. Números ordinales, relaciones bien fundadas, números cardinales, la exponenciación cardinal, conjuntos cerrados no acotados.

Luego tiene dos apéndices: Conceptos elementales de la teoría de conjuntos y Complementos sobre aritmética.

Vale aclarar lo bien editado que está este volumen. Títulos, subtítulos, ejemplos y nomenclatura, todo con su formato correcto, tal como si fuera un libro comercial.

El autor, Carlos Ivorra, es docente en la Universidad de Valencia, en la Facultad de Economía. En su web oficial pueden encontrar más libros vinculados a la matemática.

Como aclaré anteriormente, está disponible para descargar de forma gratuita o para ver online de OpenLibra, la biblioteca libre. Ocupa unos 3.82 Mb y fue publicado en el año 2011.

Enlace: Lógica y teoría de conjuntos

1 Comentario

Deja un comentario

Alejandro De Luca
Soy programador web. Rebelde autodidacta y cafeinómano. Vivo comparando la vida real con Los Simpsons. Creé Mentes Liberadas para compartir consejos, recursos y herramientas para la escuela y la universidad. Vivo en Buenos Aires, Argentina.