TY  - BOOK
AU  - Acevedo Vélez,Diana Patricia
AU  - Arango Parra,Juan Carlos
TI  - Lógica y teoría de conjuntos
T2  - Formación / Matemáticas
SN  - 9789587149364
U1  - 511.3 23
PY  - 2020///
CY  - Medellín
PB  - Editorial Universidad de Antioquía
KW  - Teoría de conjuntos
KW  - Problemas
KW  - Armarc
KW  - Lógica simbólica y matemática
KW  - Adquisición de conjuntos de datos
KW  - Lógica algebraica
N1  - Incluye bibliografía (pp. 185-186); Sistemas formales. -- Profundización. -- Lógica proposicional. -- Proposiciones y conectores. -- Proposiciones compuestas. -- Tautologías, interminaciones y contradicciones. -- Circuitos lógicos. -- Sistema formal. -- Reglas de formación. -- Axiomas. -- Reglas de inferencia. -- Teoremas. -- Lógica cuantificacional. -- Nociones preliminares. -- Métodos de demostración. --  Ejemplos de lógica proposicional. -- Teoría de conjuntos. -- Relaciones. -- Ideas preliminares. -- Relaciones binarias. -- Relaciones definidas sobre conjuntos.
N2  - Lógica y teoría de conjuntos reúne notas de clase que han enriquecido durante años el curso que lleva este nombre en la Licenciatura en Matemáticas y Física, en la que los autores han sido parte activa como estudiantes y como docentes. El curso se ha enfocado en la formalidad de las matemáticas (lógica clásica) y en la interpretación de esta. Los estudiantes tienen en sus manos un libro que les servirá de apoyo en el curso mencionado y en otros, como como Cálculo (conjuntos y relaciones) y Estadística (conjuntos), pero, sobre todo, lo encontrarán útil para los cursos de Análisis y de Sistemas y Estructuras (inducción, métodos de demostración, conjuntos)
ER  -