Lógica y teoría de conjuntos.
Material type:
TextLanguage: Spanish Series: Publisher: Medellín : Editorial Universidad de Antioquía, 2020Edition: 1Description: 188 páginas : Incluye ilustraciones ; 25 centímetrosContent type: - texto
- sin mediación
- volumen
- 9789587149364
- 9789587149371
- 511.3 AC174 23
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
LIBROS - MATERIAL GENERAL
|
BIBLIOTECA CENTRAL General | 511.3 AC174 (Browse shelf(Opens below)) | Ej.:1 | Available | Libro de reposición por pérdida del 005500. | 087438 |
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)
There are no comments on this title.
