Vous êtes sur la page 1sur 7

UNIVERSIDAD TECNOLGICA NACIONAL FACULTAD REGIONAL DELTA MATEMTICA DISCRETA ING.

SISTEMAS DE INFORMACIN

DESCRIPCIN DE LA MATERIA
Prof.: Lic. Noem Susana Giachino Fecha: mar-13

Objetivos Generales.
Que el alumno logre: Aplicar mtodos deductivos, inductivos y recursivos en la resolucin de situaciones problemticas y demostraciones matemticas. Conocer las conectivas lingsticas. Observar la relacin existente entre la verificacin de programas y lo que se denomina demostraciones automticas de teoremas. Conozca los conceptos de modelo computacional, algoritmo y com plejidad. Conocer las operaciones entre conjuntos y sus propiedades. Comprender los conceptos y procedimientos necesarios para resolver relaciones de recurrencia. Conocer y aplicar propiedades y funciones definidas en el conjunto de nmeros enteros. Caracterizar e identificar distintas estructuras algebraicas, sobre todo las finitas y las lgebras booleanas. Interpretar la diferencia entre ltis booleana y lgebra booleana. Conocer propiedades de grafos, dgrafos y rboles para aplicar a distintas situaciones problemticas. Conocer las propiedades de una relacin definida en un conjunto. Definir lenguaje formal y gramtica. Clasificar gramticas. Conocer los modelos abstractos de mquina y autmata de estado finito. Aplicar los conceptos anteriores para generar arreglos determinados sobre un conjunto de entrada dado (alfabeto) Establecer relaciones entre lenguajes formales, definidos a travs de gramticas, mquinas y autmatas de estado finito.

Programa.
Programa Sinttico. 1. 2. 3. 4. Lgica proposicional clsica y de predicados de primer orden. Teora de nmeros. Induccin Matemtica. Relaciones de recurrencia.

Pgina 1

Matemtica Discreta 5. Estructuras algebraicas finitas y lgebras de Boole. 6. Grafos, digrafos y rboles. Programa Analtico. Unidad Temtica I: Elementos de lgica.

Descripcin de la Materia

Lgica proposicional: proposiciones. Valores de verdad. Conectivos. Tablas de verdad. Condicionales. Condicin necesaria y suficiente. Bicondicionales. Equivalencias. Sistemas de inferencia: anlisis y generacin de razonamientos. Premisas y conclusiones. Tautologas y contradicciones. Equivalencias e implicaciones lgicas. Reglas de inferencia lgica. Demostraciones formales. Lgica de predicados: cuantificadores, clculo de predicados. Unidad Temtica II: Introduccin a la teora de conjuntos. Nocin de conjunto y elemento. Pertenencia e inclusin. Representacin de conjuntos. Diagramas de Venn. Operaciones con conjuntos: unin, interseccin, diferencia, complemento, diferencia simtrica. Conjunto potencia. conjuntos finitos e infinitos. Cardinalidad. Principio de inclusin y exclusin. Nocin de relacin. Unidad Temtica III: Conjuntos inductivos y recursividad. Sucesiones y sucesiones recursivas. Conjuntos inductivos y Principio de Induccin Matemtica. Base y paso inductivo. Primer y segundo principio. Principio del buen orden. Generalizacin de la induccin. Unidad Temtica IV: Aritmtica entera e introduccin a la combinatoria. Teora de nmeros enteros. Operaciones y orden. Divisin en Z. Mltiplos y divisores. Nmeros primos. Algoritmo de la divisin. Mcm y dcm. Algoritmo de Euclides. Teorema fundamental de la aritmtica. Identidad de Bezout. Nmeros corrimos. Ecuaciones diofnticas lineales. Congruencias. Propiedades. Zn. Pequeo teorema de Fermat. Teorema Euler-Fermat. Ecuaciones en congruencia. Sistemas de ecuaciones en congruencia. Teorema chino del resto. Sistemas de numeracin. Cambio de base. Las reglas de la suma y el producto. Permutaciones. Combinaciones. Generacin de permutaciones y combinaciones. Unidad Temtica V: Teora de grafos. Grafos. Cadenas, caminos, ciclos, circuitos. Valencia de un vrtice. Grafos conexos. Grafos dirigidos. Ciclos de Euler. Ciclos de Hamilton. Componentes de

Pgina 2

Matemtica Discreta

Descripcin de la Materia

un grafo. Matrices asociadas a un grafo. Coloreado de grafos. Isomorfismo de grafos. Grafos pesados. rboles. rboles dirigidos. rboles enraizados. rboles de bsqueda. Algoritmo de Huffman. Unidad Temtica VI: Ltices y lgebras de Boole. Relaciones en un conjunto. Relaciones de equivalencia y clases de equivalencia asociadas. Relaciones de orden. Orden total y orden parcial. Ltices. Tipos especiales de ltices. lgebras. lgebra de Boole. Axiomas. Dualidad. Leyes del lgebra de Boole. Mintrminos y maxtrminos. Unidad Temtica VII: Lenguajes y gramticas. Alfabeto. Lenguajes. Cerradura de Kleene y positiva de un lenguaje. Reglas. Gramtica. Clasificacin. Unidad Temtica VIII: Maquinas de estado finito y autmatas. Maquinas de estado finito. Maquinas equivalentes. Tablas y diagramas de estado. Autmatas de estado finito determnistico. Autmatas de estado finito no determinstico. Unidad Temtica IX: Estructuras algebraicas. Operaciones unarias y binarias. Semigrupos. Monoides. Grupos. Semigrupos, monoides y grupos conmutativos. Anillos. Cuerpos.

