UNIVERSIDAD TECNOLGICA DE PANAM

Facultad de Ingeniera de Sistemas Computacionales

PROGRAMA DE ASIGNATURA

I. DATOS GENERALES
1. Denominacin de la Asignatura: Fundamentos de Computacin Cdigo: 8448 Semestre: II Ao: I
2. Carrera: Licenciatura en Ingeniera de Sistemas de Informacin
3. Tipo de Asignatura: Ciencias Aplicadas a la ingeniera Prerrequisitos: Tecnologa de Informacin y Comunicacin /
Desarrollo de Software I
4. Crditos: 4

Cantidad de Horas Tericas: 4

Horas de Laboratorio: 1

5. Profesor Responsable de la elaboracin y actualizacin del Programa: Ing. Ana Teresa de Martnez
6. Fecha de Aprobacin del Programa: 11 de Marzo de 2005
7. Intensidad: 5 horas por semana
8. Ubicacin: Sede Provisional

II.

PARADIGMA EDUCATIVO DE LA UNIVERSIDAD TECNOLGICA DE PANAM

1. MISION DE LA UNIVERSIDAD: Formar y capacitar integralmente al ms alto nivel, recurso humano que genere,
transforme, proyecte y transfiera ciencia y tecnologa para emprender, promover e impulsar el desarrollo tecnolgico,
econmico, social y cultural del pas.

MISIN DE LA FACULTAD: Formar y mantener actualizado recurso humano de la ms alta calidad y

confiabilidad, como ciudadano integral, dotado de todas las capacidades y destrezas que requiera el mercado de las
tecnologas de informacin y comunicacin (TICs), para contribuir al desarrollo de nuestro pas.

III. IMAGEN CONCEPTUAL E INSTRUCCIONAL DE LA ASIGNATURA (JUSTIFICACIN Y

DESCRIPCIN)
JUSTIFICACIN:
El estudio de los principios tericos matemticos-lgicos de las Ciencias de la Computacin es un requerimiento en toda
carrera de Ingeniera de Sistemas de Informacin, por lo cual se justifica plenamente su enseanza. El curso Fundamentos de
Computacin pretende suministrar al estudiante los fundamentos matemticos-lgicos ms importantes dentro de las ciencias
computacionales, sin los cuales las estructuras de datos, las bases de datos, sistemas operativos y dems paquetes de aplicacin
no seran posibles.

DESCRIPCIN:
Se presenta una seleccin de tpicos bsicos y tiles para estudiantes de ciencias de la computacin e ingeniera de
Sistemas. Con el material de este curso se intenta ensear a los estudiantes principios y tcnicas matemticas tiles, de manera
interesante y motivadora, esperando demostrarles como las matemticas pueden ser aplicadas para resolver problemas difciles
de la vida real. Adems, esperamos que no solo aprendan en el curso algunas herramientas matemticas muy tiles, sino que
tambin desarrollen sus habilidades para percibir, formular y resolver problemas matemticos lgicos. Se trata de llevar un punto
de vista algortmico y cientfico.
El curso de Fundamentos de Computacin esta dividido en 3 mdulos:

Mdulo 1: Conceptos bsicos de la teora de conjuntos.

Contiene una variedad de material bsico que se requiere en el

curso. Entre ste se encuentra, conjuntos, subconjuntos y sus operaciones; sucesiones; tcnicas de conteo e induccin y
recursin.
Mdulo 2: Representacin grfica de las relaciones y funciones de un conjunto. Presenta tipos bsicos de relaciones y sus
propiedades, adems de su representacin como grficas dirigidas. Se exploran las conexiones con matrices y otras
estructuras de datos.

Tambin se trata de la nocin de una funcin de un conjunto y se da varios ejemplos importantes

de los tipos especiales de funciones.

Mdulo 3: Grupos, semigrupos y codificacin de informacin binaria. Se presenta la teora bsica de los semigrupos y
grupos que son otros tipos de estructuras matemticas tiles en la aplicacin de la teora de cdigos, desarrolladas para
introducir informacin redundante en los datos trasmitidos que ayuden a detectar y corregir errores.
El curso est ubicado en el segundo semestre de I ao de la carrera de Licenciatura en Ingeniera de Sistemas Informacin
con un total de 4 crditos.
Recomendamos, las exposiciones magistrales combinadas con el desarrollo de una gran variedad de problemas, lo cual es
muy importante para la asimilacin del material por el estudiante. Adems de que, se trate de llevar un punto de vista
algortmico en el tratamiento de varios tpicos, adems de la necesidad que se planeen proyectos donde se apliquen las diversas
tcnicas vistas en clase.

