UNIVERSIDAD LATINA DE COSTA RICA

Facultad de Tecnologas de Informacin y Comunicaciones

Bachillerato en Ingeniera de Sistemas Informticos

Lgica y Algoritmos
BSI-010
I.

Descripcin del Curso

El curso Lgica y Algoritmos pretende proveer al estudiante las bases para el anlisis y la resolucin de
problemas por medio de la matemtica discreta y combinatoria, debido a la gran cantidad de
aplicaciones que de sta se encuentran en las ciencias de la computacin.
El curso tiene una validez de tres crditos, tiene un grado de exigencia alto por lo que requiere una
dedicacin
de
12
horas
semanales.
No
tiene
requisitos.
Se
Ubica
en
el
I cuatrimestre de la carrera Ingeniera de Sistemas Informticos.
Es un curso (terico, prctico), se imparten 3 horas semanales en Clase. Puede realizarse por
suficiencia.
Informacin general del curso
Carrera
Ingeniera de Sistemas Informticos
Bachillerato
Grado
BSI-010 Lgica y Algoritmos
Curso
Ninguno
Requisitos
BSI-515 Programacin II
Es requisito de
Primer Cuatrimestre
Nivel dentro de la carrera
3
Cantidad de horas
presenciales
6
Cantidad de horas trabajo
independiente
3
Crditos

II.

Objetivo General
Proveer las primeras bases para el alumno analice, aplique y resuelva los diferentes tipos de problemas
donde de lgica, que trae inmerso el rea de Ingeniera de Sistemas.

III. Objetivos especficos

Que el estudiante:
1. Resuelva los problemas de lgica por medio de la matemtica discreta.
2. Analice y resuelva problemas por medio de la lgica proposicional.
3. Conozca y utilice la teora de conjuntos y relaciones entre conjuntos, como base fundamental para la
resolucin de problemas.
4. Comprenda la teora de Grafos, las trayectorias y circuitos de Euler, Trayectorias y circuitos
Hamiltonianos.
5. Conozca y aplique la teora de rboles y sus propiedades para la solucin de problemas en las
aplicaciones computacionales.
6. Desarrolle habilidades referentes a la induccin matemtica, para la solucin de algunos tipos de
problemas.

I Cuatrimestre 2008

Pgina 1 de 7

IV. Contenidos
1. Mdulo 1: Lgica Simblica
1.1. Lgica Proposicional (Semanas 1-3)
1.1.1.Definiciones y notaciones
1.1.2.Negacin, Disyuncin, Conjuncin, implicacin y equivalencia
1.1.3.Tablas de verdad e interpretacin de frmulas
1.1.4.Tautologa, contradiccin, contingencia
1.1.5.Implicacin lgica, consecuencia lgica y equivalencia lgica
1.1.6.Validez e inconsistencia (argumentos)
1.1.7.lgebra declarativa (Leyes de la Lgica Proposicional)
1.1.8.Formas Normales (Disyuntiva y Conjuntiva)
1.1.8.1.
Por Tablas de Verdad
1.1.8.2.
Por leyes del lgebra Declarativa
1.1.9. Aplicaciones de la lgica proposicional (ejercicios)
1.2. Lgica de Predicados (Semanas 4-5)
1.2.1.Definiciones y notaciones
1.2.2.Cuantificadores
1.2.3.Interpretacin de frmulas
1.2.4.Validez de frmulas
Primer Examen Parcial
2. Mdulo 2: Conjuntos (Semanas 5-6)
2.1. Definiciones y notaciones
2.2. Los conjuntos especiales de nmeros (N, Z, Q, R, C, Nn, Zm)
2.3. Cardinalidad, conjuntos finitos e infinitos
2.4. Especificacin de elementos de un conjunto (notacin matemtica)
2.5. Conjunto universo, conjunto vaco
2.6. Subconjunto, subconjunto propio, conjunto potencia
2.7. Operaciones bsicas: unin, interseccin, diferencia, diferencia simtrica, complemento
2.8. Conjuntos disjuntos, conjuntos generados
2.9. Diagramas de Venn/Euler
2.10. Propiedades de la teora de conjuntos (leyes)
3. Relaciones entre conjuntos (Semanas 7-9)
3.1. Definiciones y notaciones
3.2. Producto cartesiano
3.3. Relaciones r-arias (r-tuplas)
3.4. Relaciones binarias
3.4.1.Dominio, rango
3.4.2.Opuesto (inversa)
3.4.3.Matriz de relacin
3.4.4.Relacin de Identidad
3.4.5.Conceptos generales de grafos
3.4.5.1.
Nodos, arcos dirigidos, nodo aislado (ciclo)
3.5. Composicin de relaciones
3.5.1.Forma directa
3.5.2.Producto de matrices
3.6. Matriz de relacin de relaciones compuestas
3.7. Propiedades de las relaciones
3.7.1.Reflexiva, simtrica, antisimtrica, transitiva
3.7.2.Relaciones de equivalencia
3.8. Clases de equivalencia
3.9. Particiones
3.9.1.Particiones triviales (identidad, universal)
3.9.2.Particin de equivalencia inducida
Segundo Examen Parcial

