TY  - BOOK
AU  - Acevedo Vélez,Diana Patricia
AU  - Arango Parra,Juan Carlos
TI  - Lógica y teoría de conjuntos
T2  - Colección Formación / Matemáticas
SN  - 958714936X
U1  - 511 
PY  - 2020///
CY  - Medellín
PB  - Editorial Universidad de Antioquia
KW  - Relaciones (Matematicas)
KW  - Teoría de conjuntos
KW  - Lógica proposicional
KW  - Lógica simbólica y matemática
KW  - lemb
N1  - Introducción --; Capítulo 1: Sistemas formales --; Capítulo 2: Lógica proposicional --; 2.1 Proposiciones y conectores --; 2.2 Ejercicios --; 2.3 Sistema formal --; 2.6 Argumentación, razonamiento e inferencia --; Capítulo 3: Lógica cuantificacional --; 3.1 Nociones preliminares --; 3.2 Sistema formal --; 3.3 Inferencias --; Capítulo 4: Métodos de demostración --; 4.1 Introducción --; 4.2 Método directo --; 4.3 Método del contraejemplo --; 4.4 Método de casos --; 4.5 Método del contrarrecíproco --; 4.6 Método indirecto --; 4.7 Inducción matemática --; Capítulo 5: Teoría de conjuntos --; 5.1 Ideas preliminares --; 5.2 Sistema formal --; 5.3 Operaciones entre conjuntos --; 5.4 Situaciones problema --; 5.5 Conjunto de partes --; Capítulo 6: Relaciones --; 6.1 Introducción --; 6.2 Producto cartesiano --; 6.3 Relaciones binarias --; 6.4 Relaciones definidas sobre conjuntos --
; Bibliografía
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  -