Código	9188	Descripción
Crdts. Teor.	3	LOGICA DE PRIMER ORDEA (SISTASIS Y SEMANTICA).SISTEMAS DE DEDUCCION.DEMOSTRACION AUTOMATICA.PROGRAMACION LOGICA
Crdts. Pract.	3
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale a 7,5 ECTS.

Departamentos y Áreas
Departamentos	Área	Crdts. Teor.	Crdts. Pract.	Dpto. Respon.	Respon. Acta
CIENCIA DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL	CIENCIA DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL	3	3

Estudios en los que se imparte

Ingeniería en Informática - plan 2001

Pre-requisitos

Sin incompatibles

Incompatibilidades de matrícula por contenidos equivalentes
Esta asignatura es incompatible, por tener contenidos equivalentes, con las asignaturas siguientes:
Código	Asignatura
9362	LÓGICA COMPUTACIONAL
9286	LÓGICA COMPUTACIONAL
3181	LOGICA DE PRIMER ORDEN

Matriculados (2010-11)
Grupo (*)	Número
1	5
TOTAL	5

(*) 1: GRUPO 1 - CAS

Ofertada como libre elección (2010-11)

Sin departamento

Consulta Gráfica de Horario

Pincha aquí

Horario (2010-11)

Sin horario

Grupos de matricula (2010-11)
Grupo (*)	Cuatrimestre	Turno	Idioma	Distribución (letra nif)
1	1er.	M	CAS	desde - hasta -

(*) 1: GRUPO 1 - CAS

Objetivos de las asignatura / competencias (2010-11)

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, por ello, en los últimos años, se aborda la lógica desde una perspectiva de aplicación a la computación. Con esta perspectiva, y atendiendo a los descriptores de la asignatura en los planes de estudios, los objetivos y las competencias que pretendemos que alcancen los alumnos se detallan a continuación: OBJETIVO GENERAL : Obj-1: Proporcionar una formación sólida en los fundamentos formales de la Lógica de Primer Orden (sintaxis y semántica), los Sistemas de Deducción, la Demostración Automática de Teoremas y la Programación Lógica. También queremos proporcionar a los estudiantes: Obj-2: Habilidad para leer y escribir en lógica simbólica para que puedan percibir su potencial tanto deductivo como expresivo. Obj-3: Conocimientos de la materia de lógica para que pueda pensar de forma analítica, crítica y estructurada, y así argumentar correctamente Obj-4: Conocimientos sobre los lenguajes de predicados, las deducciones naturales y la interpretación de estructuras. Obj-5: Mecanismos computacionales asociados a las problemáticas de la demostración automática de teoremas y la programación lógica. Obj-6: Habilidades para utilizar la lógica como formalismo para la resolución con ordenador de problemas de inteligencia artificial. Con esto, las COMPETENCIAS que el estudiante debe tener al finalizar la asignatura son: Comp-1: Conocer, saber interpretar y analizar los fundamentos formales del lenguaje de la lógica de primer orden para la representación formal del conocimiento. Comp-2: 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. Comp-3: 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. Comp-4: Conocer, saber interpretar y analizar los fundamentos formales de la demostración automática de teoremas y la programación lógica. Comp-5: Saber 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.

Contenidos teóricos y prácticos (2010-11)

TEMARIO: Bloque I: El Lenguaje de la Lógica de Primer Orden. Tema 1: La Lógica y los problemas de razonamiento. Tema 2: El Lenguaje de la Lógica de Proposiciones. Tema 3: El Lenguaje de la Lógica de Predicados. Tema 4: Formas Normales. Bloque II: Teoría semántica. Tema 5: Conceptos semánticos básicos. Tema 6: Técnicas y métodos semánticos para validar argumentos. Bloque III: Sistemas de deducción. Tema 7: Razonamiento lógico. Tema 8: La técnica de la Deducción Natural. Tema 9: ¿Cualquier verdad se puede demostrar?

Más información

http://www.dccia.ua.es/dccia/inf/asignaturas/LC/

Profesor/a responsable

Castel De Haro , Maria Jesus

Metodología docente (2010-11)

Clases teóricas y prácticas

Sin docencia

Tipo de actividades: teóricas y prácticas

