02360nam a22003377i 450000500170000000600190001700700030003600800410003902000180008002000180009804000230011604100080013908200210014710000490016824500380021725000070025526400630026230000640032533600270038933700330041633800280044949000320047750400410050950505610055052007040111165000460181565000490186165000490191065000330195970000300199220251030135934.0a|||||r|||| 00| 0 t|240529s2020       ||||| |||| 00| 0 spa d  a9789587149364  a9789587149371  bspaaCO-ViULLerda0 aspa04a511.3bAC1742231 aAcevedo Vélez, Diana Patriciaeautor.4aut10aLógica y teoría de conjuntos.  a1. 1aMedellín :bEditorial Universidad de Antioquía,c2020.  a188 páginas :bIncluye ilustraciones ;c25 centímetros.  atextobtxt2rdacontent  asin mediaciónbn2rdamedia  avolumenbnc2rdacarrier1 aFormación / Matemáticas  aIncluye bibliografía (pp. 185-186)8 aSistemas 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.   aLó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) 7aTeoría de conjuntosvProblemas.2Armarc 7aLógica simbólica y matemática.2Armarc 7aAdquisición de conjuntos de datos.2Armarc 7aLógica algebraica.2Armarc1 aArango Parra, Juan Carlos