| Nombre del curso: | Matemática estructural y lógica | |
|---|---|---|
| Créditos: | 3 | |
| Profesores: | Silvia Takahashi | stakahas@uniandes.edu.co |
| Rodrigo Cardoso | rcardoso@uniandes.edu.co | |
| Secciones: | 1 stakahas | Ma – Ju 10:00 – 11:20 |
| 2 rcardoso | Ma – Ju 15:30 – 16:50 | |
| 3 stakahas | Lu – Mi 14:00 – 15:20 |
Descripción
Matemática Estructural y Lógica es un curso que tiene como objetivo dar al estudiante bases necesarias para razonar formalmente, con el ánimo de aplicar esta destreza en situaciones reales. El estudiante debe entender estructuras discretas, y usarlas para modelar y argumentar sobre las mismas. Adicionalmente, el estudiante debe conocer algunas de las aplicaciones de la matemática discreta a la computación.
Programa del curso 201520 – Lunes y Miércoles
Programa del curso 201520 – Martes y Jueves
| Monitoras: | Andrea Buitrago | ac.buitrago403 | Sec 1: Lab 1,2 |
|---|---|---|---|
| Viviana Salcedo | vp.salcedo93 | Sec 2: Lab 3,4 | |
| Sec 3: Lab 5,6 |
Programa de Laboratorios 2015-10
Objetivos
Al final del curso el estudiante debe estar en capacidad de:
- Usar notación lógica para definir y razonar acerca de conceptos matemáticos fundamentales de conjuntos, relaciones, funciones y aritmética.
- Evaluar argumentos matemáticos y ser capaz de identificar razonamientos y argumentos falaces.
- Llevar a cabo demostraciones.
- Aplicar conceptos matemáticos fundamentales a ciencias de la computación (v.gr., definición de conceptos, especificación, validación, etc.).
| Objetivo pedagógico | Metas específicas | % |
|---|---|---|
| O4 | Entender notación lógica formal | 17% |
| O5 | Expresar situaciones en lenguaje lógico | 11% |
| O7 | Definir cálculos deductivos | 11% |
| O9 | Aplicar técnicas de demostración a distintos dominios | 11% |
| O10 | Seguir y evaluar demostraciones | 6% |
| O11 | Determinar qué métodos son útiles para realizar demostraciones | 11% |
| O13 | Hacer demostraciones | 17% |
| O14 | Explicar razonamientos usados en las demostraciones | 17% |
Capítulos
Las notas publicadas corresponden a las versiones 4 y 5 (v4 y v5) de las mismas. Todas las notas están disponibles y están en un estado estable, aunque sujetas a revisiones y cambios.
v5_1_sistemas_formales_y_sistemas_logicos.pdf
v5_6_relaciones_y_funciones.pdf
apendice_a_-_tablas_de_verdad_en_excel.pdf
apendice_b_-_axiomas_de_logica_prop.pdf
apendice_c_-_teoremas_de_cuantificacion.pdf
apendice_d_-_teoremas_de_logica_de_predicados.pdf
Soluciones
Se incluyen soluciones a ejercicios planteados en los Capítulo de las Notas de Clase. No todos los ejercicios se han solucionado.
Condiciones de inscripción