UNIDAD ACADÉMICA DE

INGENIERÍA ELÉCTRICA.
PROGRAMA DE INGENIERÍA DE
SOFTWARE

LÓGICA Y ALGORITMOS
ENERO – JULIO 2018

INSTRUCTOR: M.I.C. Antonio de Jesús García Domínguez

HORARIO DE CLASE: Lunes y Miércoles de 7:30 a 9:30 hrs.

Martes de 14:00 a 15:00 hrs.

CUBICULO: Segundo piso.

HORAS DE CUBICULO: Lunes a viernes de 12:00 a 15:00 hrs.

DIRECCION DE E-MAIL: antoniogarcia.uaz@hotmail.com

PAGINA DEL CURSO: Plataforma Moodle

 1. OBJETIVO GENERAL DEL CURSO

El objetivo general del curso es proporcionar los fundamentos formales del campo de la
lógica y presentar las aplicaciones que tiene en computación y específicamente en el área
del desarrollo de software, para con ello aumentar la capacidad de razonamiento por parte
del alumno de tal forma que sea capaz de desarrollar sus habilidades lógicas que le
permitirán solucionar problemas de forma algorítmica.

2. OBJETIVOS ESPECIFICOS DEL CURSO

1. Conocer las bases de la teoría de conjuntos.

2. Entender el concepto de proposición y las reglas para su formación.
3. Evaluar proposiciones lógicas mediante tablas de verdad.
4. Comprender los conceptos de tautología, contradicción, equivalencia lógica y
regla de inferencia.
5. Aprender a representar enunciados en forma de teorema y demostrar su validez.
6. Representar predicados con notación lógica usando los cuantificadores existencial
y universal.
7. Demostrar proposiciones mediante inducción matemática.
8. Entender el concepto de algoritmo, sus elementos básicos y sus formas de
representación.
9. Aprender a utilizar estructuras de control selectivas para el desarrollo de
algoritmos para la toma de decisiones
10. Aprender a utilizar las estructuras de control repetitivas para el desarrollo de
algoritmos que implican tareas repetitivas

3. BILBIOGRAFÍA RECOMENDADA.

1. Matemáticas Discretas. Kenneth A. Ross, Charles R. B. Wright Prentice Hall

2. Matemáticas Discretas. Richard Johnsonbaugh. Prentice Hall.
3. Matemáticas para la Computación, José A. Jiménez Murillo, Editorial Alfaomega,
2009.
4. Lógica y Argumentación, Alfonso Bustamante Arias, Editorial Pearson, 2009.
5. Metodología de la Programación. Osvaldo Cairó, 3ª. Edición, Editorial
Alfaomega, 2005
6. Fundamentos de Programación, Luis Joyanes Aguilar, 4ª. Edición, Editorial
McGraw Hill, 2008
 4. FORMA DE EVALUACION

CALIFICACION GENERAL:

La calificación final se compondrá de los siguientes criterios

 Exámenes Parciales 50%
 Tareas 30%
 Proyecto final 20%

Si no se alcanza promedio aprobatorio (igual o mayor a 70) se tendrá que presentar el

examen ordinario. En este caso la calificación final se compondrá únicamente de los
siguientes criterios:
 Examen Ordinario 70%
 Proyecto Final 30%

Si no se alcanza calificación aprobatoria en los puntos anteriores (igual o mayor a 70), se

tendrá que presentar el examen extraordinario. La calificación obtenida en el examen
extraordinario será la calificación final del curso.

EXAMENES PARCIALES:
Se aplicarán tres exámenes parciales durante el curso, su aplicación será al finalizar los
temas que se incluirán en el examen. Para tener derecho a presentar cada examen se
deberá cumplir con el 80% o más de asistencia. Solamente se podrán eliminar las faltas
presentando el respectivo justificante oficial. Más adelante en este documento se muestra
un calendario con fechas tentativas para la realización de los exámenes.

