1.

- DATOS DE LA ASIGNATURA
Nombre de la asignatura:

Matemticas Discretas

Carrera:

Ingeniera Informtica e Ingeniera en

Sistemas Computacionales

Clave de la asignatura:

AEF-1041

SATCA1

3-2-5

2.- PRESENTACIN
Caracterizacin de la asignatura:
Esta asignatura aporta al perfil del egresado los conocimientos matemticos para entender,
inferir, aplicar y desarrollar modelos matemticos tendientes a resolver problemas en el rea
de las ciencias computacionales.
Esta materia es el soporte para un conjunto de asignaturas que se encuentran vinculadas
directamente con las competencias profesionales que se desarrollarn, por lo que se incluye
en los primeros semestres de la trayectoria escolar. Aporta conocimientos a las materias de
Estructura de Datos y Redes de Computadoras con los conceptos bsicos de Grafos y
rboles.
Intencin didctica:
La asignatura se encuentra organizada en seis unidades de aprendizaje. Las dos primeras
unidades abordan conceptos bsicos que sern utilizados a lo largo de curso, mientras que
las cuatro restantes analizan contenidos propios del rea de las ciencias computacionales.
En la primera unidad, Sistemas Numricos, se revisan los procedimientos para realizar la
conversin entre diferentes sistemas numricos, las operaciones bsicas: suma, resta,
multiplicacin y divisin, buscando que el alumno analice y genere un procedimiento general
de conversin.
Los conceptos bsicos de Conjuntos son revisados en la segunda unidad, en ella se revisan
las caractersticas, propiedades y operaciones entre conjuntos mismos que sern validados
en las unidades de lgebra booleana y lgica matemtica.
La unidad nmero tres, Lgica Matemtica, hace un anlisis de la lgica proposicional con
la finalidad de llegar a procesos de demostracin formal, igualmente se examinan los
conceptos de lgica de predicados y algebra declarativa. El concepto de induccin
matemtica es abordado en forma particular dada su aplicacin en proceso de anlisis y
demostracin de modelos matemticos.
El Algebra Booleana, abordada en la unidad cuatro, utilizando los teoremas y postulados
con operaciones bsicas en la simplificacin de expresiones booleanas.
En la unidad nmero cinco, se revisa la forma en que se genera una relacin a partir del
producto cartesiano, enfatizando en las de tipo binario y su representacin. Adicionalmente
se revisan las propiedades, relaciones de equivalencia, rdenes parciales y funciones como
casos particulares de relaciones.
La ltima unidad, proporciona los conocimientos relacionados con grafos: conceptos
bsicos, representacin, clasificacin; as como los algoritmos de recorrido y bsqueda. Los
rboles y las redes son revisados como un caso especial de grafos.
1

Sistema de asignacin y transferencia de crditos acadmicos

Los contenidos se abordarn de manera secuencial como los marca el programa, buscando
la aplicacin del conocimiento, para ello en cada una de las unidades, como punto final, se
propone analizar con los estudiantes, las aplicaciones en rea de las ciencias
computacionales con un enfoque basado en actividades que promuevan en el estudiante el
desarrollo de sus habilidades para trabajar en equipo y aplicar el conocimiento a la prctica,
buscando con ello que integre estos conocimientos al andamiaje personal mediante un
aprendizaje significativo.
La extensin y profundidad de los temas ser la suficiente para garantizar que el estudiante
logre las competencias sealadas oportunamente. Por otro lado, el estudiante deber
comprometerse a trabajar permanentemente en el anlisis y resolucin de ejercicios y
problemas a fin de que logre dichas competencias antes de concluir la materia.
El profesor adems de ser un motivador permanente en el proceso educativo deber ser
promotor y director de la enseanza a travs de la transmisin de su conocimiento, as
como la aplicacin de sus habilidades y destrezas utilizando las herramientas tradicionales y
digitales a su alcance para cautivar a sus estudiantes e interesarlos en el tema.
3.- COMPETENCIAS A DESARROLLAR
Competencias especficas:

Competencias genricas

Conocer y comprender los conceptos

bsicos de lgica matemtica, relaciones,
grafos y rboles para aplicarlos a modelos
que resuelvan problemas de computacin.

