Este documento presenta el portafolio virtual de Lógica y Algoritmos de un estudiante. Incluye la descripción del curso, sus objetivos, contenidos, metodología, evaluación y bibliografía. Los contenidos cubren lógica proposicional, de predicados, conjuntos, relaciones, funciones e introducción a algoritmos y pseudocódigo. La evaluación consta de exámenes parciales y finales, trabajos y participación.

1. Portafolio Virtual de Logica y Algoritmos
Licenciatura en Informatica con Enfasis en Computacion Gerencial
Profesora: Carmen Perea
Estudiante: Gregorio de Leon Cedula: 4-373-1927
Fecha de entrega: 20 de febrero 2020

2. LOGICA Y ALGORITMOS

3. TEMÁTICA DEL CURSO
I. DENOMINACIÓN DE LA ASIGNATURA : LÓGICA
Y ALGORITMOS
ABREVIATURA : LIS
CÓDIGO : 002
HORAS TEÓRICAS : 32
HORAS PRÁCTICAS : 32
TOTAL DE CRÉDITOS : 3
CUATRIMESTRE : 1
PRE-REQUISITOS : NO TIENE
ÁREA : PROFESIONAL

4. II. DESCRIPCIÓN DEL CURSO
Fundamentalmente este curso pretende introducir al
estudiante en el análisis y evaluación logística de diversas
situaciones, donde el razonamiento ordenado y
disciplinado imponen el uso de técnicas y elementos
formales, como herramientas para la eficiente solución de
problemas.
III. OBJETIVOS
1. OBJETIVOS GENERALES
 Inferir lógicamente, estableciendo la validez o
invalidez de la argumentación, mediante tratamientos
simbólicos.
 Resolver problemas de diversa índole, mediante el
desarrollo de algoritmos.

5. 2. OBJETIVOS ESPECÍFICOS
 Resolver los problemas de lógica por medio de la
matemática discreta.
 Desarrollar el análisis de situaciones a través de la lógica
proporcional y lógica de predicados.
 Utilizar el tema de conjuntos y relaciones, con base
fundamental para la resolución de problemas.
 Desarrollar algunos puntos relevantes referente a
funciones entre conjuntos e inducción matemática.
IV. CONTENIDO
1. LÓGICA SIMBÓLICA Y LÓGICA PREPOSICIONAL.
1.1. Definiciones y Notaciones.
1.2. Negación, Disyunción, y Conjunción.
1.3. Tablas de Verdad e Interpretación de Fórmulas.
1.4. Implicación y Equivalencia.
1.5. Álgebra Preposicional.
1.6. Validez e Inconsistencia (o Tautologías y Contradicciones)
1.7. Formas Normales
1.8. Consecuencias Lógicas y Prueba de Teoremas
1.9. Aplicaciones de la Lógica Preposicional

6. 2. LÓGICA DE PREDICADOS ( LÓGICA DE PRIMER
ORDEN ).
2.1. Definiciones y Notaciones
2.2. Cuantificaciones
2.3. Interpretación de Fórmulas
3. CONJUNTOS.
3.1. Definiciones y Notaciones.
3.2. Los conjuntos N , Z, I, P, Q, R, C, Nm, Zm.
3.3. Cardinalidad, Conjuntos Finitos e Infinitos, y el
Conjunto Vacío
3.4. Especificaciones de Elementos
3.5. Subconjuntos y Conjunto Potencia.
3.6. Subconjunto, Superconjunto, Subconjunto
Propio.
3.7. Conjunto de Conjuntos, Conjunto Potencia
4. OPERACIONES BÁSICAS.
4.1. Conjunto Universo, Complemento, Unión,
Intersección.
4.2. Conjuntos Disjuntos, Conjuntos Generados
4.3. Diagramas de Euler/Venn.
4.4. Tablas de Membresía

7. 5. LEYES BÁSICAS DE OPERACIONES SOBRE
CONJUNTOS
5.1. Leyes : Conmutativa, Asociativa, Distributiva, de
Identidad, de
Complementos, de Involución, de
Indempotencia, de Nulidad, de
Absorción, y de De Morgan.
5.2. Relaciones
5.3. Productos Cartesianos.
5.4. R-Tuplas.
6. RELACIONES.
6.1. Relaciones r-arias, binarias.
6.2. Dominio y Rango.
6.3. El Opuesto de una Relación.
6.4. Matriz de Relación.
6.5. Relación de Identidad.

8. 6.6. Conceptos Generales de Grafos.
6.7. Vértices, caminos, bordes, el término alcanzable,
descendientes.
6.8. Composición de las Relaciones.
6.9. Matrices de Relación de Relaciones
Compuestas.
6.10. Aritmética Booleana : suma y multiplicación.
6.11. Producto de dos Matrices de Relación
6.12. Propiedades de las Relaciones.
6.13. Reflexiva, Simétrica, Asimétrica, Antisimétrica,
Transitiva.
6.14. Relaciones de Equivalencia.
7. FUNCIONES
7.1. Definiciones y Notaciones.
7.2. Valor, Argumento, Dominio, Codominio, Rango.
7.3. Mapeo/Transformación/Función
7.4. Restricción, Extensión, Proyección