EXAMEN ORDINARIO
El examen ordinario se tendrá que presentar cuando no se alcance calificación
aprobatoria tomando en cuenta los exámenes parciales, tareas y proyecto final. Para tener
derecho a presentar el examen ordinario se deberá cumplir con el 80% o más de
asistencia. La fecha del examen ordinario será marcada por la dirección en el calendario
oficial que se publica a finales del semestre.

EXAMEN EXTRAORDINARIO.
Si al finalizar el curso no se obtiene un promedio aprobatorio (tomando en cuenta todos
los puntos a calificar), para aprobar la materia será obligatorio presentar un examen
extraordinario, el cual se compondrá de todos los temas del curso y la calificación
obtenida en este será la calificación final del curso. Para tener derecho a presentar el
examen se deberá cumplir con el 70% o más de asistencia.

TAREAS
Frecuentemente se dejarán tareas de investigación o de resolución de problemas, las
cuales deben ser entregadas de acuerdo a la especificación que se dé de las mismas.
PROYECTO FINAL
Al final del curso se presentará un proyecto final en donde se pongan en práctica los
conocimientos obtenidos. Dicho proyecto se entregará a más tardar el último día de clases
según el calendario oficial.

NOTA ADICIONAL
Ninguno de los criterios de evaluación se podrá recuperar si no se entregan en tiempo y
forma, es decir, no habrá oportunidad de entregar tareas fuera de tiempo ni de presentar
exámenes en una fecha diferente a la establecida, así mismo el proyecto solamente se
revisará el día acordado.

5. POLITICAS DEL CURSO

Honestidad Académica
Tanto las tareas como los exámenes deben de ser elaborados de forma individual. Pueden
reunirse días antes para estudiar juntos o compartir ideas, pero las tareas deben ser
elaboradas por ti mismo. Si se detectan tareas copiadas causará la eliminación de la
calificación de dicha tarea para los alumnos involucrados. De la misma manera, los
exámenes deben de ser contestados individualmente, en silencio y sin la ayuda de notas o
dispositivos electrónicos (teléfonos, tablets, etc), de lo contrario el examen se dará por
reprobado y el alumno perderá la oportunidad exentar y tener calificación en examen
ordinario, teniendo que presentar obligatoriamente el examen extraordinario.

Uso de teléfonos celulares y computadoras

Queda absolutamente prohibido el uso de teléfonos celulares y computadoras para cosas
que no sean estrictamente relacionadas con la clase, así mismo queda también prohibido
estar en internet y/o en redes sociales durante la clase, si se detecta este comportamiento
se le pedirá al alumno que abandone el salón.

Comportamiento en clase
Queda estrictamente prohibido realizar trabajos, tareas, estudiar, etc. de otra clase
distinta a Lógica y Algoritmos durante las horas de clase, el alumno que sea detectado
teniendo este comportamiento se le pedirá que abandone el salón de clases y tendrá falta
ese día. Queda prohibido además estar platicando, haciendo ruido, o cualquier otro
comportamiento que distraiga a sus compañeros o al profesor durante la clase, de lo
contrario también se le pedirá al alumno involucrado que abandone el salón.
 6. CALENDARIO DE EXAMENES Y PROGRAMA DE ESTUDIOS
(TENTATIVO)

FECHA TEMA
29 – enero – 2018 1. Preliminares
1.1 Teoría de Conjuntos
1.1.1 Conceptos básicos
1.1.1.1 Conjunto
1.1.1.2 Elementos
1.1.1.3 Pertenencia
1.1.1.4 Subconjunto
1.1.1.5 Universo
1.1.2 Representación de Conjuntos
1.1.2.1 Representación por extensión
1.1.2.2 Representación por especificación
1.1.3 Representación gráfica de conjuntos
1.1.3.1 Diagramas de Venn
1.1.4 Conjuntos finitos
1.1.5 Conjuntos especiales
1.1.6 Relaciones entre conjuntos
1.1.6.1 Subconjuntos
1.1.6.2 Igualdad entre conjuntos
1.1.6.3 Conjuntos Disjuntos
1.1.6.4 Subconjunto propio
1.1.6.5 Subconjunto impropio
1.1.7 Operaciones sobre conjuntos
1.1.7.1 Unión
1.1.7.2 Intersección
1.1.7.3 Diferencia
1.1.7.4 Diferencia simétrica
1.1.7.5 Complemento
1.1.8 leyes de conjuntos
1.1.9 Implementación de conjuntos y sus operaciones