I Cuatrimestre 2008

Pgina 2 de 7

4. Mdulo 3: Teora de Grafos ( Semanas 10-11)

4.1. Definicin y notacin
4.2. Grado de un vrtice
4.3. Vrtices: aislado, adyacente
4.4. Trayectoria y circuito
4.5. Grafos conexos y disconexos
4.5.1. Otros tipos de Grafos: Discreto, Completo, Lineal
4.6. Subgrafos y grafos cociente
4.7. Trayectorias (caminos) y circuitos de Euler
4.7.1. Trayectoria de Euler
4.7.2. Circuito de Euler
4.7.3. Algoritmo de Fleury
4.8. Trayectorias y circuitos Hamiltonianos
4.8.1. Trayectoria de Hamiltoniana
4.8.2. Circuito Hamiltoniano
5. Mdulo 4: rboles ( Semanas 12-13)
5.1. Definicin y notacin
5.2. Altura de un rbol
5.3. N-rbol, N-rbol completo
5.4. rbol etiquetado
5.4.1. rbol binario posicional
5.5. Bsqueda en rboles
5.5.1. Bsqueda en rboles posionales binarios
5.5.1.1.
Bsqueda pre-orden
5.5.1.1.1. Expresin algebraica pre-fija
5.5.1.2.
Bsqueda entre-orden
5.5.1.2.1. Expresin algebraica entre-fija
5.5.1.3.
Bsqueda post-orden
5.5.1.3.1. Expresin algebraica post-fija
5.5.2. Bsqueda en rboles generales
5.6. rboles no dirigidos
5.6.1. Definicin
5.6.2. rbol de expansin de relaciones conexas
5.7. rboles de expansin mnima
5.7.1. Algoritmo Prim
5.7.2. Algoritmo Kruskal
6. Mdulo 4: Induccin Matemtica (Semana 14)
6.1. Descripcin de la Induccin matemtica
6.2. Pasos de la Induccin matemtica
6.3. Ejemplos y ejercicios
Tercer Examen Parcial

V. Metodologa

Este curso se rige bajo los artculos y reglamentos estipulados vigentes en la Universidad Latina de
Costa Rica (Reglamento de Rgimen Estudiantil)
Las clases se impartirn se impartirn magistralmente.
Se llevarn a cabo prcticas participativas para desarrollar todo tipo de ejercicios y con ello garantizar
el balance deseado entre lo terico y lo prctico.
La asistencia a clase es obligatoria.
El primer y segundo examen parcial, se aplicarn en forma colegiada los fines de semana de la
semana 6 y 11. El examen final no es colegiado y se aplica en el horario de clase de la semana 15.

I Cuatrimestre 2008

Pgina 3 de 7

Para alcanzar los objetivos del curso eficientemente, el profesor se valdr de:

Actividad
Lecturas y
Prcticas
Tareas cortas
Trabajo en clase y
Quices

