I.

DATOS DE IDENTIFICACIÓN:

Proyecto de Ingeniería en Informática

Carrera:
Programa de TSU Licenciado Ingeniero X Diplomado
Estudio:
Unidad Curricular: Lógica Computacional
Semestre Código Unidad Horas Semanales Horas Semestre
Crédito
I 5 80

General Profesional X Profesional

Componente de Formación: Básica Especializada
Práctica Pasantía:
Profesional:

Carácter de la Unidad Obligatoria X Electiva

Curricular:
Requisitos para Cursar la Ninguno
Unidad Curricular
(Prelaciones):

Elaborado por: Zaide Accary Betancourt Fecha: junio 2013

Actualizado por: Hernán Rivas Fecha: abril 2018
VºBº Coordinador (a) del Proyecto de Carrera:
Nombre: William Mercado Firma:
VºBº Coordinador (a) de Currículo:

Nombre: Holanda García Cova Firma:

1
 II. PROPÓSITO:

El estudio de lógica permitirá desarrollar el razonamiento lógico del estudiante a través

del estudio de técnicas formales de validación y deducción lógica, donde el joven será
capaz de demostrar teoremas matemáticos, verificar la validez de los programas, sacar
conclusiones de experimentos, y una multitud de problemas en su vida cotidiana.

III. COMPETENCIAS GENÉRICAS:

1. Capacidad para identificar, plantear y resolver problemas a través de diferentes

métodos
2. Conocimiento de estructura organizacional
3. Conocimiento de políticas institucionales
4. Planificar, controlar y evaluar proyectos en su organización o medio socio-cultural
5. Respeto a la diversidad.
6. Identidad Institucional.
7. Capacidad crítica.
8. Comunicación escrita y verbal.
9. Comprender, decodificar e interpretar lenguaje formal y simbólico, y entender su
relación con el lenguaje natural.
10. Manejo de los recursos instrumentales y metodológicos de la investigación.
11. Desarrollo de la conciencia ética.
12. Manejo y aplicación de las nuevas tecnologías de la información y la comunicación.

IV. COMPETENCIAS PROFESIONALES:

Diseña, desarrolla y aplica modelos matemáticos, empleando procesos de abstracción, a

fin de proponer estructuras de datos y algoritmos eficientes aplicados a la solución de
problemas reales, a través de la Informática.

V. COMPETENCIAS DE LA UNIDAD CURRICULAR:

Desarrolla el razonamiento lógico usando técnicas formales y no ambiguas de validación

y deducción, para verificar la verdad de los argumentos.

VI. VALORES Y ACTITUDES:

2
 1. Respeto a la diversidad.
2. Desarrollo de la Identidad Institucional.
3. Conciencia ética y Honestidad
4. Responsabilidad social.

VII. TEMARIO:

1. Lógica proposicional
2. Metateoremas de validación
3. Técnicas de pruebas
4. Lógica de predicado

VIII. CONTENIDO DETALLADO POR TEMA:

1. LÓGICA PROPOSICIONAL
1.1. Lenguaje Ss
1.2. Tablas de la Verdad
1.3. Derivaciones Lógicas
1.4. Derivaciones Categóricas

2. TEOREMAS DE CONSISTENCIA
1.1. Metateoremas de validación
1.2. Metateorema de solidez y completitud
1.3. Metateorema 12. Leyes Booleanas
1.4. Simplificaciones

3. TÉCNICAS DE PRUEBAS
1.1. Método directo
1.2. Método abreviado debilitamiento
1.3. Pruebas suponiendo el antecedente
1.4. Prueba por contradicción

4. LÓGICA DE PREDICADO
1.1. Cuantificadores
1.2. Lenguaje Sp

IX. ESTRATEGIAS DIDÁCTICAS:

1. ESTRATEGIAS DOCENTES
1.1. Uso de recursos didácticos audiovisuales (video beam, video, computador etc.)
1.2. Uso de recursos electrónicos para el intercambio de información y comunicación
permanente con el estudiante.

3
 1.3. Uso del aula virtual para incentivar al aprendizaje colaborativo a través de temas de
discusión, aplicación de evaluaciones en línea, consultas en chat y entrega actividades.
1.4. Aprendizaje basado en crear problemas complejos
1.5. Preguntas insertas

2. ESTRATEGIAS DE APRENDIZAJES

2.1. Mapas conceptuales

2.2. Resolución de problemas
2.3. Exposiciones, presentaciones en clases
2.4. Trabajo en equipo presencial y a distancia
2.5. Lectura interpretativa
2.6. Ensayo
2.7. Aprendizaje basado en TIC

X. PLAN DE EVALUACIÓN:
La evaluación de esta unidad curricular se hará mediante:
% DE LA
EVIDENCIA O CRITERIO E TÉCNICA E EVIDENCIA
PRODUCTO ACTIVIDADES INDICADORES INSTRUMENTO DE
EVALUA-
CIÓN

Un (1) taller en Interpreta lenguajes formales de Ejercicios de simulación de 15%

EVALUACIONES pareja Lógica casos / Problemario de
DOCENTE DE ejercicios y problemas.
COMPETENCIAS
(EDC): Analiza la validez de un argumento. Exámenes de conocimiento / 60%
Tres (3) pruebas Pruebas contextualizadas.
individuales Aplica reglas precisas y no ambiguas
para construir razonamientos válidos

Analiza, razona y deduce la conclusión

de un conjunto de premisas.

Reconoce los teoremas de Algebra

Booleana para demostrar y simplificar
expresiones lógicas

Un (1) Trabajo de Identifica las técnicas de prueba Trabajos de investigación y 10%

tres (3) personas desarrollo de proyectos /
Reconoce los cuantificadores lógicos Producción escrita.

Un test individual Identifica las técnicas de prueba Exámenes tipo test / Pruebas 5%
objetivas.

Elaboración de inferencias /

4
 Ensayos.

Foros de reflexión, debate y

discusiones de grupo /
Herramientas síncronas y
asíncronas del aula virtual.

EVALUACIÓN Evaluación de los Observaciones de la actuación 10%

DOCENTE DE valores y actitudes del alumno / Lista de cotejos.
VALORES Y evidenciados por los
ACTITUDES estudiantes durante
(EDVA): el proceso formativo,
los cuales aparecen
indicados en VI.

Examen integral Condicionada 90%

EVALUACIÓN Los estudiantes que / Prueba contextualizada.
DOCENTE DE acumulen al final del
SALIDA (EDS): semestre un mínimo
de 35% (del 90%
evaluado en EDC y
EDVA), tendrán
derecho a una
prueba recuperativa
realizada por el Área
de Informática. La
nota definitiva será
la suma de la EDS y
la EDVA.

Nota: Las calificaciones definitivas se expresarán en una escala del 1 al 10, de conformidad con
el Reglamento de Evaluación del Desempeño Estudiantil.

XI. REFERENCIAS BIBLIOGRÁFICAS:

1. Bibliografía principal:

1.1. UNEG (1999). Lógica Lenguaje Ss. Puerto Ordaz: Autor.

1.2. UNEG (1989). Lógica Lenguaje Sp. Puerto Ordaz: Autor.

2. Bibliografía secundaria:

5
2.1. Gonzalez T., Oliet N. (2008). Lógica Matemática para Informáticos, ejercicios
resueltos. Pearson. España
2.2. Gries, D. & Schneider, F. (1993). A Logical Approach to Discrete Math. Text and
monographs computer science. USA: Springer.
2.3. Miller C., Heeren V. (1999). Matemática: Razonamiento y Aplicaciones. Pearson,
México.