EVALUACIN:
En cuanto a la evaluacin recomendamos:
3 pruebas parciales (sumatorias)

35%

1 prueba final semestral

35%

3 proyectos

20%

Tareas, asistencia, participacin

10%

IV. OBJETIVOS GENERALES:

1. Conocer los fundamentos ms importantes de la matemtica discreta y lgica computacional, sin los cuales las estructuras de
datos, bases de datos, sistemas operativos, lgica algortmica y paquetes de aplicacin no serian posibles.
2. Aplicar los conceptos bsicos aprendidos a la resolucin de problemas simples y relativamente complejos dentro del rea de las
matemticas discretas y la lgica computacional.

PROGRAMACIN ANALTICA

Nombre del Mdulo I:

CONCEPTOS BSICOS DE LA TEORA DE CONJUNTOS

Objetivos Terminales:

Conocer los conceptos de la matemtica computacional que soportan las estructuras informticas
bsicas, con miras a una mejor comprensin de los procesos computacionales.

Duracin: Seis (6) semanas.

Horas dedicadas: 30
OBJETIVOS
ESPECFICOS

Conocer las notaciones

y terminologas de la
teora de conjuntos
Revisar y comprobar
ejemplos ilustrativos
sobre la teora de
conjuntos.
Definir las diferentes
operaciones de
conjuntos.

CONTENIDO
(conceptual, procedimental
y actitudinales

I. CONCEPTOS BASICOS
1. Conjuntos
1.1 Conjuntos y sus miembros
1.2 Subconjuntos
1.3 Conjunto Universal
1.4 Conjunto Vaco
1.5 Conjunto Finito
1.6 Conjunto Infinito
1.7 Cardinalidad y Conjunto
Potencia

2. Operaciones de conjuntos

2.1
2.2
Analizar las diferentes 2.3
operaciones de
2.4
conjuntos que permitan 2.5
combinar conjuntos
2.6
dados para formar
nuevos conjuntos.
2.7
Definir el concepto

Unin
Interseccin
Conjuntos disjuntos
Complemento relativo
Diferencia simtrica
Propiedades del Algebra de
conjuntos
Principio de la adiccin para
conjuntos disjuntos

ESTRATEGIA
DIDACTICA
Tcnicas
Actividades
Exposicin
dialogada.
Pequeos
grupos de
discusin.

Presentacin de
los temas;
realizar
preguntas,
respuestas y
conclusiones

Demostracin Organizar grupos

y prcticas en de trabajos,
el aula.
discutir agendas
de trabajo y
Exposicin
trabajar en
dialogada.
equipos.
Pequeos
grupos de
discusin.

Demostraciones
por el profesor y
los alumnos.

Demostracin Aclarar dudas.

y prcticas en
el aula.
Elaboracin y
presentacin de
informes.

RECURSOS

EVALUACIN

Tablero
Tiza.
Marcadores
Borrador
Papel

Trabajo en
equipo.

Retroproyector
Transparencias

Prcticas en
clase.

CDs
Cinta o tintas
de impresoras
Computadora

Prueba formativa

Bibliografa

Prueba sumativa

Resolucin de
problemas.

Pruebas Tericas
y prcticas

Proyectos.

sucesiones.
Representar una
sucesin mediante una
frmula recursiva o
explcita
Distinguir entre las
sucesiones finitas e
infinitas.
Identificar la forma de
representar los
conjuntos en una
computadora.
conocer y usar varias
tcnicas de conteo para
establecer el numero de
elementos de conjuntos
finitos muy grandes, sin
enumerar todos sus
elementos
Presentar las tcnicas de
demostracin que se
utiliza para establecer la
veracidad de una lista
infinita de proposiciones

3. Sucesiones
3.1 Formulas recursivas y explcitas
3.2 Sucesiones finitas e infinitas
3.3 Conjunto correspondiente a una
sucesin
3.4 Funcin caracterstica
3.5 Representacin en computadora
de conjuntos y subconjuntos
3.6 Conjunto numerable y no
numerable
3.7 Cadenas y expresiones
regulares(ampliar)

4. Tcnicas de Conteo

Exposicin
dialogada.
Pequeos
grupos de
discusin.

Demostracin
y prcticas en Organizar grupos
de trabajos,
el aula.
discutir agendas
de trabajo y
trabajar en
equipos.

4.1 Reglas de la suma y el producto

4.2 Teoremas sobre el principio de la
multiplicacin
Exposicin
4.3 Permutaciones
dialogada.
4.4 Combinaciones
Pequeos
grupos de
5. Induccin y Recursin
discusin.
5.1 Principio de induccin
matemtica
5.2 Principio de Recursin

6. Problemas Propuestos

Presentacin de
los temas;
realizar
preguntas,
respuestas y
conclusiones

Tablero
Tiza.
Marcadores
Borrador
Papel
Retroproyector
Transparencias

Trabajo en
equipo.
Resolucin de
problemas.
Prcticas en
clase.
Prueba formativa

CDs
Cinta o tintas
de impresoras
Computadora

Pruebas Tericas
y prcticas
Prueba sumativa

Demostraciones
por el profesor y
los alumnos.
Aclarar dudas.

Asignacin de
ejercicios,
Demostracin orientadas a los
y prcticas en alumnos y retroel aula.
alimentacin

Bibliografa
Proyectos.

Nombre del Mdulo II: REPRESENTACIN GRFICA DE LAS RELACIONES Y FUNCIONES DE UN CONJUNTO.
Objetivos Terminales: 1) Describir la estructura matemtica que permite comparar varios elementos de un conjunto, acomodarlos
en un orden apropiado o agrupar propiedades semejantes, poniendo nfasis en la aplicacin informtica
de tales estructuras.
2) Estudiar diferentes mtodos geomtricos y algebraicos para la representacin de objetos en la memoria
de un computador.
3) Presentar algunos tipos de manipulaciones algebraicas tiles que pueden realizarse con las relaciones
binarias y su aplicacin en los procesos de la lgica algortmica.
Duracin: Seis (6) semanas.
Horas dedicadas: 30
OBJETIVOS
ESPECFICOS