Descripcin
Se pone a disposicin de los estudiantes lecturas y prcticas
que complementan o guen las clases magistrales.
Se asignarn tareas que fomenten la investigacin, estudio y la
resolucin de problemas para alcanzar los objetivos planteados
en el trabajo de clase y reforzar los temas vistos en clase.
Se realizarn pruebas cortas y prcticas con el objetivo de
medir el avance y la asimilacin de la materia vista en clase.

VI. Recursos Didcticos

Uso del (ATP) Automatizacin de Tareas y Proyectos de la Ulatina, para distribuir material especifico
de cada profesor a sus alumnos (proyectos, tareas, etc.).
Los temas principales son desarrollados con la ayuda de los equipos multimedia existente en las
aulas, esto se realiza por medio de Power Point
Se har uso de los libros y manuales que estn en la Facultad y en la biblioteca para consulta de los
estudiantes.

VII. Evaluacin
Descripcin
Examen Parcial I
Examen Parcial II
Examen Parcial III
Tareas
Quices
Total

Porcentaje

Semana

20%
20%
20%
10%
30%
100 %

6
11
15

En este curso no existe la posibilidad de eximirse de ninguno de los instrumentos de

evaluacin.
La cantidad de tareas y quices puede variar segn el criterio del profesor.

I Cuatrimestre 2008

Pgina 4 de 7

VIII. Bibliografa
Principal
1. Grimaldi, Ralph P. Matemticas discreta y combinatoria. 3 Edicin. Editorial Addison-Wesley
Iberoamericana, 1997.
2. Grassmann, Winfried. Tremblay Jean Paul. Matemtica Discreta y Lgica. I Edicin. Editorial
Prentice Hall, 1997.

Complementaria
1. Lipschutz, Seymour, Lipson, Marc.2000 Problemas Resueltos de Matemtica Discreta. Primera
Edicin. McGraw-Hill, 2004.
2. Lipschutz, Seymour. Matemtica para computacin. Editorial McGraw-Hill, 1992
3. C.L. Lin. Elementos de Matemtica Discreta. Editorial McGraw-Hill. 1995
4. Vargas, Javier. Avila, Juan Flix. Introduccin a las Estructuras Discretas. I Edicin Editorial Sello
Latino, 1999.

I Cuatrimestre 2008

Pgina 5 de 7

IX. Calendarizacin de las actividades de aprendizaje

1
TEMA

Enero
14 al 19 21 al 26

3
28 al 02

4
04-09

5
6
Febrero
11-16
18 al 23

NMERO DE SEMANA
8
9
10
Marzo
25 al 01 03 al 08 10 al 15 17 al 22
7

11

12

13

24 al 29

31 al 05

07 al 12

14
Abril
14 al 19

1. Mdulo 1: Lgica Simblica

