Codi	9188	Descripció
Crdts. Teor.	3	LÒGICA DE PRIMER ORDRE (SINTAXI I SEMÀNTICA). SISTEMES DE DEDUCCIÓ. DEMOSTRACIÓ AUTOMÀTICA. PROGRAMACIÓ LÒGICA.
Crdts. Pract.	3
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival a 7,5 ECTS.

Departamentos y Áreas
Departaments	Àrea	Crdts. Teor.	Crdts. Pract.	Dpto. Respon.	Respon. Acta
CIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIAL	CIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIAL	3	3

Estudis en què s'imparteix

Enginyeria en Informàtica - pla 2001

Prerequisitos

Sense incompatibles

Incompatibilitats de matricula per continguts equivalents
Aquesta assignatura és incompatible, per tenir continguts equivalents, amb les següents assignatures:
Codi	Assignatura
9286	LÒGICA COMPUTACIONAL
3181	LÒGICA DE PRIMER ORDRE
9362	LÒGICA COMPUTACIONAL

Matriculats (2013-14)

Sense Dades

Oferida com a lliure elecció (2013-14)

Sense departament

Consulta Gràfica d'Horari

Feu clic ací

Horari (2013-14)

Sense horari

Grups de matricula (2013-14)

Sense grups

Objectius de l'assignatura / competències (2013-14)

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.

Continguts teòrics i pràctics (2013-14)

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?

Enllaç al programa

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

Professor/a responsable

Castel De Haro , Maria Jesus

Metodologia docent (2013-14)

Classes teòriques i pràctiques

Sin docencia

Tipus d'activitats: teòriques i pràctiques

Laboratoris

Sin docencia

Professorat (2013-14)

Sense Dades

Enllaços relacionats

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

Bibliografia

Ordena pel títol del llibre Ordena pel professor que recomana

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

(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.

Dates d'exàmens oficials (2013-14)

Informació no disponible en aquests moments.

Instruments i criteris d'avaluació (2013-14)

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.