Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
CIPTR2: La cantidad de trabajo que debe realizar cada componente debe ser
proporcional al compromiso adquirido por el sujeto, de tal forma, que cada uno
elige el grado de implicación en el grupo y debe ser responsable con esta
elección.
CIPTR3: Cada componente del equipo debe saber explicar y poner al día su
trabajo a los otros compañeros.
CIPTR4: Es importante adquirir un compromiso ético entre todos los
componentes del grupo.
CIPTR5: Los trabajos deben entregarse en el plazo previsto.
2.2.3. Competencias sistémicas
Integración de capacidades cognitivas, destrezas prácticas y disposiciones
CS1: Predisposición y aptitud para aplicar los conocimientos adquiridos en la
asignatura a situaciones y problemas de informática y a otras disciplinas afines a
la materia.
CS2: Predisposición y aptitud de abordar nuevos conceptos y métodos
relacionados con la asignatura en el campo de la informática.
3. PRERREQUISITOS
3.1. Competencias y contenidos mínimos
Entender el concepto de lenguaje formal de la lógica de primer orden para saber
formalizar sentencias del lenguaje natural.
Entender el concepto de normalización de fbf para su tratamiento automático.
Entender los conceptos de valor de verdad e interpretación de fbf como base del
estudio de tautologías.
Entender los conceptos de reglas de inferencia, estrategias deductivas, deducción
y demostración.
Entender la regla de resolución y la estrategia de refutación para realizar
demostraciones automáticas de teoremas.
Entender la sintaxis y semántica del lenguaje Prolog.
3.2. Plan de trabajo y actividades para la consecución de los
prerrequisitos
Como la asignatura Lógica Computacional se imparte en el primer cuatrimestre de
1 er curso, los alumnos no suelen tener conocimiento, por parte de otras asignaturas de
la carrera, de la materia de lógica; sin embargo, algunos han visto en sus estudios
preuniversitarios conceptos básicos sobre formalización de sentencias y deducción.
Por ello, los profesores de la asignatura recomendamos a todos los alumnos la
lectura de diversos libros básicos para entender de “lo que va la lógica”. Esta
información la tienen disponible en el campus virtual y en la página web de la
asignatura.
Además, para que vayan “abriendo boca”, publicamos en el campus virtual un test
de autoevaluación “test cero” para que cada alumno pueda comprobar cuál es su nivel
sobre la materia que va a estudiar. Según los resultados obtenidos se le recomendará
16