1.1. Lgica Proposicional (Semana 1-3)
1.1.1. Definiciones y notaciones
1.1.2. Negacin, Disyuncin, Conjuncin, implicacin y equivalencia
1.1.3. Tablas de verdad e interpretacin de frmulas
1.1.4. Tautologa, contradiccin, contingencia
1.1.5. Implicacin lgica, consecuencia lgica y equivalencia lgica
1.1.6. Validez e inconsistencia (argumentos)
1.1.7. lgebra declarativa (Leyes de la Lgica Proposicional)
1.1.8. Formas Normales (Disyuntiva y Conjuntiva)
1.1.8.1. Por Tablas de Verdad, por leyes del Algebra Declarativa
1.2. Lgica de Predicados (Semana 4-5)
1.2.1. Definiciones y notaciones
1.2.2. Cuantificadores
1.2.3. Interpretacin de frmulas
1.2.4. Validez de frmulas
2. Mdulo 2: Conjuntos (Semana 5-6)
2.1. Definiciones y notaciones
2.2. Los conjuntos especiales de nmeros (N, Z, Q, R, C, N n, Z m )
2.3. Cardinalidad, conjuntos finitos e infinitos
2.4. Especificacin de elementos de un conjunto (notacin
matemtica)
2.5. Conjunto universo, conjunto vaco
2.6. Subconjunto, subconjunto propio, conjunto potencia
2.7. Operaciones bsicas: unin, interseccin, diferencia, diferencia
simtrica, complemento
2.8. Conjuntos disjuntos, conjuntos generados
2.9. Diagramas de Venn/Euler
2.10. Propiedades de la teora de conjuntos (leyes)
Primer Examen Parcial
3. Relaciones entre conjuntos (Semana 7-9)
3.1. Definiciones y notaciones
3.2. Producto cartesiano
3.3. Relaciones r-arias (r-tuplas)
3.4. Relaciones binarias
3.4.1. Dominio, rango
3.4.2. Opuesto (inversa)
3.4.3. Matriz de relacin
3.4.4. Relacin de Identidad
3.4.5. Conceptos de grafos:Nodos, arcos dirigidos, nodo aislado
(ciclo)
3.5. Composicin de relaciones: Directa, Producto Matrices
3.6. Matriz de relacin de relaciones compuestas
3.7. Propiedades de las relaciones: Reflexiva, simtrica,
antisimtrica, transitiva, relaciones de equivalencia
3.8. Clases de equivalencia
3.9. Particiones:triviales (identidad, universal),equivalencia inducida

4.

Segundo Examen Parcial

Mdulo 3: Teora de Grafos ( Semana 10-11)
4.1. Definicin y notacin
4.2. Grado de un vrtice
4.3. Vrtices: aislado, adyacente
4.4. Trayectoria y circuito
4.5. Grafos conexos y disconexos
4.5.1. Otros tipos de Grafos: Discreto, Completo, Lineal

4.6. Subgrafos y grafos cocientes

4.7. Trayectorias (caminos) y circuitos de Euler
4.7.1. Algoritmo de Fleury
4.8. Trayectorias y circuitos Hamiltonianos
5. Mdulo 4: rboles ( Semana 12-13)
5.1. Definicin y notacin
5.2. Altura de un rbol
5.3. N-rbol, N-rbol completo
5.4. rbol etiquetado:rbol binario posicional
5.5. Bsqueda en rboles
5.5.1. Bsqueda en rboles posionales binarios
5.5.1.1.
Bsqueda pre-orden, entre-orden.
Postorden
5.5.2. Bsqueda en rboles generales
5.6. rboles no dirigidos
5.6.1. Definicin
5.6.2. rbol de expansin de relaciones conexas
5.6.2.1.
Algoritmo de Prim
5.7. rboles de expansin mnima
5.7.1. Algoritmo Prim, Kruskal
6. Mdulo 5: Induccin Matemtica (Semana 14)
6.1. Descripcin de la Induccin matemtica
6.2. Pasos de la Induccin matemtica
Tercer Examen Parcial
Examen de ampliacin

I Cuatrimestre 2008

Pgina 6 de 7

15

16

21 al 26 28 al 03

Importante:

Los horarios de los exmenes son tentativos, pueden tener cambios.

X. Acerca de la Facultad de Ingeniera en Sistemas: Administracin, Coordinadores y

Profesores de Tiempo Completo:
La Facultad de Tecnologas de Informacin y Comunicaciones cuenta con profesores que brindan
consulta de los cursos que se imparten en la carrera. Mediante el Centro de Atencin Estudiantil, se
pueden obtener citas para evacuar dudas o consultas. Sus horarios pueden ser consultados en la
Facultad.
Los profesores de cada curso son el canal de comunicacin inmediato para cualquier trmite que tenga
que ver directamente con el mismo, seguido est la Direccin Acadmica de la Carrera. Esto indica que
ante cualquier eventualidad, se debe respetar el canal de comunicacin, segn lo establece el
Reglamento de Rgimen Estudiantil vigente.

Fecha de revisin y actualizacin: 6 de Noviembre del 2007.

R.V.N

I Cuatrimestre 2008

Pgina 7 de 7