Vous êtes sur la page 1sur 22

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.

Sistema de Asignacin y Transferencia de Crditos Acadmicos

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.
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


Competencias instrumentales
bsicos
de
lgica
matemtica,
Capacidad de anlisis y sntesis
relaciones, grafos y rboles para
Capacidad de organizar y planificar
aplicarlos a modelos que resuelvan
Conocimientos generales bsicos
problemas de computacin.
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 en forma
autnoma
Preocupacin por la calidad
Bsqueda del logro.

4.- HISTORIA DEL PROGRAMA


Lugar y fecha de
Participantes
elaboracin o revisin
Representantes de los Institutos
Tecnolgicos de:
Superior de Alvarado, Superior de
Arandas, Campeche, Celaya,
Superior de Centla, Cerro Azul,
Superior de Champotn, Superior
de
Ciudad
Acua,
Ciudad
Cuauhtmoc, Ciudad Jurez,
Ciudad Madero, Ciudad Valles,
Superior
de
Coatzacoalcos,
Superior de Cocula, Colima,
Comitn, Durango, El Istmo,
Superior de Huetamo, La Laguna,
La Paz, Lzaro Crdenas,
Superior de Lerdo, Superior de
Instituto
Tecnolgico
Libres, Linares, Superior de
Saltillo, del 5 al 9 de
Macuspana, Matamoros, Mrida,
octubre de 2009.
Mexicali, Morelia, Nuevo Laredo,
Nuevo
Len,
Superior
del
Occidente del Estado de Hidalgo,
Ocotln, Orizaba, Superior del
Oriente del Estado de Hidalgo,
Parral, Piedras Negras, Pinotepa,
Saltillo, San Luis Potos, Superior
del Sur de Guanajuato, Superior
del
Estado
de
Yucatn,
Tapachula, Superior de Tepexi de
Rodrguez, Superior de Teziutln,
Tijuana,
Toluca,
Tuxtepec,
Veracruz, Villahermosa, Superior
de
Xalapa,
Zacatecas
y
Zacatepec.
Desarrollo de Programas Academias de Ingeniera en
en
Competencias Sistemas Computacionales de los
Profesionales por los Institutos Tecnolgicos:
Institutos Tecnolgicos Colima, Superior de Alvarado,
del 12 de octubre de Campeche, Pinotepa, Toluca,
2009 al 19 de febrero de Superior de Libres, Morelia y La
2010.
Laguna.
Representantes de los Institutos
Tecnolgicos de:
Superior de Alvarado, Superior de
Instituto
Tecnolgico
Arandas, Campeche, Celaya,
Superior de Poza Rica,
Superior de Centla, Cerro Azul,
del 22 al 26 de febrero
Superior de Champotn, Superior
de 2010.
de
Ciudad
Acua,
Ciudad
Cuauhtmoc, Ciudad Jurez,
Ciudad Madero, Ciudad Valles,

Evento

Reunin
Nacional
de
Diseo
e
Innovacin
Curricular
para
el
Desarrollo y Formacin de
Competencias
Profesionales
de
la
Carrera de Ingeniera en
Sistemas
Computacionales.

Elaboracin del programa


de estudio propuesto en la
Reunin
Nacional
de
Diseo Curricular de la
Carrera de Ingeniera en
Sistemas
Computacionales.
Reunin
Nacional
Consolidacin
de
Programas
Competencias
Profesionales
de
Carrera de Ingeniera
Sistemas
Computacionales.

de
los
en
la
en

Lugar y fecha de
elaboracin o revisin

Participantes

Superior
de
Coatzacoalcos,
Superior de Cocula, Colima,
Comitn, Durango, El Istmo,
Superior de Huetamo, La Laguna,
La Paz, Lzaro Crdenas,
Superior de Lerdo, Superior de
Libres, Superior de Macuspana,
Matamoros, Mrida, Mexicali,
Morelia, Nuevo Laredo, Nuevo
Len, Superior del Occidente del
Estado de Hidalgo, Ocotln,
Orizaba, Superior del Oriente del
Estado de Hidalgo, Parral,
Piedras
Negras,
Pinotepa,
Saltillo, San Luis Potos, Superior
del Sur de Guanajuato, Superior
del
Estado
de
Yucatn,
Tapachula, Superior de Tepexi de
Rodrguez, Superior de Teziutln,
Tijuana,
Toluca,
Tuxtepec,
Veracruz, Villahermosa, Superior
de
Xalapa,
Zacatecas
y
Zacatepec.
Representantes de los Institutos
Tecnolgicos de:
Apizaco, Cerro Azul, Chetumal,
Ciudad Jurez, Ciudad Madero,
Superior
de
Coatzacoalcos,
Colima, Comitancillo, Conkal,
Durango,
El
Llano
Aguascalientes, El Salto, Superior
de Fresnillo, Huejutla, Superior de
Instituto
Tecnolgico
Lerdo, Linares, Los Mochis,
Saltillo, del 5 al 9 de
Mexicali,
Morelia,
Oaxaca,
octubre de 2009.
Superior del Occidente del
Estado de Hidalgo, Ocotln,
Orizaba,
Piedras
Negras,
Pinotepa, Saltillo, San Luis
Potos,
Tapachula,
Tijuana,
Torren, Tuxtepec, Superior de
Valladolid, Valle del Guadiana,
Superior de Zacapoaxtla y
Zacatecas.
Desarrollo de Programas Academias
de
Ingeniera
en
Competencias Informtica de los Institutos
Profesionales por los Tecnolgicos:
Institutos Tecnolgicos Chetumal
del 12 de octubre de
2009 al 19 de febrero de

