F

UNIVERSIDAD AUTNOMA DE ENTRE ROS

FACULTAD DE CIENCIA Y TECNOLOGA

Profesorado en Matemtica

Plan de Ctedra

Matemtica Discreta I
PROFESOR/ES RESPONSABLE/S: Dr. Ing. Mario Ral Escalante
AO ACADMICO: 2015
PLAN DE ESTUDIO: 2001
AO DE LA CARRERA A LA QUE PERTENECE LA CTEDRA: Segundo
RGIMEN DE LA MATERIA: Cuatrimestral
CARGA HORARIA SEMANAL: 4 horas
1- FUNDAMENTACIN Y JUSTIFICACIN DE LA CTEDRA

La matemtica discreta es una rama de las matemticas que trata las estructuras finitas y numerables,
en contraste con el Clculo que describe procesos que cambian de una forma continua. Esta definicin, forzosamente imprecisa, queda mejor delimitada cuando se da una descripcin de sus contenidos. A grandes rasgos, las lneas bsicas de las que se ocupa la matemtica discreta son las tcnicas
de enumeracin, las estructuras combinatorias, la teora de grafos y las estructuras algebraicas. Asimismo, la algortmica es una herramienta imprescindible para la construccin de soluciones a los problemas que se tratan. Aunque histricamente stas eran reas que no formaban un cuerpo estructurado, el progreso de la informtica y de las tcnicas de computacin les ha dado un impulso decisivo y
las ha convertido en una de las ramas de la matemtica aplicada con ms vitalidad. Este impulso ha
influido tambin en el diseo de las currculas en la enseanza de la matemtica alrededor del mundo.

Plan de ctedra

F
F Mientras

las ideas del Clculo fueron fundamentales para la ciencia y la tecnologa de la revolucin
industrial, las ideas de la matemtica discreta son la base para la ciencia y la tecnologa de la era
computacional.
En el curso de matemtica discreta, los alumnos aprenden un conjunto particular de realidades matemticas y cmo aplicarlas; y ms an, a travs de esta asignatura los estudiantes aprenden a pensar
desde un punto de vista matemtico. Parar lograr ese objetivo se enfatiza el razonamiento matemtico
y las diferentes formas en que se resuelven los problemas. Cinco conceptos importantes se entrelazan: el razonamiento matemtico, el anlisis combinatorio, las estructuras discretas, el pensamiento
algortmico y las aplicaciones y modelado. Un curso acertado de matemtica discreta debera mantener un cuidadoso equilibro entre estos cinco puntos.
2- OBJETIVOS

Es objetivo fundamental de la asignatura que el alumno logre comprender y aplicar los conceptos y
propiedades de las estructuras matemticas, para la representacin y estudio de fenmenos discretos. Se pretende tambin que el alumno adquiera:
a) Desarrollar su capacidad de razonamiento lgico, de abstraccin y de generalizacin, que forme y
enriquezca su saber matemtico.
b) Adquirir las habilidades bsicas que le permitan plantear y resolver situaciones
Son objetivos especficos de esta asignatura, que el alumno logre:
Conocer mtodos para resolver recurrencias lineales de primer orden.
Dominar los conceptos bsicos aplicables en el conteo de conjuntos y demostrar destreza
en su aplicacin.
Entender y utilizar la nocin de estructura algebraica para referirse a clases de objetos matemticos que comparten ciertas propiedades operativas.
Manejar conceptual y metodolgicamente las estructuras algebraicas. .
Adquirir estrategias intelectuales ms complejas y de mayor nivel de abstraccin sobre
la base del aprendizaje de tcnicas y reglas de estructuracin propias del lgebra
Construir, simplificar y comparar circuitos lgicos.
Presentar el lenguaje, los razonamientos matemticos bsicos e introducir varias aplicaciones en el mundo de la programacin.
Generar competencias que le permitan al alumno abordar con xito los algoritmos de programacin
Percibir la matemtica como una disciplina que ha evolucionado y que continua
desarrollndose, y que responde en algunas ocasiones a la necesidad de resolver problemas prcticos, pero que tambin se plantean problemas propios que a menudo
son por el solo placer intelectual y esttico.
Adems de los objetivos listados anteriormente, el alumno deber ser capaz de :
Reconocer y usar las componentes esenciales del efectivo razonamiento para evaluar informacin
y mejorar la calidad del propio pensamiento.
Plan de ctedra

F
F

Expresar pensamientos, sentimientos e ideas en forma clara y precisa.

Dar explicaciones escritas de los principales conceptos de la asignatura.
Realizar demostraciones con las tcnicas y conceptos de la asignatura.
Mejorar su capacidad en la resolucin de problemas y el pensamiento crtico.
Aprender en una manera autnoma y trabajar como miembro de un equipo.
Apreciar la necesidad de un aprendizaje continuo a lo largo de toda la vida profesional.
Conducirse tica y profesionalmente.

3- CONTENIDOS

a) Contenidos mnimos propuestos en el plan de estudios

