02415nam a22003617i 4500 20251030135934.0 a|||||r|||| 00| 0 t| 240529s2020 ||||| |||| 00| 0 spa d 9789587149364 9789587149371 spa CO-ViULL rda spa 511.3 AC174 23 Acevedo Vélez, Diana Patricia 162103, autor. aut Lógica y teoría de conjuntos. 1. Medellín : Editorial Universidad de Antioquía, 2020. 188 páginas : Incluye ilustraciones ; 25 centímetros. texto txt rdacontent sin mediación n rdamedia volumen nc rdacarrier Formación / Matemáticas 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. 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) Teoría de conjuntos Problemas. Armarc 162104 Lógica simbólica y matemática. Armarc 10427 Adquisición de conjuntos de datos. Armarc 162105 Lógica algebraica. Armarc 87205 Arango Parra, Juan Carlos 162106. ddc BK 47774 47774 0 0 ddc 0 0 001 001 GEN 2024-05-29 Reposición 0 511.3 AC174 087438 2024-05-29 00:00:00 Ej.:1 2024-05-29 LMF BK Libro de reposición por pérdida del 005500.