Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
2.1.3. Objetivos sistémicos generales
OS1: Capacidad de concretar e integrar el lenguaje formal lógico, las técnicas
usadas para darles significado y para razonar sobre ellos, con los lenguajes de
programación y con otras disciplinas relacionadas.
OS2: Capacidad para aplicar de forma eficiente los conceptos y métodos
aprendidos a cualquier ámbito en el que se requiera respuesta a problemas
concretos en donde aparezca razonamiento.
OS3: Reforzar el hábito de plantearse interrogantes; ante un problema deben
preguntarse por el número de soluciones, la relación entre ellas, cómo afectaría en
las condiciones iniciales alguna modificación, etc.
OS4: Capacidad de aplicar y relacionar, de forma autónoma, los contenidos de
cada asignatura de forma interdisciplinar.
2.2. Competencias académicas y profesionales
2.2.1. Competencias instrumentales
Dentro de las competencias instrumentales distinguiremos entre habilidades
cognitivas, capacidades metodológicas, destrezas tecnológicas y destrezas
lingüísticas.
Considerando que la asignatura Lógica Computacional contiene los siguientes bloques
temáticos:
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: Demostración Automática y Programación lógica.
Desarrollamos los apartados de habilidades cognitivas, capacidades metodológicas,
destrezas tecnológicas y lingüísticas, para cada uno de ellos.
Habilidades cognitivas
Las habilidades cognitivas se han agrupado por bloques temáticos de la asignatura.
Bloque I: El Lenguaje de la Lógica de Primer Orden.
CIC1: Comprender la relación entre el lenguaje natural y el lenguaje formal de
la lógica de primer orden y así poder formular argumentos mediante lenguajes
artificiales puramente esquemáticos.
CIC2: Comprender que el principal paso en la demostración de la validez de
argumentos es el de elegir la formalización lógica adecuada.
CIC3: Comprender el concepto de sentencia declarativa del lenguaje natural.
CIC4: Comprender que la formalización de sentencias del lenguaje natural al
lenguaje lógico requiere el estudio de las características y componentes de las
mismas.
CIC5: Aprender a utilizar el alfabeto y las reglas gramaticales de la lógica de
proposiciones para construir fórmulas lógicas (fbf) de las sentencias del
lenguaje natural.
CIC6: Aprender a utilizar el alfabeto y las reglas gramaticales de la lógica de
11