Combinatoria. Teora elemental de nmeros. Induccin matemtica. Lenguajes. Mquinas de estados
finitos. Relacin de recurrencia. Anillos y aritmtico modular. Grupos y codificacin. lgebra de Boole.
b) Programa analtico
Unidad N 1: Combinatoria
Cardinal de un conjunto. Principios fundamentales del conteo: Principio de biyeccin. Principios del
palomar, de adicin, del producto y de la divisin, principio de inclusin-exclusin. Variaciones. Variaciones con repeticin. Permutaciones. Nmeros de Stirling de primera clase. Combinaciones: el teorema del binomio. Combinaciones con repeticin: distribuciones. Permutaciones con repeticin. Particiones. Nmeros de Stirling de segunda clase.
Unidad N 2: Aritmtica elemental
El conjunto de los nmeros enteros. Divisibilidad de enteros. Algoritmo de la divisin. Nmeros primos
y compuestos. Nmeros de Fermat. Mximo comn divisor. Algoritmo de Euclides. El teorema fundamental de la aritmtica. Mnimo comn mltiplo. Ecuaciones diofnticas lineales. Induccin matemtica. El principio del buen orden. Demostracin de proposiciones por induccin.
Unidad N 3: Relaciones de recurrencia
Introduccin a las relaciones de recurrencias. Relacin de recurrencia lineal de primer orden. Relacin
de recurrencia lineal homognea de segundo orden con coeficientes constantes. La relacin de recurrencia no homognea. El mtodo de funciones generatrices.
Unidad N 4: Anillos y aritmtica modular
La estructura de anillo: definicin y ejemplos. Propiedades y subestructuras de un anillo. Homomorfismos e isomorfismos de anillo. Congruencia mdulo m. Propiedades. El conjunto n . Adicin y multiplicacin mdulo m.
Unidad N 5: lgebra booleana.
Definiciones y propiedades. Funciones algebraicas booleanas. Simplificacin de expresiones booleanas. Forma normal disyuntiva y conjuntiva. Redes de puertas: suma minimal de productos y mapas de
Karnaugh. Circuitos lgicos.
Plan de ctedra

F
F

Unidad N 6: Lenguajes y gramticas.

Cadenas y lenguajes. Definiciones y operaciones con cadenas y lenguajes. Gramticas que generan
lenguajes. Tipos de Gramticas. Gramticas regulares.
Unidad N 7: Mquinas de estado finito.
Autmata finito. Tablas de transicin. Gramticas regulares y autmatas finitos. Autmatas determinsticos y no determinsticos. Simplificacin de mquinas.
Unidad N 8: Grupos y teora de la codificacin.
Definiciones, ejemplos y propiedades elementales. Homomorfismos, isomorfismos y grupos cclicos.
Clases laterales y teorema de Lagrange. Cuerpos. Cuerpos finitos. Sistemas de numeracin y representacin numrica. Codificacin de informacin binaria y deteccin de errores. Decodificacin y correccin de errores.
4- METODOLOGA DE TRABAJO

Los alumnos debern efectuar una lectura previa del material o bibliografa a utilizar en cada clase, el
que ser provisto o indicado por la ctedra con suficiente antelacin. Se utilizarn diferentes tcnicas
tales como seminario, taller, grupos de discusin, resolucin de problemas. Tambin se har uso de la
exposicin dialogada, sobre todo en aquellos puntos que revisten mayor dificultad.
En todo momento el docente tendr el rol de coordinar la tarea de los alumnos, motivar la discusin e
investigacin, orientar en la relacin con otras reas, aclarar dudas y corregir errores.
Tendrn fundamental importancia los trabajos prcticos, con el objetivo de afianzar la operatoria de los
alumnos en los temas relativos a la asignatura.
.
5- RGIMEN DE EVALUACIN Y PROMOCIN

La evaluacin ser continua e integral, no slo de los contenidos de la asignatura sino que tambin de
procedimientos y actitudes.
Comprende los siguientes tipos de evaluaciones:
Asistencia y participacin en clases.
Pruebas breves sobre determinados puntos del programa.
Trabajos Prcticos. Resolucin de problemas especialmente seleccionados. Confeccin de
breves monografas sobre tpicos tericos o aplicaciones.
Evaluaciones parciales escritas de carcter terico-prctico de acuerdo al cronograma establecido.
Evaluacin integradora: coloquio sobre la totalidad del programa.
Evaluacin final terico prctica sobre la totalidad de la asignatura.
Se realizarn dos evaluaciones parciales terico-prcticas durante el cursado de la asignatura. En
fechas posteriores se tomarn los respectivos recuperatorios. Para el clculo del promedio de parciales se considerar la mayor nota obtenida de cada parcial o correspondiente recuperatorio.
Plan de ctedra

F
F 5.1 Condiciones de regularidad y/o

peomocin

Alumnos Regulares

Los requisitos para ser calificado como alumno regular son los siguientes:
Asistencia mnima al 70% de las clases.
90% de los trabajos prcticos aprobados.
Promedio de los parciales entre 4(cuatro) y 6 (seis).
Aprobacin del examen final con nota mnima 4(cuatro).
Alumnos Promocionados

