Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional.
alumno compruebe su nivel de lógica. Todo esto se puede encontrar en el campus virtual y en la
página web de la asignatura.
Por otro lado, las horas propuestas para alcanzar los objetivos de la asignatura son de
150, de las cuales 60 son gestionadas por el profesor y las otras 90 por el alumno. Las que dirige
el profesor, hacia el alumno, engloba las clases teóricas y prácticas con ordenador en
laboratorio, y las que el alumno se gestiona, engloba la realización de test periódicos de
autoevaluación, realización de ejercicios y trabajos en grupos e individuales, revisión
bibliográfica y seguimiento de la materia en tutorías con el profesor.
5. DESCRIPCIÓN
Para elaborar el contenido de la asignatura hemos tenido lo siguiente:
1º.- Los descriptores de la asignatura de los planes de estudios de informática.
2º.- Aprender lógica conlleva saber formalizar conocimiento y establecer sistemas de
razonamiento que son primordiales en muchas áreas de informática.
3º.- Los descriptores dirigen el aprendizaje de la lógica hacia la programación lógica,
paradigma de programación distinto a los estructurales con el que se puede hacer programas
usando lógica.
Con todo esto, el temario para el aprendizaje de la asignatura se divide en cinco bloques
(tabla 1). Para cada uno, se estudian sus bases teóricas (en clases de teoría) y la forma en que ésta
puede ser llevada al área informática usando distinto software de aplicación (en clases de prácticas).
Así cada bloque teórico se completa, además de con las tareas de las clases de teoría (ejemplos,
ejercicios,…), con herramientas software diseñadas para que el alumno adquiera mayor soltura y
rapidez en el aprendizaje de la lógica. La siguiente tabla muestra el temario de la asignatura, con los
bloques que la componen, así como las horas de dedicación que el alumno debe aplicar a cada
bloque (150 horas totales).
LLÓÓGGI ICCAA CCOOMPPUUTTAACCI IOONNAALL
TTEEMAARRI IOO YY PPLLAANNI IFFI ICCAACCI IÓÓNN GGEENNEERRAALL
Bloque 0 : ¿Qué es la lógica? Precursores y evolución.
Bloque I : El Lenguaje de la Lógica de Primer Orden.
Bloque II : Teoría Semántica.
Bloque III: Sistemas de Deducción.
Bloque IV : Deducción Automática y Programación Lógica.
Bloque/Horas Clases de teoría Clases de prácticas
0 5
I 30
II 40
III 40
IV 35
Desarrollo teórico de los temas de los bloques
Ejemplos.
Ejercicios.
Herramientas software para el
aprendizaje de Lógica: ADN,
Tarski’s World, Hyperproof y Fitch.
Lenguaje de programación lógica:
Prolog.
4