02826nam a2200337uu 45000010008000000030010000080050017000180070003000350080041000380200024000790200027001030350012001300400035001420410008001770820008001851000046001932450097002392500019003362640061003553000041004163360091004574900044005485050955005925200704015476500029022516500026022806500027023066500046023337000040023798300069024191563109CO-MdUADB20260508094402.0ta211005s2020    ck a   fr           spa d  a958714936XqISBN-10  a9789587149364qISBN-13  a1563109  aCO-MdUADBbspacCO-MdUADBerda  aspa 4a51110aAcevedo Vélez, Diana Patricia4auteaut10aLógica y teoría de conjuntos /cDiana Patricia Acevedo Vélez, Juan Carlos Arango Parra  a1.ª edición 1aMedellín :bEditorial Universidad de Antioquia,c2020.  axiii, 186 páginas :bilustraciones  atextobtxt0(uri)http://www.rdaregistry.info/termList/RDAContentType/#10202rdacontent0 aColección Formación / Matemáticas2 tIntroducción -- tCapítulo 1: Sistemas formales --tCapítulo 2: Lógica proposicional --t2.1 Proposiciones y conectores --t2.2 Ejercicios --t2.3 Sistema formal --t2.6 Argumentación, razonamiento e inferencia --tCapítulo 3: Lógica cuantificacional --t3.1 Nociones preliminares --t3.2 Sistema formal --t3.3 Inferencias --tCapítulo 4: Métodos de demostración --t4.1 Introducción -- t4.2 Método directo --t4.3 Método del contraejemplo --t4.4 Método de casos --t4.5 Método del contrarrecíproco --t4.6 Método indirecto --t4.7 Inducción matemática --tCapítulo 5: Teoría de conjuntos --t5.1 Ideas preliminares --t5.2 Sistema formal --t5.3 Operaciones entre conjuntos --t5.4 Situaciones problema --t5.5 Conjunto de partes --tCapítulo 6: Relaciones --t6.1 Introducción -- t6.2 Producto cartesiano --t6.3 Relaciones binarias --t6.4 Relaciones definidas sobre conjuntos --
tBibliografía 3 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)  aRelaciones (Matematicas)  aTeoría de conjuntos  aLógica proposicional 7aLógica simbólica y matemática2lemb10aArango Parra, Juan Carlos4auteaut 0aFormación / Matemáticas (Editorial Universidad de Antioquia)