Relacin con otras materias de la carrera.


Unidad I: Los conocimientos de esta unidad son importantes para las materias Arquitectura de Computadores I y II, Sistemas Operativos, Paradigmas de Programacin (en particular, para el paradigma lgico - lenguaje Prolog) e Inteligencia Artificial. Unidad II: Esta unidad aporta material a Probabilidades y Estadstica, Estadstica Aplicada, Modelos Numricos, Matemtica Superior, Sintaxis y Semntica del Lenguaje, Paradigmas de Programacin, Gestin de Datos e Investigacin Operativa, al mismo que tiempo que se relaciona con contenidos de las materias Anlisis Matemtico I y Algebra y Geometra Analtica del mismo ao. Unidad III: Esta unidad aporta fundamentacin a temas desarrollados en la materia Algoritmos y Estructuras de Datos, que se dicta en el mismo ao y para las materias de aos subsiguientes Sintaxis y Semantica del Lenguaje, Paradigmas de Programacin, Sistemas Operativos, Gestin de Datos, Inteligencia Artificial e Ingeniera de Software.

Pgina 3

Matemtica Discreta

Descripcin de la Materia

Unidad IV: Esta unidad se relaciona fundamentalmente con lgebra y Geometra Analtica y aporta al alumno la posibilidad de abordar temas matemticos con una aproximacin ms formal. Unidad V: Esta materia aporta elementos de importancia fundamental para las materias Arquitectura de Computadores, Sintaxis y Semantica del Lenguaje, Sistemas Operativos, Comunicaciones y Redes de Informacin, ampliando los temas de combinatoria introducidos al alumno durante el curso introductorio y que sern profundizados en las materias Probabilidades y Estadistica y Estadistica Aplicada. Unidad VI: Esta unidad provee informacin a Arquitectura de Computadores, Sintaxis y Semantica del Lenguaje, Paradigmas de Programacin, Sistemas Operativos, Comunicaciones, Redes de Informacin, Investigacin Operativa, Simulacin e Ingeniera de Software, a la vez que permite desarrollar el tema de bsqueda y estructuras de datos como listas y pilas en la materia del mismo ao algoritmos y Estructuras de Datos. Unidad VII: Esta unidad proporciona herramientas importantes a Arquitectura de Computadores, Sistemas Operativos y Gestin de Datos. Unidad VIII: En esta unidad se desarrollan conceptos que se desarrollarn en profundidad en Sintaxis y Semantica del Lenguaje. Unidad IX: En esta unidad se desarrollan herramientas que pueden untilizarse para una mejor comprensin de temas a ser desarrollados en Arquitectura de Computadores, fundamentalmente, y adems en Sistemas Operativos y Paradigmas de Programacin.

Bibliografa.
Obligatoria. 1 - Discrete Mathematics, Seventh Edition - Johnsonbaugh, Richard - Prentice Hall 2008 2 - Discrete Mathematics, Fifth Edition - Dossey Otto Spence & Vanden Einden Addison Wesley - 2006 3 - Matematica Discreta y Combinatoria: una introduccion con aplicaciones Grimaldi,Ralph - Pearson Education - 1998 4 - Discrete Mathematics with Aplications, Second Edition - Koshy,Thomas - Elsevier Academic Press - 2004 5 - Matematica Discreta, Cuarta Edicin - Granado Peralta, Susana - Editorial CEIT 2006

Pgina 4

Matemtica Discreta Consulta.

Descripcin de la Materia

1 - Discrete Mathematics, Second Edition - Biggs, Norman - Oxford University Press 2004 2 - 2000 Solved Problems in Discrete Mathematics - Lipschutz, Seymour - McGraw Hill - 1991 3 - Handbook of Discrete and Combinatorial Mathematics - Rosen,Kenneth & Michaels,John - CRC Press - 2000 4 - Discrete Mathematics for New Technology - Garnier, Rowand & Taylor John - CRC Press - 2001 5 - Discrete Mathematics: An introduction for software engineers - Piff, Michael Cambridge University Press - 1991