21 – Febrero – 2018 PRIMER EXAMEN PARCIAL

2. Lógica Proposicional
2.1 Introducción a la lógica
2.2 Proposiciones.
2.2.1 Proposiciones simples y compuestas.
2.2.2 Términos de enlace de proposiciones: conectivos
lógicos.
2.2.3 Notación lógica
2.2.4 Fórmulas bien formadas.
2.3 Fórmulas lógicas.
2.3.1 Valores de verdad de una proposición.
2.3.2 Tablas de verdad de las proposiciones atómicas.
2.3.3 Tablas de verdad para una proposición
compuesta.
2.3.4 Tautología y validez.
 2.3.5 Contradicción.
2.3.6 Equivalencias lógicas.
2.3.7 Implicaciones lógicas.
2.3.8 Forma normal conjuntiva (FNC) y forma normal
disyuntiva (FND).
2.4 Diagramas lineales.
2.4.1 Reglas de sustitución.
2.4.2 Reglas de inferencia.
2.4.3 Inferencias válidas e inferencias no válidas.
2.5 Métodos de demostración.
2.5.1 Directa.
2.5.2 Indirecta: por contradicción.
2.5.3 Inducción matemática.

2.6 Proposiciones categóricas

2.6.1 Proposición categórica universal afirmativa
2.6.2 Proposición categórica universal negativa
2.6.3 Proposición categórica existencial afirmativa
2.6.4 Proposición categórica existencial negativa
2.6.5 Símbolo y diagramas para proposiciones
categóricas
2.6.6 Cualidad y cantidad de las proposiciones
categóricas
2.6.7 Representación mediante diagramas de Venn
2.7 Silogismos categóricos
2.8 Representación mediante diagramas de Venn
2.9 Condiciones suficientes y necesarias
2.10 Falacias lógicas
2.11 Argumentos
2.11.1 Clasificación de argumentos
2.11.2 Razonamiento válido
2.11.3 Validez e invalidez de argumentos
2.11.3.1 Diagramas de Venn
2.12 Inconsistencia

9 – Abril – 2018 SEGUNDO EXAMEN PARCIAL

3. Cálculo de Predicados
3.1 Conceptos básicos
3.1.1 Predicado
3.1.2 Variables
3.1.3 Lógica de predicados
3.1.3.1 Alfabeto
3.1.3.2 Universo
3.2 Predicados y proposiciones
3.3 Cuantificadores
3.3.1 Cuantificador universal
3.3.2 Cuantificador existencial
3.3.3 Alcance de los cuantificadores
3.4 Implicación lógica
 3.5 Equivalencia lógica
3.6 Leyes de DeMorgan generalizadas
3.7 Regla general
3.8 Proposiciones y alcance de un cuantificador
3.9 Predicados y alcance de un cuantificador
3.10 Variables ligadas y libres
3.11 Formalización de frases

4. Algoritmos, diagramas de flujo y programas

4.1 Problemas y algoritmos
4.2 Conceptos fundamentales
4.3 Construcción de diagramas de flujo
4.4 Programas
4.5 Estructuras de control selectivas
4.5.1 Introducción
4.5.2 Estructura selectiva simple if-then
4.5.3 Estructura selectiva doble if-then-else
4.5.4 Estructura selectiva múltiple y en cascada
4.6 Estructuras de control repetitivas
4.6.1 Introducción
4.6.2 Estructura repetitiva for
4.6.3 Estructura repetitiva while

23 – Mayo – 2018 TERCER EXAMEN PARCIAL

El calendario presentado anteriormente muestra fechas tentativas, las cuales pueden

variar un poco conforme avance el semestre y se vea el avance en el curso, o debido a
días inhábiles.