Evento

Reunin
Nacional
de
Diseo
e
Innovacin
Curricular
para
el
Desarrollo y Formacin de
Competencias
Profesionales
de
la
Carrera
de
Ingeniera
Informtica.

Elaboracin del programa


de estudio propuesto en la
Reunin
Nacional
de
Diseo Curricular de la
Carrera
de
Ingeniera
Informtica.

Lugar y fecha de
elaboracin o revisin
2010.

Instituto
Tecnolgico
Superior de Poza Rica,
del 22 al 26 de febrero
de 2010.

Instituto Tecnolgico de
Aguascalientes, del 15 al
18 de Junio de 2010.

Participantes
Representantes de los Institutos
Tecnolgicos de:
Apizaco, Cerro Azul, Chetumal,
Ciudad Jurez, Ciudad Madero,
Superior
de
Coatzacoalcos,
Colima, Comitancillo, Conkal,
Durango,
El
Llano
Aguascalientes, El Salto, Superior
de Fresnillo, Huejutla, Superior de
Lerdo, Los Mochis, Mexicali,
Morelia, Oaxaca, Superior del
Occidente del Estado de Hidalgo,
Ocotln,
Orizaba,
Piedras
Negras, Pinotepa, Saltillo, San
Luis Potos, Tapachula, Tijuana,
Torren, Tuxtepec, Superior de
Valladolid, Valle del Guadiana,
Superior de Zacapoaxtla y
Zacatecas.
Representantes de los Institutos
Tecnolgicos de:
Acapulco,
Aguascalientes,
Altiplano de Tlaxcala, Apizaco,
Boca
del
Ro,
Ciudad
Cuauhtmoc, Ciudad Jurez,
Ciudad Madero, Ciudad Victoria,
Celaya, Chetumal, Chihuahua,
Chilpancingo,
Superior
de
Coatzacoalcos, Colima, Cuautla,
Durango, Superior de El Dorado,
El Llano de Aguascalientes,
Huejutla, Huatabampo, Superior
de Huixquilucan, Iguala, Superior
de Irapuato, La Laguna, La Paz,
Len, Linares, Superior de
Macuspana,
Matamoros,
Mazatln,
Mrida,
Mexicali,
Nuevo Laredo, Superior del
Oriente del Estado de Hidalgo,
Orizaba, Pachuca, Superior de
Ptzcuaro, Superior de Poza
Rica, Superior de Progreso,
Puebla, Superior de Puerto
Vallarta, Quertaro, Reynosa,
Roque, Salina Cruz, Saltillo, San
Luis
Potos,
Superior
de
Tacmbaro,
Superior
de
Tamazula
de
Gordiano,

Evento

Reunin
Nacional
de
Consolidacin
de
los
Programas
en
Competencias
Profesionales
de
la
Carrera
de
Ingeniera
Informtica.

Reunin
Nacional
de
Implementacin Curricular
y
Fortalecimiento
Curricular
de
las
asignaturas comunes por
rea de conocimiento para
los planes de estudio
actualizados del SNEST.

Lugar y fecha de
elaboracin o revisin

Instituto Tecnolgico de
Aguascalientes, del 15 al
18 de Junio de 2010.

Participantes
Tehuacn,
Tijuana
Tlaxiaco,
Toluca,
Torren,
Tuxtepec,
Superior de Venustiano Carranza,
Veracruz,
Villahermosa,
Zacatecas,
Superior
de
Zonglica.
Representantes de los Institutos
Tecnolgicos de:
Aguascalientes, Apizaco, Cd.
Madero, Colima, La Paz, Toluca y
Villahermosa.

Evento

Elaboracin del programa


de estudio equivalente en
la Reunin Nacional de
Implementacin Curricular
y
Fortalecimiento
Curricular
de
las
asignaturas comunes por
rea de conocimiento para
los planes de estudio
actualizados del SNEST.

5.- OBJETIVO GENERAL DEL 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

Temas

Subtemas
1.1. Sistemas numricos
Decimal, Hexadecimal)

(Binario,

Octal,

1.2. Conversiones entre sistemas numricos.


1.

Sistemas numricos

1.3. Operaciones bsicas


Multiplicacin, Divisin)