CONTENIDO
(conceptual, procedimental
y actitudinales

Definir los conceptos bsicos de la

teora
I.

RELACIONES Y
GRAFOS DIRIGIDOS

ESTRATEGIA
DIDACTICA
RECURSOS
Tcnicas
Actividades
Exposicin
dialogada.

Conocer la forma en que se puede

comparar, acomodar o agrupar
Pequeos
1. Producto cartesiano o
varios elementos de un conjunto.
grupos de
conjunto producto
discusin.
Comprender cmo se usan los
mtodos geomtricos y algebraicos 2. Relaciones y dgrafos
Demostracin
para la representacin de dos o ms
y prcticas en
objetos.
3. Trayectoria en relaciones y
el aula.
dgrafos
Hacer la interpretacin grfica de
Talleres
los dgrafos de la relacin
Prcticas en
Saber las diferencias fundamentales 4. Propiedades de las
saln
de clase
entre las propiedades de la relacin
relaciones

Presentacin
de los temas.

EVALUACIN

Realizar
preguntas.

Tablero
Tiza.
Marcadores
Borrador
Papel

Tareas de
problemas.

Organizar
grupos de
trabajos.

Retroproyector
Transparencias

Prcticas en
clase.

CDs
Cinta o tintas
de impresoras
Computadora

Prueba
formativa

Discutir
agendas de
trabajo.
Trabajar en
equipos.

Bibliografa

Trabajo en
equipo.

Pruebas
Tericas y
prcticas

Apreciar la utilidad de la relacin

de equivalencia en las ciencias de la 5. Relaciones de equivalencia
computacin

Elaboracin
de informes.
Presentacin
de
resultados.

Ser capaz de definir operaciones

que permitan la manipulacin de 6. Manipulacin de relaciones
relaciones.

Organizar
grupos de
trabajo.

7. Problemas Propuestos

Definir los tipos de funciones que se

utilizan en las ciencias de la

computacin.

II.
1.

Conocer las propiedades bsicas de 2.

las funciones.
Analizar varios tipos especiales de
funciones.
Mostrar
algunas
aplicaciones
importantes de las funciones.

FUNCIONES

Exposicin
dialogada.
Pequeos
grupos de
discusin.

Presentar y
sustentar
proyectos.

Dar
seguimiento
y apoyo a
Tipos de funciones
trabajos.
especiales
Demostracin
2.1
Funcin
y prcticas en
Asignar
inyectiva
el aula.
ejercicios
y
2.2
Funcin
Talleres
retrosuprayectiva
alimentar
2.3
Funcin
Prcticas en
sobre
invertidas
saln de clase resultados
Definicin de funcin

3.

Funciones idnticas

4.

Composicin de
funciones

5.

Problemas Propuestos

Tablero
Tiza.
Marcadores
Borrador
Papel

Presentaciones
orales.

Retroproyector
Transparencias

Presentaciones
de proyectos.

Diskettes
Cinta o tintas
de impresoras
Computadora
Bibliografa

Prueba
sumativa

Nombre del Mdulo III: GRUPOS, SEMIGRUPOS Y CODIFICACIN DE INFORMACIN BINARIA.

Objetivos Terminales: 1) Identificar el tipo de estructura matemtica en la que las operaciones asociativas combinan dos objetos
matemticos o elementos de un conjunto, poniendo en relieve su utilizacin en la verificacin
semntica de los tipos en un lenguaje de programacin.
2) Aprender a definir una operacin binaria como una funcin, la cual debe ser lo suficientemente simple
como para que el costo computacional sea mnimo.
3) Desarrollar las ideas bsicas de la teora de grupos para aplicarlas a la generacin de cdigos en la
construccin de compiladores.
Duracin:

Cuatro (4) semanas.

Horas dedicadas:

20

OBJETIVOS
ESPECFICOS

CONTENIDO
(conceptual, procedimental
y actitudinales

ESTRATEGIA
DIDACTICA
Tcnicas
Actividades

Comprender la diferencia I. GRUPOS Y SEMIGRUPOS

Exposicin Presentacin de
entre una operacin binaria
dialogada.
los temas.
para definir una funcin y 1. Operaciones binarias sobre un
Realizar
definir
una
operacin
Pequeos
conjunto
preguntas.
binaria como una funcin.
grupos de
1.1 Definiciones
discusin.
1.2 Propiedades de las
Organizar
Definir
un
sistema
operaciones binarias
grupos de
matemtico sencillo para
Demostracin
trabajos.
combinar dos elementos de 2. Semigrupos
y prcticas en
un conjunto.
el aula.
Discutir agendas
2.1 Definiciones
de trabajo.
2.2 Teoremas de los semigrupos
Talleres
Obtener nuevos semigrupos
2.3 Productos y Cocientes de los
Trabajar en
a partir de semigrupos
semigrupos
Prcticas
en
equipos.
existentes.

RECURSOS

EVALUACIN

Tablero
Tiza.
Marcadores
Borrador
Papel

Trabajo en
equipo.

Retroproyector
Transparencias

CDs
Cinta o tintas
de impresoras
Computadora

Tareas de
problemas.
Prcticas en
clase.
Prueba
formativa
Pruebas
Tericas y

Obtener nuevos grupos a

partir de otros, usando la
idea de productos y
cocientes.

3. Grupos
saln de clase
3.1 Definiciones
Elaboracin de
3.2 Teoremas de los grupos
Proyectos
informes.
3.3 Productos y Cocientes de los
Presentacin de
grupos
resultados.

Conocer los conceptos que 4. Codificacin de informacin

utilizan la teora de grupos
binaria y deteccin de errores
para introducir informacin
redundante en los datos que 5. Decodificacin y correccin de
ayuda a detectar y corregir
errores
errores.
6. Problemas Propuestos

Organizar
grupos de
trabajo.
Presentar y
sustentar
proyectos.
Dar seguimiento
y apoyo a
trabajos.
Asignar
ejercicios y
retro-alimentar
sobre resultados

prcticas
Bibliografa
Prueba sumativa
Presentaciones
de proyectos.

BIBLIOGRAFA
1. KOLMAN, Bernard. BUSBY, Robert y ROSS, Sharon. Estructura de Matemticas Discretas para la Computacin. Tercera
edicin. Prentice-Hall.
2. LIU, C. L.

Elementos de Matemticas Discretas. Segunda edicin. McGraw-Hill

3. GRASSMANN, Winfried y TREMBLAY,Jean-Paul. Matemticas Discretas y lgica. Prentice-Hall.

4. JOHNSONBAUGH, Richard. Matemticas Discretas. Cuarta Edicin. Prentice-Hall.
http://condor.depaul.edu/~rjohnson.
5. ROSS, Kenneth A., WRIGHT, Charles R.B. Matemticas Discretas. Segunda Edicin. Prentice-Hall.