Rgimen de Cursada.
La materia es anual y se dictar los das lunes de 17:45 a 19:15 hrs y los das jueves de 21:00 a 23:15 hrs, consistiendo de clases tericas y de explicacin de problemas. Tambien habr clases especiales para consultas, sobre ejercicios de la practica y sobre los problemas de campo y laboratorio. Se tomarn dos parciales repartidos en tantos parcialitos como unidades (9). Cada parcialito constar de 2 puntos, uno de teora y otro de prctica. Ambos debern aprobarse y se tomarn los das lunes a confirmar. En la planificacin se debe modificar que el 24 de mayo, una de las dos semanas de julio de llamados a finales, 20 de setiembre y en la semana del 18 al 22 de noviembre habr recuperatorios de aquellas unidades no aprobadas. Luego tendrn la oportunidad de recuperar una vez ms en diciembre cada tema no aprobado siempre que hayan aprobado como mnimo 3 de las unidades temticas. Por ltimo en el primer llamado de febrero tendr la ltima oportunidad de recuperar siempre que haya aprobado como mnimo 6 de las unidades. Tambin habr trabajos adicionales ya sea de lectura como de trabajo de campo. Con algoritmos se har tambin un trabajo complementario a pactar durante la cursada. Cumplido todo esto se regulariza Para acreditar la asignatura rendirn un examen final, una vez firmada la libreta, rendirn un examen final sobre las unidades desarrolladas en clase en forma integrada.

Planificacin.
Observacin: esta planificacin es puramente orientativa y puede sufrir modificaciones durante el transcurso del ao, debido a causas ajenas a la ctedra o por decisin de la misma. Dichos cambios sern anunciados en clase y tambin podrn consultarse en este mismo sitio en la seccin novedades. Durante las clases de resolucin de problemas tambin se desarrollarn los problemas de laboratorio y consultas del trabajo de campo.

Pgina 5

Matemtica Discreta

Descripcin de la Materia

MES
Marzo

SEMANA
2da 3ra

FECHA
11 al 15 18 al 22

UNIDAD
1 1

TEMA
Proposiciones simples y compuestas. Conectivos. Tablas de verdad. Tautologas y contradicciones. Equivalencias e implicaciones lgicas. Razonamientos. Resolucin de problemas Demostraciones formales Lgica de predicados. Cuantificadores Conjuntos. Elementos. Pertenencia. Inclusin. Operaciones. Conjunto potencia. Producto cartesiano. Relaciones. Introduccin. Estructuras algebraicas. Sucesiones. Funciones caractersticas. Conjuntos recursivos. Sucesiones recursivas. Principio de induccin completa. Tipos. Problemas. Principio de induccin completa. Tipos. Problemas. Aritmtica entera. Divisores. Mcm, dcm. Problemas Combinatoria. Resolucin de problemas. Sistemas de numeracin. Ejercicios Resolucin de problemas. Grafos. Dgrafos. Valencia. Caminos. Ciclos. Grafos conexos. Ciclos de Euler y Hamilton Matrices asociadas a un grafo. Isomorfismo. Grafos pesados. Matrices booleanas. Algoritmos. Coloreo de mapas. Resolucin de problemas. Algoritmos. Coloreo de mapas. Resolucin de problemas.

OBSERV.

4ta Abril 1ra 2da 3ra 4ta Mayo 1ra 2da 3ra 4ta 5ta Junio 1ra 2da

25 al 39 1 al 5 8 al 12 15 al 19 22 al 26 29 al 3 6 al 10 13 al 17 20 al 24 25 al 31 3 al 7 10 al 14

1 1 2 2,3 4 4 4 5 5 5 6 6

Semana santa 28 y 29 Feriados 1 y 2

Feriado 1/5

Final 24/5

3ra 4ta Julio 1ra 2da 3ra

18 al 22 24 al 28 1 al 5 8 al 12 15 al 20 22/07 al 2/08 5 al 9 12 al 16 19 al 23 26 al 30 2 al 6 9 al 13 17 y 19 23 al 27 30/09 al 4 7 al 11 14 al 18

Feriado 20, Puente 21

6 6

PRIMER PARCIAL rboles. rboles enraizados. rboles de bsqueda. rboles generadores. Cdigos. Cdigo binario prefijo RECESO INVERNAL Finales 2 llamdos. Recuperatorio fecha a confirmar Ltises. Isomorfismos de ltises. lgebra de Boole. Axiomas. Ppcio de dualidad lgebra de Boole. Ejercicios. Alfabeto. Lenguajes. Reglas.Gramtica. Clasificacin. Gramtica. Clasificacin. Resolucin de problemas. Mquinas de estado Finito. Mquinas equivalentes. Tablas y diagramas de estado. Resolucin de problemas Jornadas de reflexin institucional Autmatas de estado finito determinsticos. Problemas de aplicacin. Relacin con lenguajes Resolucin de problemas. Autmatas de estado finito no determinsticos. Problemas de aplicacin.

Feriado 09/07

Agosto

1ra 2da 3ra 4ta

7 8 8 8 9

Feriado del 17 pasa al 19

Septiembre

1ra 2da 3ra 4ta

Final 20/09

9 9 9 9

Octubre

1ra 2da 3ra

Feriado del 12

Pgina 6

Matemtica Discreta
4ta 5ta Noviembre 1ra 2da 3ra 21 al 25 28 al 1/11 4 al 8 11 al 15 18 al 22 9 Resolucin de problemas. Resolucin de problemas. SEGUNDO PARCIAL

Descripcin de la Materia

Entrega de los resultados. Consultas firma de libretas RECUPERATORIO DEL 2DO PARCIAL

Pgina 7