FACULTAD DE INGENIERA

Ingeniera en Sistemas
Ingeniera en Electrnica
Ingeniera en Telecomunicaciones
Ingeniera Empresarial

Estructuras Lgicas I
PROGRAMA DE CURSO

1. INFORMACIN GENERAL
Crditos:
Prerrequisitos:
Ciclo lectivo:
Catedrtico:
Correo electrnico:
Horario:

4
N/A
1. 2011
Ivn Antonio Galindo Minera
ingivangalindo@gmail.com
Mircoles 18:15 19:45 a.m. y Jueves 20:00 21:30

2. DESCRIPCION
Para comprender y asimilar con facilidad el curso es necesario tener conocimientos previos sobre
matemtica. El curso abarca los temas de lgica inductiva y deductiva como una antesala a la
teora de circuitos lgicos. Adems, estructuras lgicas 1 es un curso que explica el porqu de una
razn matemtica (enunciado, ley, operacin, etc.) utilizando para tales razonamientos el estudio
de estructuras, es decir las bases de la matemtica, aqu responderemos por ejemplo a preguntas
como Por qu la suma es suma? Y se establecern las bases del algebra booleana.
3. OBJETIVO GENERAL
Que el estudiante se instruya, se motive y comprenda la importancia de las estructuras de la
matemtica, entrene la mente y desarrolle un pensamiento lgico que le permita establecer
soluciones diversas las cuales puedan ser aplicables a cualquier curso numrico, computacional y
electrnico.
4. OBJETIVOS ESPECFICOS

Conozca mtodos finitos que subrayan la naturaleza finita inherente a muchos

problemas y estructuras;

Conozca la combinatoria: el lgebra de la enumeracin o las tcnicas de contar;

Adquiera lgica de resolucin de problemas.

5. CONTENIDO DEL CURSO
Descripcin
1. PRINCIPIOS FUNDAMENTALES DE CONTEO
1.1. Las reglas de la suma y del producto
1.2. Permutaciones
1.3. Combinaciones: el teorema del binomio
1.4. Combinaciones con repeticin: distribuciones
Examen Parcial I

Fecha
19/01
20/01
26/01
27/01
02/02
03/02
09/02

FACULTAD DE INGENIERA
Ingeniera en Sistemas
Ingeniera en Electrnica
Ingeniera en Telecomunicaciones
Ingeniera Empresarial
2. FUNDAMENTOS DE LGICA
2.1. Conectivas bsicas y tablas de verdad
2.2. Equivalencia lgica: las leyes de la lgica
2.3. Implicacin lgica: reglas de inferencia
2.4. El uso de cuantificadores
2.5. Cuantificadores, definiciones y la demostracin de teoremas
Examen Parcial II
3. TEORA DE CONJUNTOS
3.1. Conjuntos y subconjuntos
3.2. Operaciones de conjuntos y las leyes de la teora de conjuntos
3.3. Tcnicas de conteo y diagramas de Venn
Examen Parcial III
4. PROPIEDADES DE LOS ENTEROS
4.1. El principio del buen orden: induccin matemtica
4.2. Definiciones recursivas
4.3. El algoritmo de la divisin: nmeros primos
4.4. El mximo comn divisor: el algoritmo de Euclides
4.5. El teorema fundamental de la aritmtica
Examen Parcial IV
5. RELACIONES Y FUNCIONES
5.1. Productos cartesianos y relaciones
5.2. Funciones: en general e inyectivas
5.3. Funciones sobreyectivas
5.4. Funciones especiales
5.5. Composicin de funciones y funciones inversas
5.6. Complejidad computacional
5.7. Anlisis de algoritmos
1.
EVALUACIN FINAL

6. METODOLOGIA

Clase magistral para la explicacin terica

Resolucin y discusin de tareas y problemas

Laboratorios en clase
7. EVALUACION
La nota final es de 100 puntos distribuidos de la siguiente forma:

10/02
16/02
17/02
23/02
24/02
02/03
03/03
09/03
10/03
16/03
17/03
23/03
24/03
30/03
31/03
06/04
07/04
13/04
14/04
20/04
21/04
27/04
28/04
04/05
05/05
11/05
12/05
18/05
19/05
25/05
26/05
Junio

FACULTAD DE INGENIERA
Ingeniera en Sistemas
Ingeniera en Electrnica
Ingeniera en Telecomunicaciones
Ingeniera Empresarial

8. BIBLIOGRAFIA
Matemtica Discreta y Combinatoria
Grimaldi, Ralph P
Editorial: Adisson Wesley Longman, Pearson Education

Nombre de Catedrtico

Vo. Bo. Ing. Ivn Galindo