1.

- DATOS DE LA ASIGNATURA

Nombre de la asignatura: Matemticas para computacin

Carrera: Licenciatura en Informtica

Clave de la asignatura: IFM - 0425

Horas teora-horas prctica-crditos 3-2-8

2.- HISTORIA DEL PROGRAMA

Lugar y fecha de
Observaciones
elaboracin o Participantes
(cambios y justificacin)
revisin
Instituto Tecnolgico Representantes de la Reunin nacional de
de Puebla del academia de sistemas y evaluacin curricular de la
8 al 12 septiembre computacin de los carrera de Licenciatura en
2003. Institutos Tecnolgicos. Informtica.

Instituto Tecnolgico Academia de de Anlisis y enriquecimiento de

de: sistemas y computacin. las propuestas de los
Orizaba, Reynosa, programas diseados en la
Tlalnepantla, reunin nacional de
Zacatepec, Zitcuaro evaluacin.
13 septiembre al 28
de noviembre 2003.

Instituto Tecnolgico Comit de consolidacin Definicin de los programas

de Tepic de la carrera de de estudio de la carrera de
15 al 19 de marzo Licenciatura en Licenciatura en Informtica.
2004. Informtica.
3.- UBICACIN DE LA ASIGNATURA

a). Relacin con otras asignaturas del plan de estudio

Anteriores Posteriores
Asignaturas Temas Asignaturas Temas
Organizacin de
computadoras.

Software de Compiladores.
sistemas. Ensamblador.

Fundamentos de
redes.

b). Aportacin de la asignatura al perfil del egresado

Desarrolla habilidades y aptitudes de razonamiento lgico que le permiten

identificar y resolver problemas en el tratamiento de la informacin.

4.- OBJETIVO(S) GENERAL(ES) DEL CURSO

Comprender los conceptos lgicos fundamentales y las estructuras formales

necesarias para la representacin y manejo de datos.
5.- TEMARIO

Unidad Temas Subtemas

1 Sistemas de numeracin. 1.1 Sistema decimal.
1.2 Sistema Binario, Octal y Hexadecimal.
1.3 Conversiones.
1.4 Operaciones bsicas.

2 Lgica. 2.1 Introduccin.

2.2 Proposiciones.
2.3 Tablas de verdad.
2.4 Inferencia lgica.
2.5 Equivalencia lgica.
2.6 Argumentos vlidos y no vlidos.
2.7 Demostraciones formales.
2.8 Predicados y sus valores de verdad.
2.9 Aplicaciones.

3 lgebra booleana. 3.1 Introduccin.

3.2 Expresiones booleanas.
3.3 Propiedades.
3.4 Optimizacin de expresiones
booleanas.
3.5 Compuertas lgicas (como una
aplicacin).

4 Relaciones. 4.1 Introduccin.

4.2 Tipos de relaciones: reflexiva,
simtrica, transitiva, de equivalencia
4.3 Clases de equivalencia.
4.4 Funciones.
4.5 Aplicaciones.

5 Grafos y rboles. 5.1 Introduccin.

5.2 Tipos de grafos.
5.2.1 Nodos.
5.2.2 Ramas y lazos.
5.2.3 Valencia.
5.2.4 Caminos.
5.2.5 Ramas paralelas.
5.2.6 Grafos simples, de similaridad,
bipartidos y completos.
5.- TEMARIO (Continuacin)

5.3 Representacin matricial de grafos.

5.3.1 Ramas sucesivas de longitud
n.
5.3.2 Ram Matriz adyacente e
incidencia.
5.3.3 Caminos.
5.4 Isomorfismo.
5.5 Problemas con grafos.
5.6 rboles.
5.6.1 Propiedades de los rboles.
5.6.2 Tipos de rboles.
5.6.3 Bosques.
5.6.4 rboles generadores.
5.6.5 Bsquedas.
5.7 Recorridos de rboles y notaciones
polacas de expresiones.
5.8 Aplicaciones.

6 Introduccin a los 6.1 Introduccin.

lenguajes formales. 6.2 Gramticas y lenguajes formales.
6.2.1 Estructuras de las gramticas.
6.2.2 Clasificacin de las gramticas
(Chomsky).
6.2.3 Representacin de gramticas.
6.3 Autmatas finitos.
6.3.1 Introduccin.
6.3.2 Autmatas finitos
deterministicos y no
deterministicos.
6.4 Maquinas de estado finito y
reconocimiento de expresiones
regulares.
6.4.1 La mquina de Turing.
6.5 Aplicaciones.

6.- APRENDIZAJES REQUERIDOS

Se sugiere que tenga conocimientos de conjuntos.

7.- SUGERENCIAS DIDCTICAS

Introducir cada unidad con algn problema concreto.

