SINÓPTICO DE LA UNIDAD CURRICULAR

I. DATOS DE IDENTIFICACIÓN

Proyecto de Carrera: INFORMÁTICA

Nombre de la Unidad Curricular: LOGICA COMPUTACIONAL 

Código: 1472107

Semestre: 01

Horario: 04  horas

Área de Adscripción: CIENCIA Y TECNOLÓGICA 

Carácter de la Asignatura: Obligatoria 

Prelaciones: Ninguna

Elaborado por :Zaide Accary Betancourt

Fecha

Junio 2013

VºBº Coordinador de Currículo: Dra. Holanda García

II. PROPÓSITO DE LA UNIDAD CURRICULAR

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 DEL PROFESIONAL UNEG

-Capacidad para identificar, plantear y resolver problemas a través de diferentes métodos.
-Planificación, control y evaluación de proyectos en su organización o medio socio-cultural.
-Desarrollo de la Capacidad crítica.
-Comprende, decodifica e interpreta lenguaje formal y simbólico y entiende su relación con el lenguaje formal.
-Manejo de los recursos instrumentales y metodológicos de la investigación.
-Aplicación de las nuevas tecnologías de la información y la comunicación.
-Manejo de la conciencia ética.

IV. COMPETENCIAS A DESARROLLAR EN 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.

V. VALORES Y ACTITUDES A DESARROLLAR EN EL ESTUDIANTE

-Respeto a la diversidad

-Desarrollo de la Identidad Institucional

-Conciencia ética y honestidad.

-Responsabilidad social.

VI. TEMARIO

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

2.1.   Metateoremas de validación

2.2.   Metateorema de solidez y completitud

2.3.   Metateorema 12. Leyes Booleanas

2.4.   Simplificaciones

3.      TÉCNICAS DE PRUEBAS

3.1.   Método directo

3.2.   Método abreviado debilitamiento

3.3.   Pruebas suponiendo el antecedente

3.4.   Prueba por contradicción

4.      LÓGICA DE PREDICADO

4.1.   Cuantificadores

4.2.   Lenguaje Sp

VII. ESTRATEGIAS DIDÁCTICAS

ESTRATEGIAS DEL DOCENTE:

1.  Uso de recursos didácticos audiovisuales (video beam, video, computador etc.)

2. Uso de recursos electrónicos para el intercambio de información y comunicación permanente con el estudiante.

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.

4.  Aprendizaje basado en crear problemas complejos

5.  Preguntas insertas.

ESTRATEGIAS DEL ESTUDIANTE:

1.   Mapas conceptuales

2.   Resolución de problemas

3.   Exposiciones, presentaciones en clases

4.   Trabajo en equipo presencial y a distancia

5.   Lectura interpretativa

6.   Ensayo

7.   Aprendizaje basado en TIC

VIII. REFERENCIAS BIBLIOGRAFICAS

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:

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.
Última modificación: lunes, 14 de febrero de 2022, 14:18