(Suma,

Resta,

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.

Conjuntos

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.

Lgica matemtica

3.1.2. Proposiciones
compuestas
(Disyuncin, Conjuncin, Negacin,
Condicional, Bicondicional)
3.1.3. Tablas de verdad
3.1.4. Tautologas,
contingencia)

contradiccin

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
predicados

evaluacin

de

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.

Algebra booleana

4.3. Aplicacin
del
algebra
(Compuertas lgicas)

booleana

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.

Relaciones

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
Biyectiva).

(Inyectiva,

Suprayectiva,

5.5. Aplicaciones de las relaciones


funciones en la computacin.

las

6.1. Elementos y caractersticas de los grafos.


6.

Teora de 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
nodos)

(altura,

nmero

de

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


El docente 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:
Reportes escritos de las observaciones hechas durante las actividades realizadas en
cada unidad acadmica, as como de las conclusiones obtenidas de dichas
observaciones.
Informacin obtenida durante las investigaciones solicitadas plasmada en documentos
escritos.
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.
Exmenes terico-prcticos para comprobar la efectividad del estudiante en la
comprensin de aspectos tericos y su aplicacin a la solucin de casos prcticos.
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

Unidad 2: Conjuntos
Competencia especfica a desarrollar
Resolver problemas que impliquen
operaciones y propiedades de
conjuntos,
utilizando
leyes
y
diagramas.

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.

Actividades de Aprendizaje
Investigar, utilizando diversos medios,
informacin relacionada con teora de
conjuntos: definicin, desarrollo histrico,
caractersticas y propiedades de los

Unidad 3: Lgica Matemtica


Competencia especfica a desarrollar
Analizar
y
resolver
problemas
computacionales
utilizando
las
tcnicas bsicas de lgica e
induccin matemtica.

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.

Actividades de Aprendizaje
Investigar el concepto de argumento,
proposicin y proposicin lgica.
Presentar ejemplos de proposiciones
lgicas
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.

Unidad 4: Algebra booleana


Competencia especfica a desarrollar
Aplicar los conceptos bsicos,
teoremas, mapas de Karnaugh y
propiedades del lgebra booleana,
para optimizar expresiones booleanas
y disear circuitos bsicos con
compuertas lgicas.

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.

Actividades de Aprendizaje
Investigar en grupos de trabajo el concepto,
historia, postulados y propiedades del
lgebra booleana.
En reunin plenaria, discutir el material
investigado y llegar a conclusiones vlidas
para 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.

Unidad 5: Relaciones
Competencia especfica a desarrollar
Comprender el uso de las relaciones
en el diseo y anlisis de problemas
computacionales relacionados con
base de datos, estructura de datos,
graficacin,
sistemas
operativos,
redes y programacin.

Utilizar software para representar circuitos


lgicos y simular su comportamiento.

Actividades de Aprendizaje
Investigar los conceptos de: producto
cartesiano, relacin y relacin binaria,
utilizando
diferentes
fuentes
de
informacin.
Utilizando conjuntos, matrices y diagramas
de flechas presentar ejemplos de
relaciones. 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

Unidad 6: Grafos
Competencia especfica a desarrollar
Aplicar los conceptos bsicos de
grafos para resolver problemas afines
al rea computacional, relacionados
con el recorrido, bsqueda y
ordenamiento en grafos, rboles y
redes.

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.

Actividades de Aprendizaje
Investigar los elementos y caractersticas
de los grafos en diferentes fuentes de
informacin
(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


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. McGrawHill. 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.
16. 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]
17. 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]
18. 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]
19. 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]
20. Textos electrnicos, bases de datos y programas informticos
21. SISTEMAS DIGITALES BY YORSH.rar, <http://www.megaupload.com/?d=3VJUJ5IF>
12.- PRCTICAS PROPUESTAS
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.

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.
Utilizando herramientas computacionales disponibles para el alumno, representar el
comportamiento de las operaciones con conjuntos mediante diagramas de Venn.
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.
Utilizando un simulador, verificar el comportamiento de una expresin proposicional.
Utilizacin de diagramas de Venn para la determinacin de razonamiento.
Construir un circuito usando compuertas lgicas, implementarlas utilizando software
para la construccin de circuitos electrnicos.
Ejemplificar el modelo relacional utilizado en las bases de datos.
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.
Representar un grafo utilizando una hoja electrnica de clculo, y obtener el nmero
de caminos de longitud n mediante el clculo correspondiente.
Mediante software disponible para el alumno, determinar caractersticas, propiedades
y recorridos importantes en un grafo.
Desarrollar el algoritmo del camino ms corto.
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.
Crear un rbol binario a partir de una lista de nmeros aleatorios y llevar a cabo
bsquedas y ordenamiento de dichos datos.
Usar software disponible para el estudiante, con el cual se simule el recorrido,
bsqueda de informacin, representacin y evaluacin de un rbol.