Ver las aplicaciones a lo largo de todas las unidades.
Enfatizar el impacto de los temas en el mbito de la informtica.
Realizar investigacin en diversas fuentes de informacin sobre temas
afines.
Propiciar el trabajo en equipo.

8.- SUGERENCIAS DE EVALUACIN

Examen terico.
Actividades de investigacin.
Participacin en clase.
Resolucin de ejercicio.
Desempeo individual y grupal.

9.- UNIDADES DE APRENDIZAJE

UNIDAD 1.- Sistemas de numeracin.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
El estudiante Resolver ejercicios propuestos por el 1, 3, 7
comprender los maestro.
sistemas de Resolver problemas extra clase de
numeracin. intercambio de una base numrica a
otra.
Resolver problemas de operaciones
bsicas en las diferentes bases
numricas.
UNIDAD 2.- Lgica.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
Comprender y Resolver ejercicios propuestos por el 2, 4, 5, 6, 7,
solucionar maestro. 10
problemas Desarrollar ejercicios de tablas de
relacionados con la verdad.
lgica. Obtener algunas reglas de inferencia a
partir de las tablas de verdad.
Comprobar las reglas de inferencia.
Determinar la consistencia de premisas
dadas.
Elaborar demostraciones formales.

UNIDAD 3.- lgebra booleana.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
Comprender los Identificar las propiedades booleanas. 1,3,7,10
conceptos as como Resolver ejercicios de optimizacin de
las operaciones y expresiones booleanas.
propiedades del Utilizar las compuertas lgicas
lgebra booleana. enfocadas a la solucin de problemas.

UNIDAD 4.- Relaciones.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
Comprender y Identificar las propiedades que posee 3,6,7
resolver problemas una relacin expresada como conjunto
de relaciones y de pares ordenados, como una
funciones. expresin algebraica o de una forma
verbal.
Dada una relacin, identificar si es o no
una equivalencia; de serlo detallar la
particin que genera.
Realizar una identificacin de funciones.
Hacer composiciones de dos o ms
funciones.
Realizar ejercicios de relaciones y
funciones.
UNIDAD 5.- Grafos y rboles.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
Comprender y A partir de una relacin, trazar su grafo y 3, 7
resolver problemas viceversa.
de la teora de grafos A partir de un grafo, construir su matriz y
y rboles. viceversa.
Determinar el isomorfismo de los grafos.
Identificar un grafo como plano o no
plano.
Construir rboles.
Encontrar el rbol generador de un
grafo a partir de su matriz.
Construir el rbol que represente a una
expresin algebraica o algortmica.
Convertir una expresin algortmica a su
notacin polaca y viceversa.

UNIDAD 6.- Introduccin a los lenguajes formales.

Objetivo Fuentes de
Actividades de Aprendizaje
Educacional Informacin
Comprender los Distinguir entre conjuntos finitos e 7, 8, 9, 11
lenguajes y analizar infinitos.
los diagramas de Investigar el concepto de una gramtica.
autmatas as como Realizar comparaciones entre
la relacin entre los autmatas finitos y expresiones
lenguajes y regulares.
diagramas. Conocer los teoremas para el diseo de
lenguajes.
Identificar los criterios de diseo del
lenguaje.
10. FUENTES DE INFORMACIN

1. Ross, Kenneth A.,Wright, Charles R. B. Matemticas Discretas.

Prentice Hall.
2. Arnaz, Jos Antonio. Iniciacin a la Lgica Simblica. Trillas.
3. Johnsonbaugh, Richard. Matemticas Discretas. Grupo Editorial
Iberoamerica.
4. Suples, Patrick , Hill, Shirley. Primer Curso de Lgica Matemtica.
Revert.
5. Colman, Bernard, Busby, Robert C. Estructuras de Matemticas
Discretas para Computadoras. Prentice Hall Hispanoamericana.
6. Scheinderman, Edward R. Matemticas Discretas. Thomson Editores.
7. Lipschutz, Seymour. Matemticas para la Computacin. Mc-Graw Hill.
8. Kelly, Dean. Teora de Autmatas y Lenguajes Formales. Prentice Hall.
9. Garca, Pedro; Prez, Tomas; Ruiz, Jos; Segura, Encarna; Sempere,
Jos M. Teora de Autmatas y Lenguajes Formales. Alfaomega.
10. Liu, C. L. Elementos de Matemticas Discretas. Mc. Graw-Hill.
11. Moderna Enciclopedia Universal NAUTA.

Referencias en Internet

[12] www.bivitec.org.mx
[13] www.monografas.com

11. PRCTICAS

Se sugiere que se introduzca algn lenguaje como MathCAD, MatLab o

cualquier otro de este tipo.