UA
   AMPLIACION DE LOGICA    Año académico       Versión PDF.
Código6567Descripción
Crdts. Teor.3Lógicas no clásicas. Lógica difusa. Lógica temporal. Metalógica.
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ÁreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
CIENCIA DE LA COMPUTACION E INT. ARTIF.CIENCIA DE LA COMPUTACION, INTELIGENCIA ARTIFICIAL31,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


Matriculados (2003-04)
Grupo (*)Número
1 1
TOTAL 1
(*) 1: teoria de ampliacion de logica - CAS


Ofertada como libre elección (2003-04)
Número máximo de alumnos: Sin límite
Pincha aquí para ver a qué estudios se oferta
Consulta Gráfica de Horario
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale aPincha aquí


Horario (2003-04)
Sin horario


Grupos de matricula (2003-04)
Grupo (*)CuatrimestreTurnoIdiomaDistribución (letra nif)
1 2do. M CAS desde - hasta -
(*) 1: teoria de ampliacion 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
http://www.dccia.ua.es/dccia/inf/asignaturas/ALO
http://www.dccia.ua.es/logica


Bibliografía

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 ]

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 ]
(*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 ampliacion de logica - CAS


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