02877nam a2200361uu 4500 1563109 CO-MdUADB 20260508094402.0 ta 211005s2020 ck a fr spa d 958714936X ISBN-10 9789587149364 ISBN-13 1563109 CO-MdUADB spa CO-MdUADB rda spa 511 Acevedo Vélez, Diana Patricia aut aut 417727 Lógica y teoría de conjuntos / Diana Patricia Acevedo Vélez, Juan Carlos Arango Parra 1.ª edición Medellín : Editorial Universidad de Antioquia, 2020. xiii, 186 páginas : ilustraciones texto txt (uri)http://www.rdaregistry.info/termList/RDAContentType/#1020 rdacontent Colección Formación / Matemáticas 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 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) Relaciones (Matematicas) 68737 Teoría de conjuntos 817 Lógica proposicional 35915 Lógica simbólica y matemática lemb 56647 Arango Parra, Juan Carlos aut aut 812162 Formación / Matemáticas (Editorial Universidad de Antioquia) 867533 BOOK ddc 832410 832410 0 0 0 0 GEN BC BC 2021-10-05 Material adquirido por donación 30000.00 C13317087 13 2 511.322 A174 01075139 2026-05-29 2026-04-28 18:23:33 2026-04-28 1 2023-05-05 BOOK 0 0 0 0 GEN BC BC 2021-10-05 Material adquirido por donación 30000.00 C13317088 2 2 511.322 A174 e2 01075140 2024-03-08 00:00:00 2024-02-15 2 2023-05-05 BOOK 0 0 0 0 GENERAL BOCCI BOCCI 2021-12-07 Material adquirido por donación 30000.00 C13318699 2 511.322 A174 01089440 2026-02-27 17:00:54 2026-02-20 4 2023-05-05 BOOK 0 0 ddc 0 0 GENERAL CARME BC 2021-12-07 Material adquirido por donación DONA 30000.00 C13318700 4 1 511.322 A174 01089473 2028-11-06 2024-11-05 00:00:00 2024-11-05 5 2023-05-05 BOOK 0 0 0 0 GENERAL BSEGO BSEGO 2021-12-07 Material adquirido por donación 30000.00 C13318701 0 511.322 A174 01089447 2023-05-05 00:00:00 6 2023-05-05 BOOK 0 0 0 0 GENERAL BOCCI BOCCI 2022-02-24 Material adquirido por donación C13320308 0 511.322 A174 e2 1015065 2023-05-05 00:00:00 7 2023-05-05 BOOK 0 0 ddc 0 0 GENERAL BAPAR BAPAR 2024-09-17 Transferencia: Librería Universidad de Antioquia COMP 37800.00 1 511.322 A174 01110905 2026-06-05 2026-04-20 09:31:31 2026-04-20 2024-09-19 BOOK