ASIGNATURA-LOGICA DE PRIMER ORDEN

Código	6631	Descripción
Crdts. Teor.	3	Cálculo Proposicional. Lógica de predicados de primer orden.
Crdts. Pract.	1,5
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale a 5,62 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	1,5

Estudios en los que se imparte

Ingeniería en Informática - plan 1993

Pre-requisitos

Sin incompatibles

Incompatibilidades de matrícula por contenidos equivalentes
Sin Datos

(*) 1: teoria de logica - CAS

Ofertada como libre elección (2003-04)
Sin departamento

Consulta Gráfica de Horario
Pincha aquí

Horario (2003-04)
Sin horario

Grupo (*)	Cuatrimestre	Turno	Idioma	Distribución (letra nif)
Grupos de matricula (2003-04)
1	2do.	M	CAS	desde - hasta -

(*) 1: teoria de logica - CAS

Objetivos de las asignatura / competencias (2003-04)
Sin Datos

Contenidos teóricos y prácticos (2003-04)
Sin Datos

Más información
Sin Datos

Profesor/a responsable
LLORENS LARGO , FARAON

Metodología docente (2003-04)
Sin Datos

Tipo de actividades: teóricas y prácticas
Sin Datos

Profesores (2003-04)
LLORENS LARGO, FARAON (prof. responsable)

Enlaces relacionados

Bibliografía

Language, proof and logic
Autor(es):	BARWISE, Jon; ETCHEMENDY, John
Edición:	Stanford, California : CSLI, 2000.
ISBN:	978-1-889119-08-3
Recomendado por:	LLORENS LARGO, FARAON (*1)
[ Acceso al catálogo de la biblioteca universitaria ] [ Enlace al recurso bibliográfico ]

Logic for computer science
Autor(es):	REEVES, Steve ; CLARKE, Michael
Edición:	Wokingham : Addison-Wesley, 1993.
ISBN:	0-201-41643-3
Recomendado por:	LLORENS LARGO, FARAON (*1)
[ Acceso al catálogo de la biblioteca universitaria ]

Lógica computacional
Autor(es):	PANIAGUA ARÍS, Enrique ; SÁNCHEZ GONZÁLEZ, Luís ; MARTÍN RUBIO, Fernando
Edición:	Madrid : Thomson, 2003.
ISBN:	84-9732-182-0
Recomendado por:	LLORENS LARGO, FARAON (*1)
[ Acceso al catálogo de la biblioteca universitaria ]

Lógica simbólica
Autor(es):	GARRIDO, Manuel
Edición:	Madrid : Tecnos, 2005.
ISBN:	978-84-309-3747-9
Recomendado por:	LLORENS LARGO, FARAON (*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:	LLORENS LARGO, FARAON (*1)
[ Acceso al catálogo de la biblioteca universitaria ]

Prolog
Autor(es):	GIANNESINI, Françis...[et al.]
Edición:	Madrid : Addison-Wesley Iberoamericana, 1989.
ISBN:	84-7829-003-6
Recomendado por:	LLORENS LARGO, FARAON (*1)
[ Acceso al catálogo de la biblioteca universitaria ]

Razón, dulce razón : una guía de campo de la lógica moderna
Autor(es):	Tymoczko, Thomas; Henle, James M.
Edición:	Barcelona : Ariel, 2002.
ISBN:	84-344-8042-5
Recomendado por:	LLORENS LARGO, FARAON (*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 (2003-04)
Información no disponible en estos momentos.

(*) 1: teoria de logica - CAS

Instrumentos y criterios de evaluación (2003-04)
Sin Datos


LOGICA DE PRIMER ORDEN	Año académico