Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
2. OBJETIVOS
2.1. Objetivos generales
2.1.1. Objetivos instrumentales generales
OI1: Conocer una disciplina adecuada destinada a prescribir cómo se debe pensar
(argumentar, inferir) para hacerlo correctamente.
OI2: Conocer, saber interpretar y analizar los fundamentos formales del lenguaje
de la lógica de primer orden para la representación formal del conocimiento.
OI3: Conocer, saber interpretar y analizar los fundamentos formales de la teoría
semántica de la lógica de primer orden para el estudio de la validez de argumentos.
OI4: Conocer, saber interpretar y analizar las operaciones simbólicas sobre
sistemas formales de la lógica de primer orden mediante los sistemas de
deducción.
OI5: Conocer, saber interpretar y analizar los fundamentos formales de la
demostración automática de teoremas y la programación lógica.
OI6: Aplicar el lenguaje lógico a herramientas experimentales con el doble objeto
de afianzar los contenidos teóricos e instrumentar sistemas de demostración.
OI7: Aplicar los conceptos teóricos de la lógica en la informática y así captar su
relación con ramas específicas como Programación, Ingeniería del Software, Bases
de Datos e Inteligencia Artificial.
OI8: Aplicar los conocimientos adquiridos mediante la resolución de problemas y
prácticas de ordenador.
OI9: Utilizar con fluidez el software necesario en las prácticas relacionadas con
cada asignatura.
OI10: Adquirir y utilizar un buen lenguaje formal, tanto oral como escrito, siendo
riguroso en las explicaciones de cualquier proceso.
OI11: Conocer y utilizar la terminología usual de cada asignatura en castellano y/o
en valenciano y conocer dicha terminología en inglés.
2.1.2. Objetivos interpersonales generales
OIP1: Destrezas para la participación responsable: capacidad de coordinación,
asistencia, contribuciones al grupo, etc.
OIP2: Capacidad de trabajar en equipo adquiriendo y mejorando las habilidades
sociales y la inteligencia emocional.
OIP3: Comprometerse de forma ética con el trabajo, con el resto de integrantes
del grupo y consigo mismo en la toma de contacto con lenguajes y herramientas
experimentales con el doble objeto de afianzar los contenidos teóricos e
instrumentar sistemas de demostración, trabajando en equipo y presentando
resultados.
OIP4: Capacidad para integrarse a grupos de trabajo inmersos en ramas de
Programación, Ingeniería del Software, Bases de Datos o Inteligencia Artificial.
10