Competencias instrumentales
Capacidad de anlisis y sntesis
Capacidad de organizar y planificar
Conocimientos generales bsicos
Conocimientos bsicos de la carrera
Comunicacin oral y escrita en su propia
lengua
Habilidades bsicas de manejo de la
computadora
Habilidades de gestin de
informacin(habilidad para buscar y
analizar informacin proveniente de
fuentes diversas
Solucin de problemas
Toma de decisiones.
Competencias interpersonales:
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Competencias sistmicas
Capacidad de aplicar los conocimientos
en la prctica
Habilidades de investigacin
Capacidad de aprender
Capacidad de adaptarse a nuevas
situaciones
Capacidad de generar nuevas ideas
(creatividad)

Liderazgo
Habilidad para trabajar
autnoma
Preocupacin por la calidad
Bsqueda del logro

en

forma

4.- HISTORIA DEL PROGRAMA

Lugar
y
fecha
de
Participantes
elaboracin o revisin
Instituto Tecnolgico de Representantes de los
Saltillo del 5 al 9 de Institutos Tecnolgicos de:
octubre de 2009

Observaciones
(cambios y justificacin)
Reunin nacional de Diseo e
innovacin curricular de la
carrera
de
Ingeniera
en
Sistemas Computacionales

enriquecimiento
y
Representantes
de
la Anlisis,
Academia de Sistemas y elaboracin del programa de
propuesto
en
la
Computacin
e estudio
Reunin Nacional de Diseo
Informtica.
Curricular de la carrera de:
Ingeniera en Informtica y
Institutos Tecnolgicos de:
Ingeniera
en
Sistemas
Chetumal,
Conkal,
Computacionales
Mexicali, Morelia y Valle
del Guadiana.
Instituto Tecnolgico de
Colima,
Superior
de
Alvarado, Cd. Madero,
Toluca y Morelia.

Del 12 de octubre al 5 de
febrero de 2010

Instituto Tecnolgico de Representantes de los

Institutos
Tecnolgicos
Poza Rica
en
la
Del 22 al 26 de febrero de participantes
consolidacin de la carrera
2010.
de Ingeniera en Sistemas
Computacionales.

Representantes de los
Instituto Tecnolgico de Institutos Tecnolgicos de:
Aguascalientes, del 15 al Aguascalientes, Apizaco,
Cd. Madero, Colima, La
18 de Junio de 2010.
Paz, Toluca y
Villahermosa.

Reunin
nacional
de
consolidacin de la carrea de
ingeniera
en
Sistemas
Computacionales.

Reunin
Nacional
de
Fortalecimiento Curricular de
las asignaturas comunes por
reas de conocimiento para los
planes de estudios actualizados
del SNEST.

5.- OBJETIVO(S) GENERAL(ES) DEL CURSO (competencias especficas a desarrollar

en el curso)
Conocer y comprender los conceptos bsicos de lgica matemtica, relaciones,
grafos y rboles para aplicarlos a modelos que resuelvan problemas de computacin.
6.- COMPETENCIAS PREVIAS

Habilidades cognitivas de abstraccin, anlisis, sntesis y reflexin.

Habilidad y responsabilidad para trabajar en equipo.

7.- TEMARIO
Unidad
1

Temas
Sistemas numricos

Conjuntos

Lgica matemtica

Subtemas
1.1 Sistemas numricos (Binario, Octal, Decimal,
Hexadecimal)
1.2 Conversiones entre sistemas numricos.
1.3 Operaciones bsicas (Suma, Resta,
Multiplicacin, Divisin)
1.4 Algoritmos de Booth para la multiplicacin y
divisin en binario.
1.5 Aplicacin de los sistemas numricos en la
computacin.
2.1 Caractersticas de los conjuntos.
2.1.1 Conjunto universo, vaco
2.1.2 Nmeros naturales, enteros,
racionales, reales e imaginarios
2.1.3 Subconjuntos
2.1.4 Conjunto potencia
2.2 Operaciones con conjuntos (Unin,
Interseccin, Complemento, Diferencia y
diferencia simtrica)
2.3 Propiedades de los conjuntos.
2.4 Aplicaciones de conjuntos
3.1 Lgica proposicional.
3.1.1 Concepto de proposicin
3.1.2 Proposiciones compuestas
(Disyuncin, Conjuncin, Negacin,
Condicional, Bicondicional)
3.1.3 Tablas de verdad
3.1.4 Tautologas, contradiccin y
contingencia)
3.1.5 Equivalencias Lgicas
3.1.6 Reglas de inferencia
3.1.7 Argumentos vlidos y no vlidos
3.1.8 Demostracin formal (Directa, Por
contradiccin)
3.2 Lgica de predicados.
3.2.1 Cuantificadores
3.2.2 Representacin y evaluacin de
predicados