9. 8. FUNCIONES INYECTIVAS, SOBREYECTIVAS Y BIYECTIVAS.
8.1. Composición de Funciones
8.2. Funciones de Identidad e Inversa
8.3. Identidad.
8.4. Inversa Izquierda, Derecha, Ambos Lados
8.5. Permutaciones.
8.6. La Permutación Identidad.
8.7. Ciclos de Orden R
8.8. Cardinalidad.
8.9. El Principio del Palomar (Pigeonhole)
8.10. Conjuntos Enumerables, Contables, e Incontables
8.11. La Función Característica.
8.12. Inducción Finita.
8.13. Ejemplos de Prueba por Inducción

10. V. METODOLOGÍA
 Exposición de los diferentes temas por parte del
profesor
 Talleres de aplicación sobre la temática impartida.
 Técnicas expositivas.
 Lecturas dirigidas.
 Análisis de documentos.
 Trabajos en Grupo.
RECURSOS TECNOLÓGICOS
 Data Show y DVD
 Tablero acrílico y piloto
 Televisor y equipos de vídeo
Plataforma: Americana Learning Site (ALS) y Ágora
Estudiantil

11. ACTIVIDADES:
 Tareas
 Charla sobre temas de operaciones bancarias
 Videos sobre temas impartidos en clases.
 Trabajo cooperativo
VI. EVALUACIÓN
 2 Exámenes Parciales 15% cada uno
30%
 Puntualidad, foro y participación en clases
10%
 Trabajos grupales, casos y exposiciones
20%
 Portafolio 10%
 Examen Final 30%
 Total 100%

12. VII. BIBLIOGRAFÍA
BÁSICA:
JOYANES AGUILAR, LUIS Y LUIS
RODRÍGUEZ BAENA, MATILDE FERNÁNDEZ
AZULEA. Fundamentos de programación.
Libro de problemas. Algoritmos,
Estructuras de datos, 2ª. edición, Editora
McGraw-Hill, España, 2003.
DROZDEK, ADAM. Estructura de Datos y
Algoritmos en Java, 2a. edición
}, Editora Cengage, 2007.
COMPLEMENTARIA:
LEE, R. C. T.; TSENG, S. S.; TSAI, Y. T. Introducción al
Diseño y Análisis de Algoritmos. Editora McGraw- Hill,
México, 2007.
JOYANES AGUILAR, LUIS. Programación en C++
Algoritmos, Estructuras de Datos y Objetos, 2ª ED.,
Editora McGraw- Hill, México, 2006.

13. Fecha Sesión Actividad
9 ene 1 Presentación del Curso
16 2 Lógica Simbólica y Proposicional TALLER #1
23 3 Tabla de Verdad TALLER 2
30 4 Aplicaciones de Lógica Proposicional TALLER 3
6 Feb 5 PARCIAL #1
13 6 Metodología para la creación de algoritmos- Técnicas de Diseño
(Diagramas de Flujo-Pseudocódigo)
TALLER 4
20 7 Estructuras secuenciales TALLER 5
27 8 PARCIAL #2
5 Mar 9 Pseudocódigo TALLER 6
12 10 Estructuras de Decisión TALLER 7
19 11 Estructuras de Decisión TALLER 8
26 12 PARCIAL #3
2 Abr 13 Estructuras de Repetición TALLER 9
9 14 Estructuras de Repetición TALLER 10
16 15 ADELANTOS DEL PROYECTO
23 16 PROYECTO FINAL - SUSTENTACIÓN
PROGRAMACIÓN ANALITICA

14. TALLERES

17. MATERIAL DE ESTUDIO PARA PARCIALES
http://www.cs.us.es/cursos/li-2004/li-g3/rel1-04-05.pdf
https://desarrolloweb.com/manuales/67

19. PARCIALES

20. SOLUCION DEL PARCIAL

21. ADELANTOS DEL PROYECTO
El algoritmo, una iniciación a la programación

22. EXPERIENCIAS ADQUIRIDAS
El entrar a conocer la partes basicas para la programacion fue una de mi primera experiencia, teniendo en cuenta
que las cosas pueden tomar sentidos con ser verdaderas o falsas y llevando ese concepto a una maquina.
El comenzar a dominar la tabla de la verdad, me tiene emocionado porque es una base muy importante para
encaminarme al mundo de la programacion.
En todas las clases que he tomado he aprendido mucho de los conceptos que me llevaran hacer un buen
programador.
Haciendo este portafolio he reforzado algunos conceptos, y practicado la teoria dadas en clases, asi como tambien
aprender hacer las cosas con orden para la solucion de los problemas.

23. GRACIAS