logica

Lógica de Primer Orden en las Ingenierías
Informáticas1

)DUDyQ /ORUHQV /DUJR \ 0 -HV~V &DVWHO GH +DUR

Departamento de Tecnología Informática y Computación
Escuela Politécnica Superior, Universidad de Alicante
Apartado de correos, 99. 03080 Alicante
Teléfono, fax (96) 590 36 81
[faraon,chus]@dtic.ua.es

Resumen
Dentro del cometido de la Universidad de transmisión y crítica de laciencia,
de la técnica y de la cultura, se propone que el hacer didáctico de cualquier
asignatura incluya unos contenidos bien relacionados, un conocimiento del proceso
de enseñanza/aprendizaje y un entendimiento de la práctica docente. La Lógica, en
el contexto universitario y, en concreto, dirigida a estudiantes de ingeniería
informática, aporta al alumno una visión razonada del aprendizajebasada en la
formalización del conocimiento y en la automatización de distintas formas del
razonamiento humano.
1.- Marco Contextual
Dentro de la finalidad de estas jornadas de dar a conocer diferentes
experiencias en el ámbito de las enseñanzas realizadas en distintas Universidades
españolas, presentamos el proyecto aplicado en la asignatura obligatoria2 Lógica de
er
Primer Orden impartidaen 1 curso de las Ingenierías Informáticas en la
Universidad de Alicante. Dicha asignatura está adscrita al área de “Ciencias de la
Computación e Inteligencia Artificial” y es impartida por profesores pertenecientes
al departamento de “Tecnología Informática y Computación” de dicha Universidad.
¿ Dónde ? → La Universidad
La Ley de Reforma Universitaria [BOE87a] garantiza a la Universidad lascondiciones de autonomía y de libertad de manera que la sociedad le pueda exigir
calidad docente e investigadora que la conviertan en un instrumento eficaz de
transformación social. Las Directrices Generales Propias de Informática [BOE90]
1

II Jornadas Nacionales de Innovación en las Enseñanzas de las Ingenierías, Instituto de Ciencias de la
Educación, Universidad Politécnica de Madrid,diciembre de 1996. Comunicaciones Volumen II, pág.
840-847.

2

Según las Directrices Generales Comunes [BOE87b] los contenidos se organizarán en materias; dentro de
las materias propias determinadas discrecionalmente por cada universidad encontramos materias
obligatorias que son libremente establecidas por dicha universidad y que se incluyen en su correspondiente
plan de estudios comoobligatorias para el alumno.

establecen tres nuevas titulaciones : Ingeniero en Informática (II), Ingeniero
Técnico en Informática de Gestión (ITIG) e Ingeniero Técnico en Informática de
Sistemas (ITIS). Los nuevos Planes de Estudio de Informática
[BOE93a],[BOE93b],[BOE93c] de la Universidad de Alicante a impartir en la Escuela
Politécnica superior fijan las siguientes líneas maestras :UNIVERSIDAD DE ALICANTE
Curso
Créditos

LÓGICA DE PRIMER ORDEN
Nº
Duración
Carácter

Total

1º

Teór.

Práct.

II

ITIG

ITIS

4,5

3

1,5

Ob

Ob

Ob

Nº horas/sesión

sesiones
Cuatrim.

Teoría

15

2 h.

1 h.

Contenido

Práct.
Cálculo
Proposicional.
Lógica de Predicados de
Primer orden

Tabla 1: Lógica de Primer Orden en los Planes de Estudio deInformática de la Universidad de Alicante

Vista la normativa legal que vertebrará nuestra labor, debemos abordar la
planificación de un programa que nos permita llevar a buen término nuestra tarea.
¿ Cómo ? → Metodología Docente
La primera pregunta que nos planteamos como docentes es ¿ qué han de
saber y saber hacer los profesores y profesoras para favorecer un aprendizaje
efectivo de losalumnos y alumnas e impartir una docencia de calidad ? Para la
elaboración del saber didáctico es imprescindible la integración de :
- el conocimiento de la materia
- el conocimiento de los procesos de enseñanza y aprendizaje
- el conocimiento de la práctica docente
Claramente hay un consenso generalizado entre el profesorado en la
importancia de un buen conocimiento de la materia a...