Algebra booleana

Relaciones

Teora de Grafos

3.3 Algebra declarativa

3.4 Induccin matemtica
3.5 Aplicacin de la lgica matemtica en la
computacin
4.1 Teoremas y postulados.
4.2 Optimizacin de expresiones booleanas.
4.3 Aplicacin del algebra booleana (Compuertas
lgicas)
4.3.1 Mini y maxi trminos.
4.3.2 Representacin de expresiones
booleanas con circuitos lgicos.
5.1 Conceptos bsicos.
5.1.1 Producto cartesiano
5.1.2 Relacin binaria
5.1.3 Representacin de relaciones
(matrices, conjuntos, grafos,
diagrama de flechas)
5.2 Propiedades de las relaciones (Reflexiva,
Irreflexiva, Simtrica, Asimtrica,
Antisimtrica, Transitiva).
5.3 Relaciones de equivalencia (Cerraduras,
Clases de equivalencia, Particiones)
5.4 Funciones (Inyectiva, Suprayectiva,
Biyectiva).
5.5 Aplicaciones de las relaciones y las funciones
en la computacin.
6.1 Elementos y caractersticas de los grafos.
6.1.1 Componentes de un grafo (vrtices,
aristas, lazos, valencia)
6.1.2 Tipos de grafos (Simples, completos,
bipartidos, planos, conexos,
ponderados)
6.2 Representacin de los grafos.
6.2.1 Matemtica
6.2.2.Computacional
6.3 Algoritmos de recorrido y bsqueda.
6.3.1 El camino ms corto
6.3.2. A lo ancho
6.3.3 En profundidad
6.4 Arboles.
6.4.1 Componentes (raz, hoja, padre, hijo,
descendientes, ancestros)
6.4.2 Propiedades
6.4.3 Clasificacin (altura, nmero de nodos)
6.4.4 rboles con peso
6.4.5 Recorrido de un rbol: Preorden,
Inorden, Postorden,
6.5 Redes.(teorema de flujo mximo, teorema de
flujo mnimo, pareos y redes de Petri)
6.6 Aplicaciones de grafos y rboles.

8.- SUGERENCIAS DIDCTICAS (desarrollo de competencias genricas)

El profesor debe:
Ser conocedor de la disciplina que est bajo su responsabilidad, conocer su origen y
desarrollo histrico para considerar este conocimiento al abordar los temas. Desarrollar la
capacidad para coordinar y trabajar en equipo; orientar el trabajo del estudiante y potenciar
en l la autonoma, el trabajo cooperativo y la toma de decisiones. Mostrar flexibilidad en el
seguimiento del proceso formativo y propiciar la interaccin entre los estudiantes. Tomar en
cuenta el conocimiento de los estudiantes como punto de partida y como obstculo para la
construccin de nuevos conocimientos.

Propiciar actividades de metacognicin. Ante la ejecucin de una actividad, sealar o

identificar el tipo de proceso intelectual que se realiz: una identificacin de patrones,
un anlisis, una sntesis, la creacin de un heurstico, etc. Al principio lo har el
profesor, luego ser el alumno quien lo identifique. Ejemplos: identificacin de los
diferentes tipos de sistemas numricos, propiciar procesos sistematizados para la
conversin entre diferentes sistemas numricos, elaboracin de un proceso a partir
de una serie de observaciones producto de un experimento: sntesis.
Propiciar actividades de bsqueda, seleccin y anlisis de informacin en distintas
fuentes. Ejemplo: buscar y contrastar definiciones de las propiedades de los
conjuntos identificando puntos de coincidencia entre unas y otras definiciones e
identificar cada propiedad para una situacin concreta.
Fomentar actividades grupales que propicien la comunicacin, el intercambio
argumentado de ideas, la reflexin, la integracin y la colaboracin de y entre los
estudiantes. Ejemplo: al socializar los resultados de las investigaciones y las
experiencias prcticas solicitadas como trabajo extra clase.
Relacionar los contenidos de esta asignatura con las dems del plan de estudios a
las que sta da soporte para desarrollar una visin interdisciplinaria en el estudiante.
Ejemplos: La aplicacin del algebra booleana en la construccin de circuitos
electrnicos en la unidad cuatro, o la aplicacin de las relaciones en las reas de
computacin como base de datos, estructura de datos, graficacin, sistemas
operativos, redes y programacin.
Propiciar el desarrollo de capacidades intelectuales relacionadas con la lectura, la
escritura y la expresin oral. Ejemplos: trabajar las actividades prcticas a travs de
guas escritas, redactar reportes e informes de las actividades de experimentacin,
exponer al grupo las conclusiones obtenidas durante las observaciones.
Facilitar la utilizacin de diferentes herramientas computacionales para llevar a cabo
actividades prcticas, que contribuyan a la formacin de las competencias para el
trabajo experimental como: identificacin manejo y control de variables y datos
relevantes, planteamiento de hiptesis, trabajo en equipo.
Propiciar el desarrollo de actividades intelectuales de induccin-deduccin y anlisissntesis, que encaminen hacia la investigacin.
Desarrollar actividades de aprendizaje que propicien la aplicacin de los conceptos,
modelos y metodologas que se van aprendiendo en el desarrollo de la asignatura.
Proponer problemas que permitan al estudiante la integracin de contenidos de la
asignatura y entre distintas asignaturas, para su anlisis y solucin.
Relacionar los contenidos de la asignatura con el cuidado del medio ambiente; as
como con las prcticas de una agricultura sustentable.

