Sunteți pe pagina 1din 3

Ingeniera de Sistemas y Computacin ISIS-1104 Matemtica Estructural y Lgica http://sistemas.uniandes.edu.

co/~isis1104 Programa del curso (2012-1)

OBJETIVO Este curso tiene como objetivo dar al estudiante las bases necesarias para razonar matemtica y lgicamente. El estudiante debe entender estructuras discretas, y usarlas para modelar y razonar sobre las mismas. Adicionalmente, el estudiante debe conocer algunas de las aplicaciones de la matemtica discreta a la computacin. Al final del curso el estudiante debe estar en capacidad de: Usar notacin lgica para definir y razonar acerca de conceptos matemticos fundamentales de conjuntos, relaciones, funciones y aritmtica. Evaluar argumentos matemticos y ser capaz de identificar razonamientos y argumentos falaces. Llevar a cabo demostraciones. Aplicar conceptos matemticos fundamentales a ciencias de la computacin (v.gr., definicin de conceptos, especificacin, validacin, etc.).

PLAN DE TEMAS Sem Lu - Vi Temas Introduccin al curso y motivacin Qu es una demostracin? Demostraciones errneas 1 Ene 23 - Ene 27 Lgica proposicional: - Operadores lgicos - Tablas de verdad - Traduccin de lenguaje natural Lgica proposicional: - Problemas lgicos - Representacin computacional Lgica proposicional Equivalencias lgicas Axiomas ecuacionales Lgica proposicional Reglas de inferencia Clculo deductivo Cuantificadores Lgica de predicados 4 Feb 13 - Feb 17 Lgica de predicados: equivalencias Recursos [3] Captulo 1 (1.1)

[1] Captulo 1 (1.1)

[1] Captulo 1 (1.1) [2] Captulo 1 (1.2) [1] Captulo 1 (1.2)

Ene 30 - Feb 03

Feb 06 - Feb 10

[1] Captulo 1 (1.2) [1] Captulo 1 (1.5) [5] Captulo 8 [1] Captulo 1 (1.3, 1.4) [2] Captulo 1 (1.3) [1] Captulo 1 (1.3, 1.4)

[2] Captulo 1 (1.3) Reglas de inferencia Deduccin en clculo de predicados Estructuras matemticas: conjuntos Parcial 1 6 Feb 27 - Mar 02 Estructuras matemticas: conjuntos Estructuras matemticas: conjuntos 7 Mar 05 - Mar 09 Estructuras matemticas: relaciones 8 Mar 12 - Mar 16 Estructuras matemticas: relaciones Estructuras matemticas: funciones 9 Mar 19 - Mar 23 Estructuras matemticas: secuencias Teora de enteros Mar 26 - Mar 30 Parcial 2 Teora de enteros Abr 02 - Abr 06 Semana de trabajo individual Semana de trabajo individual 11 Abr 09 - Abr 13 Enteros y algoritmos Aritmtica modular Abr 16 - Abr 20 Aritmtica modular Conteo Conteo 13 Abr 23 - Abr 27 Induccin Induccin 14 Abr 30 - May 04 Definiciones recursivas e induccin estructural Definiciones recursivas e induccin estructural 15 May 07 - May 11 Parcial 3 Aunque el programa tratar de seguirse segn lo planeado, las fechas de los temas y de los parciales pueden variar sobre la marcha del curso. La mejor manera de estar enterado de cambios de ltima hora es revisar la pgina Sicua+ del curso (cf. https://sicuaplus2.uniandes.edu.co/). [1] Captulo 3 (3.6) [2] Captulo 4 (4.5) [2] Captulo 4 (4.5) [1] Captulo 5 (5.1 a 5.6) [1] Captulo 5 (5.1 a 5.6) [1] Captulo 4 (4.1, 4.2) [2] Captulo 3 (3.1, 3.2, 3.4) [1] Captulo 4 (4.1, 4.2) [2] Captulo 3 (3.1, 3.2, 3.4) [1] Captulo 4 (4.3) [2] Captulo 3 (3.5) [1] Captulo 4 (4.3) [2] Captulo 3 (3.5) [1] Captulo 3 (3.4, 3.5) [1] Captulo 2 (2.1, 2.2) [2] Captulo 2 (2.6) [1] Captulo 2 (2.1, 2.2) [2] Captulo 2 (2.6) [1] Captulo 8 [1] Captulo 8 [1] Captulo 2 (2.3) [1] Captulo 2 (2.4) [1] Captulo 3 (3.4, 3.5) [1] Captulo 1 (1.5) [1] Captulo 2 (2.1, 2.2) [2] Captulo 2 (2.6)

Feb 20 - Feb 24

10

12

TEXTOS GUA: 1. Discrete Mathematics and Its Applications 6th Edition, K. H. Rosen, McGraw Hill Higher Education, 2007. 2. Mathematics for Computer Science, Prof. Albert R. Meyer, Massachusetts Institute of Technology. Notas de clase curso Mathematics for Computer Science (MIT), Fall 2010 (http://courses.csail.mit.edu/6.042/fall10/, http://courses.csail.mit.edu/6.042/fall10/mcs-ftl.pdf). TEXTOS COMPLEMENTARIOS: 3. Curso Matemtica Estructural y Matemticas Discretas de Open Courseware de MIT: http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-forcomputer-science-spring-2010/. Lecturas: http://ocw.mit.edu/courses/electrical-engineering-andcomputer-science/6-042j-mathematics-for-computer-science-spring-2010/readings/. 4. How To Prove IT - A Structured Approach - 2nd Edition, D. J. Velleman, Cambridge University Press, 2006. 5. A Logical Approach to Discrete Math. David Gries and Fred B. Schneider. 1993. Springer-Verlag New York, Inc., New York, NY, USA. EVALUACIN: 1. Exmenes parciales: 84% Examen 1: 28% Examen 2: 28% Examen 3: 28% (el ltimo da de clases) Tareas y Quizzes: 16% Notas definitivas: La asignacin de la nota se determinar teniendo en cuenta el desempeo de todo el curso. Se ordenarn y agruparn estudiantes segn la nota final y a todos los estudiantes de un mismo grupo se les asignar la misma nota. Asistencia a clase: La asistencia a clase es obligatoria. Los estudiantes deben asistir a por lo menos el 80% de las clases del semestre. Colaboracin y trabajo en grupo: Las tareas pueden realizarse individualmente o en grupos de mximo dos personas. Si existe colaboracin en algn punto de una tarea con otra persona (o grupo), debe indicarse explcitamente en la misma. Los quizzes y los parciales son de carcter individual.