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
Sin Datos

Matriculados (2001-02)
Grupo (*)	Número
1	31
2	50
3	44
4	36
5	33
6	47
7	24
TOTAL	265

(*) 1: TEORIA DE LOGICA COMPUTACIONAL - VAL

(*) 2: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 3: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 4: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 5: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 6: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 7: TEORIA DE LOGICA COMPUTACIONAL - CAS

Ofertada como libre elección (2001-02)

Sin departamento

Consulta Gráfica de Horario

Pincha aquí

Horario (2001-02)

Sin horario

Grupos de matricula (2001-02)
Grupo (*)	Cuatrimestre	Turno	Idioma	Distribución (letra nif)
1	1er.	M	VAL	desde A hasta Z
2	1er.	M	CAS	desde A hasta Z
3	1er.	T	CAS	desde A hasta Z
4	1er.	T	CAS	desde A hasta Z
5	1er.	M	CAS	desde A hasta Z
6	1er.	M	CAS	desde A hasta Z
7	1er.	T	CAS	desde A hasta Z

(*) 1: TEORIA DE LOGICA COMPUTACIONAL - VAL

(*) 2: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 3: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 4: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 5: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 6: TEORIA DE LOGICA COMPUTACIONAL - CAS

(*) 7: TEORIA DE LOGICA COMPUTACIONAL - CAS

Objetivos de las asignatura / competencias (2001-02)

Sin Datos

Contenidos teóricos y prácticos (2001-02)

Sin Datos

Más información

Sin Datos

Profesor/a responsable

Sin Datos

Metodología docente (2001-02)

Sin Datos

Tipo de actividades: teóricas y prácticas

Sin Datos

Profesores (2001-02)

BELSO ALARCON, MANUEL FAUSTINO

VILLAGRA ARNEDO, CARLOS JOSE

BOTIA MARTINEZ, ANTONIO

Pomares Puig, Cristina

CASTEL DE HARO, MARIA DE JESUS

PEÑALVER BENAVENT, ANTONIO

LLORENS LARGO, FARAON

BELLIDO IBORRA, PEDRO

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.dccia.ua.es/logica

http://www.dccia.ua.es/logica

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
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 ]

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

Fechas de exámenes oficiales (2001-02)

Información no disponible en estos momentos.

Instrumentos y criterios de evaluación (2001-02)

Sin Datos