Cuando los temas lo requieran, utilizar medios audiovisuales para una mejor
comprensin del estudiante.
Propiciar el uso de las nuevas tecnologas en el desarrollo de la asignatura
(procesador de texto, hoja electrnica de clculo, base de datos, graficador,
simuladores, Internet, etc.).
Promover actividades de educacin holista. Por ejemplo adems de fomentar el
conocimiento y su aplicacin, promover valores personales y sociales a travs de
actividades de crecimiento personal, asistencia social y el cuidado del medio
ambiente.

9.- SUGERENCIAS DE EVALUACIN

La evaluacin debe ser continua y formativa por lo que se debe considerar el

desempeo en cada una de las actividades de aprendizaje, haciendo especial nfasis
en:
o Reportes escritos de las observaciones hechas durante las actividades realizadas
en cada unidad acadmica, as como de las conclusiones obtenidas de dichas
observaciones.
o Informacin obtenida durante las investigaciones solicitadas plasmada en
documentos escritos.
o Descripcin de otras experiencias concretas que se obtendrn al participar en
discusiones, exposiciones o cualquier otro medio didctico-profesional que trate
sobre la materia y que debern realizarse durante el curso acadmico.
o Exmenes terico-prcticos para comprobar la efectividad del estudiante en la
comprensin de aspectos tericos y su aplicacin a la solucin de casos
prcticos.
o Presentacin y exposicin de cada actividad de aprendizaje. Algunas se
evaluarn por equipo.

10.- UNIDADES DE APRENDIZAJE

Unidad 1: Sistemas numricos
Competencia especfica a
desarrollar
Sistematizar la conversin entre
sistemas numricos posicionales, as
como las operaciones bsicas de
suma, resta, multiplicacin y divisin.

Actividades de Aprendizaje
Investigar en diferentes fuentes el concepto de
sistema numrico, historia de los sistemas
numricos, utilidad, tipos de sistemas numricos,
citar ejemplos de cada uno de ellos, diferencias,
semejanzas y aplicaciones.
Formar equipos en el saln de clase y discutir el
material investigado para llegar a conclusiones
vlidas para todo el grupo.
Elaborar un ensayo con el material investigado y
analizado.
Investigar el proceso de conversin de un
nmero en decimal a binario.
En equipos de trabajo, elaborar un procedimiento
general para convertir un nmero decimal a su
equivalente en otro sistema numrico posicional.
Investigar el proceso de conversin de un
nmero en binario a decimal.
En una sesin plenaria, construir un
procedimiento general para convertir un nmero
en cualquier sistema numrico posicional al
sistema decimal.
Investigar los procedimientos para convertir del
sistema binario a octal y hexadecimal, de octal a
binario y hexadecimal, y de hexadecimal a
binario y octal mediante el uso de tablas de