Los requisitos para promocionar la asignatura son:

Cumplir con el rgimen de correlatividades establecido por la Facultad.
Asistencia mnima al 80% de las clases.
100% de los Trabajos prcticos aprobados.
Promedio mnimo de parciales 7 (siete) con nota no inferior a 6(seis) en el parcial o correspondiente recuperatorio.
Aprobacin del coloquio integrador.
Alumnos Libres

Para aprobar la asignatura como libre, el alumno deber cumplir con los siguientes requisitos:
Cumplir con el rgimen de correlatividades.
Presentar, con no menos de un mes de anticipacin a la fecha del examen final, un trabajo
prctico propuesto por la ctedra.
Aprobar con nota no inferior a 7 (siete) las instancias oral y escrita del examen final.
6- LISTADO DE TRABAJOS PRCTICOS:

TP 1: Combinatoria.
TP 2: Teora elemental de nmeros.
TP 3: Induccin matemtica.
TP 4: Relaciones de recurrencia.
TP 5: Anillos y aritmtica modular.
TP 6: Algebra booleana.
TP 7: Grupos y teora de codificacin.
TP 8: Lenguajes y gramticas.
TP 9: Mquinas de estado finito.
7- BIBLIOGRAFA
a)

Bsica

[1] GRIMALDI RALPH P., Matemtica Discreta y Combinatoria, Mxico, 3ra. Edicin, AddisonWesley Iberoamericana, Wilmington (EUA), 1997. ISBN 0-201-65376-1.
Plan de ctedra

F
F

[2] ROSEN, KENNETH H., Matemtica Discreta y sus Aplicaciones, 5ta. Edicin, McGrawHill/Interamericana, Madrid (Espaa), 2004. ISBN 84-481-4073-7.
[3] JOHNSONBAUGH, RICHARD, Matemticas Discretas, 6ta. Edicin, Prentice-Hall, Mxico, 2005.
ISBN 970-26-0637-3.
[4] JIMNEZ MURILLO, JOS ALFREDO, Matemticas para la computacin, 1ra. Edicin, Alfaomega Grupo Editor, Mxico, 2008. ISBN 978-970-15-1401-6.
[5] KOLMANM B., BUSBY R. ROSS S., Estructuras de Matemticas Discretas para la Computacin, 3ra. Edicin, Pearson Educacin, Mxico, 1997. ISBN 968-880-799-0.
b) Complementaria
[6] ISASI, P; MARTNEZ, P; BORRAJO, D., Lenguajes, Gramticas y Autmatas: Un Enfoque Prctico , Espaa, Addison-Wesley Iberoamericana, 1997. ISBN 978-847-8290-14-7
[7] SOMINSKI, I. S, Mtodo de Induccin Matemtica, Lecciones Populares de Matemtica, 2da.
Edicin, Editorial Mir, Mosc, 1985.
[8] NIVEN IVAN; ZUCKERMAN, HERBER S., Introduccin a la Teora de Nmeros, 1ra. Edicin, Editorial Limusa, Mxico, 1976. ISBN 968-18-0669-7.
[9] GRAHAM RONALD; KNUTH DONALD; PATASHNIK OREN; Concrete Mathematics: A foundations for computer science, 2nd. Edition, Addison-Wesley, 1994. ISBN 078-534255802.
8- CONDICIONES PARA LA ADMISIN DE ALUMNOS VOCACIONALES

Los requisitos para la admisin de alumnos vocacionales son similares a los que se piden a un alumno
regular, con excepcin de las correlatividades de la asignatura.
9- CRONOGRAMA TENTATIVO

Semana

Plan de ctedra

Tema

01

Unidad 1: Combinatoria

02

Unidad 1: Combinatoria

03

Unidad 2: Aritmtica elemental

04

Unidad 2: Aritmtica elemental

05

Unidad 3: Relaciones de recurrencia

06

Unidad 4: Anillos y aritmtica modular

07

Unidad 4: Anillos y aritmtica modular

6

F
F

Semana

Tema

08

Unidad 5: lgebra Booleana

09

Unidad 5: lgebra Booleana.

10

Unidad 6: Lenguajes y gramticas

11

Unidad 6: Lenguajes y gramticas

12

Unidad 7: Mquinas de estado finito

13

Unidad 7: Mquinas de estado finito

14

Unidad 8: Grupos y Teora de la codificacin

15

Unidad 8: Grupos y Teora de la codificacin

10- EQUIPO DE CTEDRA

Dr. Ing. Mario Ral Escalante

11- INFRAESTRUCTURA Y EQUIPAMIENTO NECESARIO

Se har uso de la biblioteca de la facultad as como de los laboratorios de informtica.

12- ACTIVIDADES ESPECFICAS DE INVESTIGACIN Y EXTENSIN

No se realizan

13- ACTIVIDADES ESPECFICAS AL INTERIOR DE LA CTEDRA

Ver tems 4 y 5

Dr. Ing. Mario Ral Escalante

Plan de ctedra