Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
Destrezas tecnológicas
CIT1: Usar con habilidad y destreza diversas herramientas software para
escribir fórmulas lógicas.
CIT2: Usar con destreza diversas herramientas software para realizar el estudio
semántico de fórmulas lógicas y la validez de argumentos, en cada nivel de
formalización.
CIT3: Manejar con habilidad cualquier aplicación software, como el ADN, para
hacer deducciones naturales usando el ordenador.
CIT4: Adquirir destrezas en el tratamiento automático de información mediante
el lenguaje Prolog.
CIT5: Saber manejar el intérprete SWI_Prolog para escribir programas en
Prolog.
Destrezas lingüísticas
CIL1: Saber desarrollar cualquier tema con disposición lógica, tanto de forma
oral como escrita, aplicando todos los conceptos inmersos en el lenguaje de la
lógica de primer orden.
CIL2: Saber desarrollar cualquier tema con disposición lógica, tanto de forma
oral como escrita, en el que se tengan que demostrar la validez de argumentos
usando métodos de la teoría semántica.
CIL3: Saber desarrollar cualquier tema con disposición lógica, tanto de forma
oral como escrita, aplicando todos los conceptos inmersos en los sistemas
deductivos.
CIL4: Conocer y saber desarrollar cualquier tema con disposición lógica, tanto
de forma oral como escrita, aplicando todos los conceptos inmersos en la
demostración automática de teoremas y la programación lógica.
2.2.2. Competencias interpersonales
Las competencias interpersonales se han dividido en competencias para tareas
colaborativas y competencias relativas al compromiso con el trabajo.
Competencias para tareas colaborativas
CIPTC1: Ser capaz de relacionar los conocimientos adquiridos en la asignatura
y las destrezas obtenidas en la asignatura Matemática Discreta y formar grupos
de trabajo para desarrollar tareas en común.
CIPTC2: Ser capaz de relacionar los conocimientos adquiridos en la asignatura
y las destrezas obtenidas en la asignatura Fundamentos de Programación I para
formar grupos de trabajo y así desarrollar tareas en común.
CIPTC3: Ser capaz de realizar opcionalmente un trabajo en equipo de
ampliación de la materia estudiada en cada asignatura.
CIPTC4: Ser capaz de trabajar en equipo para resolver cuestiones y problemas
relacionados con la materia estudiada en cada asignatura.
Compromiso con el trabajo
CIPTR1: Se debe definir una metodología de trabajo en equipo de tal forma que
se optimice el esfuerzo para cada componente del mismo.
15