equivalencia.
En grupos de trabajo, obtener una tabla general
de conversin entre los sistemas octal, binario y
hexadecimal.
Representar y convertir cantidades en los
sistemas numricos: decimal, binario, octal y
hexadecimal.
Generalizar la conversin de cantidades en
diferentes sistemas numricos.
Por medio de una hoja electrnica de clculo
desarrollar un mtodo para llevar a cabo
conversiones entre sistemas posicinales.
Investigar los algoritmos de suma, resta y
multiplicacin en sistema decimal.
Analizar en grupo el proceso para ampliar los
algoritmos de suma, resta, multiplicacin
y
divisin en sistema decimal a los sistemas
binario y hexadecimal.
Realizar operaciones bsicas de: suma, resta,
multiplicacin y divisin en los sistemas: decimal,
binario, octal y decimal.
Generalizar las operaciones de suma, resta,
multiplicacin y divisin entre los sistemas
numricos posicinales.
Por medio de una hoja electrnica de clculo
desarrollar un mtodo que permita llevar a cabo
operaciones aritmticas entre diferentes sistemas
numricos.
Realizar sumas de cantidades en binario usando
para ello complemento a dos.
Realizar multiplicaciones y divisiones en binario
usando el algoritmo de Booth.
Usando una hoja electrnica de clculo
desarrollar un mtodo para sumar dos
cantidades en complemento a dos, utilizando el
algoritmo de Booth.
Elaborar una lista de las aplicaciones de los
sistemas numricos en el rea de la
computacin.
Elaborar un mapa conceptual de la unidad de
sistemas numricos.
Unidad 2: Conjuntos
Competencia especfica a
Actividades de Aprendizaje
desarrollar
Resolver problemas que impliquen Investigar,
utilizando
diversos
medios,
operaciones
y
propiedades
de
informacin relacionada con teora de
conjuntos,
utilizando
leyes
y
conjuntos: definicin, desarrollo histrico,
diagramas.
caractersticas y propiedades de los conjuntos,

conjuntos importantes, operaciones entre

conjuntos, aplicacin de los conjuntos, entre
otras.
Elaborar un mapa conceptual donde se
represente el producto de la investigacin
realizada.
Discutir en equipos el material investigado y
llegar a conclusiones generales.
Representar
informacin
del
ambiente
cotidiano utilizando conjuntos, utilizar esta
informacin para resolver problemas con las
operaciones con conjuntos: unin, conjuncin,
complemento, diferencias, conjunto potencia.
Investigar y resolver problemas en donde se
utilicen las operaciones entre conjuntos, en
equipos de trabajo, integrar un conjunto de
problemas resueltos y analizarlos en plenaria.
Investigar individualmente la representacin de
conjuntos y sus operaciones mediante
Diagramas de Venn, en grupos de trabajo
resolver problemas que muestren esta tcnica,
como una manera de ilustrar y comprender
mejor la operacin entre conjuntos.
Representar las propiedades de los conjuntos
por medio de su Diagrama de Venn
correspondiente, analizar y discutir en plenaria
los resultados obtenidos.
Elaborar una lista de aplicaciones de los
conjuntos en el rea de la computacin.

Unidad 3: Lgica Matemtica

Competencia especfica a
Actividades de Aprendizaje
desarrollar
Analizar
y
resolver
problemas Investigar el concepto de argumento, proposicin
computacionales utilizando las tcnicas
y proposicin lgica.
bsicas de lgica e
induccin Presentar ejemplos de proposiciones lgicas
matemtica
Elaborar un esquema con los tipos de
conexiones lgicas, su representacin y tabla de
verdad.
Representar enunciados usando para ello
notacin lgica.
Analizar
ejemplos
de
evaluacin
de
proposiciones lgicas compuestas mediante
tablas de verdad.
Construir la tabla de verdad de proposiciones
lgicas compuestas propuestas como ejercicios.
Usar una hoja electrnica de clculo para
desarrollar un mtodo que permita elaborar
tablas de verdad de proposiciones compuestas.

 Identificar cuando una proposicin es una