Laboratorios

Sin docencia

Profesores (2010-11)
	Grupo	Profesor/a
TEORIA DE 9188	1	Castel De Haro, Maria Jesus

Enlaces relacionados

http://cherokee.iespana.es/logica.htm

http://es.wikipedia.org/wiki/Lógica_computacional

http://es.wikipedia.org/wiki/Lógica_de_primer_orden

http://es.wikipedia.org/wiki/Lógica_matemática

http://galeon.hispavista.com/aprenderaaprender/intmultiples/intlogica.htm

http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html

http://www.aprendeaprogramar.com/mod/resource/view.php?id=14

http://www.clip.dia.fi.upm.es/mastercl/cl.html

http://www.dccia.ua.es/dccia/inf/asignaturas/LC

http://www.epsilones.com/paginas/t-paradojas.html

http://www.ia.uned.es/asignaturas/logica4/material/libro-logica.pdf

http://www.ilustrados.com/publicaciones/EpZVVyZyEAgWnltipe.php#superior

http://www.matematicalia.net/

http://www.robot.uji.es/docencia/II28/teoria/transparencias-tema06.pdf

Bibliografía

Ordenar por título del libro Ordenar por profesor que lo recomienda

Hyperproof Autor(es): Jon Barwise & John Etchemendy Edición: Stanford : CSLI, 1994. ISBN: 1-881526-11-9 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Logic for applications Autor(es): NERODE, Anil ; SHORE, Richard A. Edición: New York : Springer-Verlag, 1997. ISBN: 0-387-94893-7 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Lógica de primer orden Autor(es): Castel de Haro, Mª Jesús ; Llorens Largo, Faraón Edición: Alicante : Universidad de Alicante, Departamento de Tecnología Informática y Computación, 2005. Notas: Versión electrónica a texto completo en RUA de la edición de 1999 ISBN: 84-922775-5-6 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] [ Acceso a las ediciones anteriores ] Lógica Formal para Informáticos Autor(es): Arenas Alegrías, Lourdes Edición: Madrid : Díaz de Santos, 1996. ISBN: 84-7978-240-4 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Lógica informática Autor(es): José Cuena Edición: Madrid : Alianza, 1985. ISBN: 84-206-8601-8 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Natural Language processing for prolog programmers Autor(es): M. Covington Edición: Englewood Cliffs, New Jersey : Prentice Hall, 1994. ISBN: 0136292135 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Programación en Prolog Autor(es): CLOCKSIN, W. F. ; MELLISH, C. S. Edición: Barcelona : Gustavo Gili, 1987. ISBN: 84-252-1339-8 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ] Prolog : programming for artificial intelligence Autor(es): BRATKO, Ivan Edición: Workingham : Addison-Wesley, 2000. ISBN: 9780201403756 Recomendado por: CASTEL DE HARO, MARIA DE JESUS (*1) [ Acceso al catálogo de la biblioteca universitaria ]

(*1) Este profesor ha recomendado el recurso bibliográfico a todos los alumnos de la asignatura.

Fechas de exámenes oficiales (2010-11)
Convocatoria	Grupo (*)	fecha	Hora inicio	Hora fin	Aula(s) asignada(s)	Observ:
Exámenes extraordinarios de finalización de estudios (diciembre)	-1	03/11/2010				-
Periodo ordinario para asignaturas de primer semestre	-1	02/02/2011	09:00	12:00	A2/D13 A2/D12 A2/D11 A2/D14	-
Periodo extraordinario de julio	-1	06/07/2011	08:30	11:30	A2/D01 A2/D03	-

(*) 1: GRUPO 1 - CAS

Instrumentos y criterios de evaluación (2010-11)

Examen final

La evaluación de la asignatura se llevará a cabo mediante un examen final. Características del examen: > cuestiones tipo test y > ejercicios. Observaciones: > Se permite llevar la hoja de reglas de inferencia. > Los ejercicios y las cuestiones estarán relacionados con los temas propuestos en el temario. > Para preparse el examen es conveniente usar, entre otros, los materiales dispuestos por los profesores en el Campus Virtual, y hacer los examinadores publicados desde el enlace /Evaluación/Examinadores del CV.