UA
   LÓGICA COMPUTACIONAL    Año académico       Versión PDF.  Versión PDF para convalidación.
Código9188Descripción
Crdts. Teor.3LOGICA 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ÁreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
CIENCIA DE LA COMPUTACION E INTELIGENCIA ARTIFICIALCIENCIA DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL33


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ódigoAsignatura
9362LÓGICA COMPUTACIONAL
3181LOGICA DE PRIMER ORDEN
9286LÓGICA COMPUTACIONAL


Matriculados (2011-12)
Grupo (*)Número
1 2
TOTAL 2
(*) 1: GRUPO 1 - CAS


Ofertada como libre elección (2011-12)
Sin departamento
Consulta Gráfica de Horario
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale aPincha aquí


Horario (2011-12)
Sin horario


Grupos de matricula (2011-12)
Grupo (*)CuatrimestreTurnoIdiomaDistribución (letra nif)
1 1er. M CAS desde - hasta -
(*) 1: GRUPO 1 - CAS


Objetivos de las asignatura / competencias (2011-12)
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 (2011-12)
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 (2011-12)
Clases teóricas y prácticas

Sin docencia


Tipo de actividades: teóricas y prácticas
Laboratorios

Sin docencia


Profesores (2011-12)
Grupo Profesor/a
TEORIA DE 91881CASTEL 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

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 ] [ Enlace al recurso bibliográfico ]

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 ]

The language of first-order logic : including the Macintosh program "Tarski`s World" 4.0
Autor(es):Jon Barwise & John Etchemendy
Edición:Monlo Park (CA) : CSLI Publications, cop. 1993.
ISBN:0-937073-99-7
Recomendado por:CASTEL DE HARO, MARIA DE JESUS (*1)
[ Acceso al catálogo de la biblioteca universitaria ] [ Acceso a las ediciones anteriores ]
(*1) Este profesor ha recomendado el recurso bibliográfico a todos los alumnos de la asignatura.
Fechas de exámenes oficiales (2011-12)
ConvocatoriaGrupo (*)fechaHora inicioHora finAula(s) asignada(s)Observ:
Exámenes extraordinarios de finalización de estudios (diciembre) -1 11/11/2011 -
Periodo ordinario para asignaturas de primer semestre -1 20/01/2012 09:00 12:00 EP/SALÓN
EP/S-08M
EP/S-02M
EP/S-09G
EP/0-23G
-
Periodo extraordinario de julio -1 12/07/2012 08:30 11:30 A2/Z13 -
(*) 1: GRUPO 1 - CAS


Instrumentos y criterios de evaluación (2011-12)
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.