tautologa, contradiccin y contingencia.
Obtener por medio de tablas de verdad
proposiciones
lgicamente
equivalentes,
tautologas, reglas de inferencia lgica, discutir
los resultados en grupos de trabajo.
Determinar cuando un argumento es vlido o no
usando para ello tablas de verdad y reglas de
inferencia, proporcionar ejemplos de argumentos
vlidos y no vlidos.
Investigar que es la inferencia lgica, sus
silogismos y equivalencias lgicas, discutir en
plenaria la informacin localizada.
Desarrollar ejercicios para la construccin de
demostraciones formales utilizando silogismos.
Demostrar
que
dos
proposiciones
son
lgicamente equivalentes apoyndose en las
equivalencias lgicas conocidas.
Demostrar la validez de un teorema usando para
ello la demostracin formal por el mtodo directo
y el mtodo por contradiccin, apoyndose en
tautologas, reglas de inferencia y equivalencias
lgicas conocidas.
Representar enunciados usando para ello la
lgica de predicados, operadores lgicos y
cuantificadores. Adems de obtener el valor de
verdad de dichos enunciados.
Investigar y analizar en grupos de trabajo el
concepto de algebra declarativa y su relacin con
las ciencias computacionales.
Investigar el concepto de induccin matemtica y
el mtodo de demostracin por induccin.
Analizar en grupos de trabajo el proceso de
resolucin de problemas por el mtodo inductivo.
Representar algoritmos de sumatorias como
proposiciones que sean factibles de demostrar su
validez usando induccin matemtica.
Elaborar una lista de aplicaciones de la lgica
matemtica en la computacin, justificando con
argumentos vlidos cada una de esas
aplicaciones.
Elaborar un resumen individual donde se
explique la relacin que existe entre los
elementos y conceptos de la lgica proposicional,
de predicados, el algebra declarativa y la
induccin matemtica.

Unidad 4: Algebra booleana.

Competencia especfica a
Actividades de Aprendizaje
desarrollar
Aplicar
los
conceptos
bsicos, Investigar en grupos de trabajo el concepto,
teoremas, mapas de Karnaugh y
historia, postulados y propiedades del lgebra
propiedades del lgebra booleana,
booleana.
para optimizar expresiones booleanas En reunin plenaria, discutir el material
y disear circuitos bsicos con
investigado y llegar a conclusiones vlidas para
compuertas lgicas.
todos los alumnos.
Elaborar un mapa conceptual de los conceptos
de algebra booleana, las operaciones que se
utilizan y las propiedades que contiene.
Resolver problemas de representacin de
expresiones booleanas usando para ello
compuertas bsicas (and, or, not y x-or).
Obtener expresiones booleanas a partir de una
tabla de verdad que muestre todos los posibles
valores de un sistema lgico.
Usar software para representar expresiones
boolenas por medio de compuertas lgicas.
Simplificar expresiones booleanas usando para
ello teoremas del lgebra booleana.
Desarrollar ejercicios de optimizacin de
expresiones
booleanas,
aplicando
las
propiedades del algebra booleana.
Usar software para simplificar expresiones
booleanas.
Investigar las aplicaciones del algebra booleana
en el rea de las ciencias computacionales
(circuitos lgicos).
Resolver problemas para obtener la expresin
equivalente simplificada a partir de un circuito
lgico.
Analizar circuitos lgicos bsicos: sumador de
cuatro bits.
Construir circuitos lgicos utilizando compuertas
lgicas.
Utilizar software para representar circuitos
lgicos y simular su comportamiento.
Unidad 5: Relaciones
Competencia especfica a
Actividades de Aprendizaje
desarrollar
Comprender el uso de las relaciones Investigar los conceptos de: producto cartesiano,
en el diseo y anlisis de problemas
relacin y relacin binaria, utilizando diferentes
computacionales relacionados con
fuentes de informacin.
base de datos, estructura de datos, Utilizando conjuntos, matrices y diagramas de
graficacin, sistemas operativos, redes
flechas presentar ejemplos de relaciones.

y programacin.

Investigar otros tipos de representacin y

discutirlas en grupos de trabajo.
Identificar las diferentes operaciones que pueden
realizarse entre relaciones: unin, interseccin,
complemento, inversa y composicin, resolver
ejercicios en grupos de trabajo.
Construir individualmente un esquema que
presente las propiedades de una relacin con su
definicin formal y ejemplos.
Hacer que una relacin que no tenga la
propiedad
de equivalencia, adquiera esta
propiedad aplicando las cerraduras reflexiva,
simtrica y transitiva.
Encontrar las clases de equivalencia y particin
de una relacin de equivalencia.
Determinar cundo una relacin sea de orden
parcial y determinar el diagrama de Hasse de
dicha relacin.
Realizar un cuadro comparativo entre una
relacin de equivalencia y un orden parcial,
identificando sus coincidencias y diferencias.
Usar software para llevar a cabo operaciones
entre relaciones as como para determinar las
caractersticas de estas relaciones.
Elaborar un resumen con las aplicaciones de las
relaciones de equivalencia y orden parcial en las
ciencias computacionales.
Examinar la definicin de una funcin, resumir
las diferencias con respecto al concepto de
relacin.
Analizar los diferentes tipos de funciones:
inyectiva, suprayectiva, biyectiva. Presentar
ejemplos del ambiente cotidiano donde se
muestre el comportamiento de estas funciones,
representar grficamente los resultados.
Realizar una presentacin electrnica, en grupo
de trabajo, donde se explique la aplicacin de las
relaciones y las funciones en al menos una de
las siguientes reas de la computacin: bases de
datos (relacionales), estructura de datos (listas
enlazadas), graficacin, sistemas operativos,
redes y programacin, utilizar preferentemente
animaciones.

