Lógica y teoría de conjuntos.
Acevedo Vélez, Diana Patricia
Lógica y teoría de conjuntos. - 1. - 188 páginas : Incluye ilustraciones ; 25 centímetros. - 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)
9789587149364 9789587149371
Teoría de conjuntos--Problemas.
Lógica simbólica y matemática.
Adquisición de conjuntos de datos.
Lógica algebraica.
511.3 / AC174
Lógica y teoría de conjuntos. - 1. - 188 páginas : Incluye ilustraciones ; 25 centímetros. - 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)
9789587149364 9789587149371
Teoría de conjuntos--Problemas.
Lógica simbólica y matemática.
Adquisición de conjuntos de datos.
Lógica algebraica.
511.3 / AC174