Logica

Solo disponible en BuenasTareas
  • Páginas : 11 (2621 palabras )
  • Descarga(s) : 0
  • Publicado : 2 de febrero de 2012
Leer documento completo
Vista previa del texto
CURSO 2009/10

LA MATERIA DE LÓGICA EN LAS INGENIERÍAS INFORMÁTICAS
1 ¿Por qué aparece la materia de lógica en informática? 2 Descriptores para la asignatura “Lógica Computacional” en los planes de estudios de informática. 3 Objetivos instrumentales y competencias generales. 4 Relación con otras asignaturas de las ingenierías informáticas. 5 Aplicaciones de la lógica al campo de lainformática. 6 Enlaces. Fuentes de Información. 7 Bibliografía de Normativas y Planes de Estudios.

1

¿Por qué aparece la materia de lógica en informática?

La materia de lógica establece sus teorías en informática, como queda patente en las recomendaciones curriculares de los distintos organismos internacionales de reconocido prestigio como ACM (Association for Computing Machinery) e IEEE (Institutefor Electrical and Electronic Engineers). En ACM/IEEE de 2001 [CC2001]1, se propone utilizar la lógica en computación como instrumento de la tarea de representación y resolución de problemas por medio del ordenador. También, en el área de Sistemas Inteligentes (representación del conocimiento y razonamiento), aparecen técnicas de representación y resolución de problemas basadas en lógica. Con esto,tendremos, que en cuanto el alumno profundice en aspectos como la lógica de primer orden, resolución y prueba de teoremas, inferencia no monótona, razonamiento probabilístico y teorema de Bayes, estará capacitado para el diseño y análisis de agentes autónomos, para representar conocimiento y razonamiento y para diseñar sistemas inteligentes. Luego: Se reconoce el carácter fundamental de la lógicacomo herramienta imprescindible para el informático, ya que le permite elaborar especificaciones formales y formalizar líneas de razonamiento, diseño y descripción de sistemas inteligentes.

2 Descriptores para la asignatura “Lógica Computacional” en los planes de estudios de informática
La Ley de Reforma Universitaria [BOE87a]1 garantiza a la universidad las condiciones de autonomía y delibertad 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
1

Ver Sección 7: Bibliografía de Normativa y Planes de Estudios.

«LÓGICA COMPUTACIONAL» EN LAS INGENIERÍAS INFORMÁTICAS. CURSO 2009/10 establecen tres nuevas titulaciones: Ingeniero enInformá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 las Ingenierías Informáticas [BOE2001a]1, [BOE2001b]1, [BOE2001c]1 de la universidad de Alicante, que se imparten en la Escuela Politécnica Superior, fijan las siguientes líneas maestras (que se muestran en la tabla siguiente), para laasignatura obligatoria2 «Lógica Computacional» (LC) impartida en el primer cuatrimestre del 1er curso, adscrita al área de conocimiento “Ciencia de la Computación e Inteligencia Artificial” y que pertenece al departamento del mismo nombre de esta universidad. Su docencia la llevan a cabo profesores del departamento de Ciencia de la Computación e Inteligencia Artificial, de la Escuela Politécnica Superior.LÓGICA COMPUTACIONAL EN LA UNIVERSIDAD DE ALICANTE Curso Periodo Créditos: 6 Carácter Nº de clases Nº de horas/semana 1
er

1º cuatrimestre Teoría: 3 Prácticas: 3 Obligatoria 15 (aproximadamente) 2 horas para teoría y 2 horas para prácticas Lógica de primer orden (sintaxis y semántica).

Descriptores

Sistemas de deducción. Demostración automática. Programación Lógica

3

Objetivosinstrumentales y competencias generales

Desde la publicación de los trabajos de Herbrand (1930) hasta nuestros días, la lógica se ha convertido en un valioso instrumento conceptual al servicio de la informática tanto en el aspecto de ayuda de representación de conocimiento como en soporte para diseño de sistemas inteligentes, es decir, hoy día se aborda la lógica desde una perspectiva de...
tracking img