Unidad 6: Grafos
Competencia especfica a
Actividades de Aprendizaje
desarrollar
Aplicar los conceptos bsicos de Investigar los elementos y caractersticas de los
grafos para resolver problemas afines
grafos en diferentes fuentes de informacin

al rea computacional, relacionados

con
el
recorrido,
bsqueda
y
ordenamiento en grafos, rboles y
redes.

(vrtice, arista, lazos, valencias, caminos)

Elaborar una presentacin electrnica donde se
identifiquen los conceptos bsicos investigados.
Construir un esquema donde se muestren los
diferentes tipos de grafos, sus caractersticas y
ejemplos de cada uno de ellos.
Investigar cmo se representan los grafos
utilizando matrices, identificar las razones por las
cuales se utilizan cada una de las
representaciones y cul es la ms adecuada
para su manejo en la computadora.
Investigar los diferentes algoritmos para el
clculo del nmero de caminos en un grafo, as
como el camino ms corto, analizar sus
caractersticas y determinar cul es el ms
ptimo.
Investigar cuales son las estrategias y algoritmos
de bsqueda existentes, analizar los resultados
en grupos de trabajo y presentar por escrito un
resumen
Realizar en los grafos bsqueda de informacin a
lo ancho y en profundidad.
Usar software para determinar caractersticas,
propiedades y recorridos en grafos.
Elaborar una presentacin electrnica con los
conceptos bsicos de rboles y sus propiedades.
Discriminar las diferencias entre un grafo y un
rbol.
Analizar en grupos de trabajo la clasificacin de
los rboles, presentar un resumen de resultados.
Investigar los procedimientos para realizar el
recorrido de un rbol, as como el ordenamiento
y la bsqueda de los elementos del mismo.
Elaborar ejercicios en grupo para el recorrido de
rboles en preorden, inorden y postorden.
Investigar las aplicaciones de los recorridos de
rboles en el rea de las ciencias
computacionales.
Estructurar la informacin en un rbol para llevar
a cabo evaluacin de ecuaciones matemticas y
ordenamiento de informacin por medio de sus
diferentes recorridos.
Resolver ejercicios de bsqueda a lo ancho y en
profundidad, as como el ordenamiento de
informacin utilizando rboles.
Usar Software para llevar a cabo balanceos de
rboles, recorrido de informacin, bsquedas,
codificacin y decodificacin de informacin por
medio del mtodo de Huffman.

11.- FUENTES DE INFORMACIN

