Download Lógica Computacional - Informática Educativa

Programa de Asignatura
Lógica Computacional
Managua, Diciembre, 2013
1. DATOS GENERALES
Nombre de la asignatura:
Lógica Computacional
Código:
Requisito /Correquisito:
Carrera (s):
Informática Educativa
Modalidad:
Presencial/Profesionalización/Mixta
Turno:
Matutino/Sabatino/Nocturno
Semestre:
III
Número total de horas:
180, 60 horas presenciales y 120 de
estudios independientes
Frecuencia Semanal:
4 horas por semana
Número de Créditos:
4
Área de formación a la que
pertenece:
Básica
2. INTRODUCCIÓN
La Lógica Computacional es del área de Formación Básicapor cuanto es una
disciplina que estudia la aplicación de la lógica clásica formal para la
representación computacional de argumentos, técnicas de deducción automática y
asistida por computadora. Sus fundamentos están relacionados con la validez de
sistemas de proposiciones y las aplicaciones de esas técnicas a las diferentes
áreas de las ciencias computacionales.
La asignatura Lógica Computacional está ubicada en el III semestre de la carrera
de Informática Educativa. Le precede la asignatura de Matemática General por
cuanto se requieren del conocimiento previo de operaciones aritméticas. Es
fundamental para el desarrollo de las asignaturas Programación Visual I, II y III
pues es básica para el desarrollo de software, es decir, en la especificación,
diseño, construcción y verificación formal de programas.
El aporte de los contenidos de la asignatura corresponde al desarrollo
delpensamiento lógico, razonado y sistemático, para crear procesos y sentencias
entendibles por la computadora y la formulación paso a paso de procesos,
esenciales en la comprensión y aplicación de las ciencias computacionales.
En este documento encontramos la descripción general de la asignatura. La
introducción que describe los propósitos de la misma en la formación profesional.
Se encuentra señalados los descriptores de la asignatura en una síntesis de las
capacidades
y
habilidades
a
desarrollar
en
los
futuros
profesionales,
fundamentación de la asignatura, objetivos generales, plan temático por
modalidad, objetivos, contenidos y recomendaciones metodológicas, los recursos
didácticos a utilizar, el sistema de evaluación que se implementará y la bibliografía
que será empleada en el desarrollo de esta.
3. DESCRIPTOR DE LA ASIGNATURA
La asignatura Lógica Computacional induce a un pensamiento lógico, razonado y
sistemático, crea procesos y sentencias entendibles por la computadora.
Analizalos principios y conceptos fundamentales del razonamiento lógico
matemático y formula paso a paso procesos, esenciales en la comprensión y
aplicación de las ciencias computacionales. Permite interpretar apropiadamente
los principios y conceptos del razonamiento lógico para la definición de una
metodología que conlleva a la solución de problemas computacionales.
Los principales contenidos en la Unidad I, Lógica, son: Principios y Dimensiones
de Lógica, el objeto de estudio de la lógica, lenguaje natural, lenguaje artificial,
lenguaje formal. Unidad II, Los Sistemas NuméricosSe estudian los sistemas
numéricos, y los códigos de computadoras, Unidad III, Teoría de Boole y
Compuertas Lógicas, Comprensión de los teoremas y funciones del Álgebra de
Boole, Comprobación de la Teorías de Boole y Unidad IV, Máquina de Estado
Finito, Comprensión del funcionamiento de Máquinas de estado finito.
Tiene un total de 180 horas divididas en 60 horas presenciales y 120 horas de
trabajo independiente para un total de 4 créditos.
4. PLAN TEMÁTICO
Modalidad Presencial
Nombre de
la unidad
N°
Total de horas
presenciales
Teóricas
Prácticas
Horas de estudio
Independiente
Total de
horas
1
Lógica
4
8
24
36
2
Los Sistemas Numéricos
6
10
32
48
3
Teoría de Boole y Compuertas Lógicas
6
10
32
48
4
Máquinas de Estado Finito
6
8
28
42
5
Examen
0
2
4
6
6
Total
22
38
120
180
Horas de estudio
Independiente
Total de
horas
Modalidad Profesionalización
Nombre de
la unidad
N°
Total de horas
presenciales
Teóricas
Prácticas
1
Lógica
6
6
24
36
2
Los Sistemas Numéricos
8
8
32
48
3
Teoría de Boole y Compuertas Lógicas
8
8
32
48
4
Máquinas de Estado Finito
8
6
28
42
5
Examen
0
2
4
6
6
Total
30
30
120
180
Modalidad Mixta
N°
Nombre dela unidad
Total de horas
presenciales
Horas
en
Línea
Teóricas
Prácticas
Horas de estudio
Independiente
Total de
horas
1
Lógica
6
2
4
24
36
2
Los Sistemas Numéricos
8
3
5
32
48
3
Teoría de Boole y
Compuertas Lógicas
8
3
5
32
48
4
Máquinas de Estado Finito
8
2
4
28
42
5
Examen
2
4
6
6
Total
20
120
180
30
10
5. SISTEMA DE EVALUACIÓN
La evaluación se establece según el régimen académico estudiantil aprobado en
el consejo universitario en sesión ordinaria No. 03-2013 del 8 de febrero 2013 que
consiste en lo siguiente:
1. El estudiante debe cumplir un 75% de asistencia a clases para poder
presentarse a las evaluaciones, 60% para el caso de embarazo con riesgo
o enfermedades.
2. Se acumulará un 60% de la nota final a través de:
a. 4 Trabajos (Asignación de ejercicios, creación de diagramas de flujo)
b. 4 Pruebas cortas (Cuestionarios en aula virtual, sistemático)
3. Se realizará un examen de 40% y se deberá considerar los objetivos
generales de la asignatura desarrollados hasta esa fecha:
a. Para la modalidad regular deberá realizarse en las semanas 11 o 12
b. Para la modalidad profesionalización deberá realizarse entre las
semanas 9 y 13
4. Después de realizados los exámenes, se continuará con las evaluaciones
que aún estén pendientes de desarrollar.
5. La nota mínima para tener derecho a examen especial es 30 puntos.
.
6.
BIBLIOGRAFÍA
Para Docentes
Borrego, S. (Febrero de 2009). Lógica Proposicional. Innovación y Experiencias Educativas.
Buriticá, B. (2009). MATEMÁTICAS Y SISTEMAS DISCRETOS. Antioquia, Colombia.
Escuela Politécnica Superior. (2010). Álgebra de Boole. Madrid, España.
Godino, J., & Batanero, C. (2003). Sistemas Numéricos y su Didáctica para Maestros. Granada,
España.
González, L. M. (2009). Códigos de computadora. Obtenido de
http://www.xtec.cat/~bfiguera/inicihis.htm
Gutiérrez, J. A. (22 de Agosto de 2008). Máquinas de Estados Finitos.
Mauco, V. (2009). Lógica Proposicional. Buenos Aires, Argentina.
Quiroga, R. (2010). Programacion de Juegos 2D. Aprender Python.
Ternero, M. d. (2004). Transmisión de datos. Sevilla, España.
Para Estudiantes
Borrego, S. (Febrero de 2009). Lógica Proposicional. Innovación y Experiencias Educativas.
Buriticá, B. (2009). MATEMÁTICAS Y SISTEMAS DISCRETOS. Antioquia, Colombia.
Escuela Politécnica Superior. (2010). Álgebra de Boole. Madrid, España.
Godino, J., & Batanero, C. (2003). Sistemas Numéricos y su Didáctica para Maestros. Granada,
España.
González, L. M. (2009). Códigos de computadora. Obtenido de
http://www.xtec.cat/~bfiguera/inicihis.htm
Gutiérrez, J. A. (22 de Agosto de 2008). Máquinas de Estados Finitos.
Mauco, V. (2009). Lógica Proposicional. Buenos Aires, Argentina.
Quiroga, R. (2010). Programacion de Juegos 2D. Aprender Python.
Ternero, M. d. (2004). Transmisión de datos. Sevilla, España.