Fuentes impresas (libros)
1. Brookshear, J. Glenn.; Teora de la computacin. Addison-Wesley Iberoamricana.
Estados Unidos. 1993.
2. Garca Valle, J. Luis. Matemticas especiales para computacin. Ed. McGraw-Hill.
Mxico. 1993.
3. Grassmann, Winfried Karl. Tremblay, Jean-Paul. Matemtica Discreta y Lgica, una
perspectiva desde la ciencia de la computacin. Ed. Prentice Hall. Espaa. 1997.
4. Grimaldi, Ralph P. Matemticas discreta y combinatoria 3. edicin. Ed. Pearson
Educacin. Mxico. 1998
5. Jimnez Murillo, Jos Alfredo. Matemticas para la computacin. Ed. Alfaomega.
Mxico. 2008.
6. Johnsonbaugh, Richard. Matemticas Discretas. sexta edicin. ed. Pearson Educacin.
Mxico. 2005.
7. Kolman, Bernard. Busby, Robert C. Ross, Sharon. Estructuras de Matemticas
Discretas para la Computacin. 3 Edicin Prentice Hall. Mxico. 1997.
8. Kelly, Dean. Teora de Autmatas y Lenguajes Formales. Ed. Prentice Hall. Espaa.
1995.
9. Lipschutz, Seymour. Matemticas para la Computacin. Ed. Mc-Graw Hill. Colombia.
1990.
10. Liu, C. L. Elementos de Matemticas Discretas. Ed. Mc Graw-Hill. Mxico. 1995.
11. Rosen, Kenneth H. Matemtica Discreta y sus aplicaciones". 5. Edicin. McGraw-Hill.
Espaa. 2004.
12. Ross, Kenneth A. Wright Charles R. B. Discrete mathematics 5a Edicin. Pearson
Education, U.S.A. 2003
13. Skreeumar, D. P. Acharjya; Fundamental Approach to Discrete Mathematics. Ed. New
Age International Publisher. USA. 2005.
14. Suppes, Patrick, Hill, Shirley. Primer Curso de Lgica Matemtica. 3. Edicin. Ed.
Revert. Espaa. 2008.
15. Tremblay, Jean Paul; Matemticas discretas. Con aplicacin a las ciencias de la
computacin; Ed. CECSA. Mxico. 1996.
Fuentes electrnicas
Barcel, A. 2007. Qu tan matemtica es la lgica matemtica? Disponible desde
Internet en: <http://dianoia.filosoficas.unam.mx/info/2003/d51-Barcelo.pdf> [con
acceso el 1 de Febrero de 2010]
Universidad Autnoma de Mxico. 2006. Matemticas IV (Matemticas Discretas).
Mxico.
Disponible
desde
Internet
en:
<http://fcaenlinea.unam.mx/apuntes/interiores/docs/98/6/mate_4.pdf> [Con acceso el 4
de enero de 2010]
Instituto Tecnolgico de Buenos Aires. 2001. Matemtica Discreta. Argentina. [Web en
lnea]. [con acceso el 8 de enero de 2010]
<http://www.allaboutcircuits.com/> Fecha desconocida. All About Circuits. USA [Web
en lnea]. [con acceso el 8 de enero de 2010]
Scribd. 2007. Microprocesadores. U.S.A. [Publicacin en lnea]. Disponible desde Internet
en: <http://www.scribd.com/doc/338381/MICROPROCESADORES> [con acceso el 4 de
diciembre de 2009]
Textos electrnicos, bases de datos y programas informticos
SISTEMAS DIGITALES BY YORSH.rar, <http://www.megaupload.com/?d=3VJUJ5IF>

12.- PRCTICAS PROPUESTAS (aqu slo describen brevemente, queda pendiente la

descripcin con detalle).
1. Elaborar a travs de una hoja electrnica de clculo un proceso para la
conversin y realizacin de operaciones aritmticas bsicas de cantidades en
diferente base numrica.
2. Buscar en Internet software que permita llevar a cabo ejercicios de conversin,
operaciones matemticas bsicas (suma, resta, multiplicacin y divisin) en
diferentes sistemas numricos, utilizarlo para resolver problemas planteados en
clase.
3. Utilizando herramientas computacionales disponibles para el alumno, representar
el comportamiento de las operaciones con conjuntos mediante diagramas de
Venn.
4. Elaborar, con ayuda de una hoja electrnica de clculo, un proceso para llevar a
cabo la evaluacin de una proposicin compuesta mediante tablas de verdad.
5. Utilizando un simulador, verificar el comportamiento de una expresin
proposicional.
6. Utilizacin de diagramas de Venn para la determinacin de razonamiento.
7. Construir un circuito usando compuertas lgicas, implementarlas utilizando
software para la construccin de circuitos electrnicos.
8. Ejemplificar el modelo relacional utilizado en las bases de datos.
9. Utilizando software disponible para el alumno, determinar las propiedades de una
relacin, aplicar cerraduras para lograr que una relacin sea de equivalencia y
determinar el diagrama de Hasse de relaciones de orden parcial.
10. Representar un grafo utilizando una hoja electrnica de clculo, y obtener el
nmero de caminos de longitud n mediante el clculo correspondiente.
11. Mediante software disponible para el alumno, determinar caractersticas,
propiedades y recorridos importantes en un grafo.
12. Desarrollar el algoritmo del camino ms corto.
13. Realizar el recorrido de un rbol que represente una expresin matemtica y
obtener su valor usando para ello el concepto de pila para almacenar resultados.
14. Crear un rbol binario a partir de una lista de nmeros aleatorios y llevar a cabo
bsquedas y ordenamiento de dichos datos.
15. Usar software disponible para el estudiante, con el cual se simule el recorrido,
bsqueda de informacin, representacin y evaluacin de un rbol.