UA
   LÒGICA COMPUTACIONAL    Any acadèmic       Versió PDF.
Codi9188Descripció
Crdts. Teor.3LÒ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ÀreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
CIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIALCIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIAL33


Estudis en què s'imparteix
Enginyeria en Informàtica - pla 2001


Prerequisitos
Sense incompatibles


Incompatibilitats de matricula per continguts equivalents
Sense Dades


Matriculats (2001-02)
Grup (*)Nombre
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


Oferida com a lliure elecció (2001-02)
Sense departament
Consulta Gràfica d'Horari
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival aFeu clic ací


Horari (2001-02)
Sense horari


Grups de matricula (2001-02)
Grup (*)QuadrimestreTornIdiomaDistribució (lletra nif)
1 1er. M VAL des de A fins a Z
2 1er. M CAS des de A fins a Z
3 1er. T CAS des de A fins a Z
4 1er. T CAS des de A fins a Z
5 1er. M CAS des de A fins a Z
6 1er. M CAS des de A fins a Z
7 1er. T CAS des de A fins a 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


Objectius de l'assignatura / competències (2001-02)
Sense Dades


Continguts teòrics i pràctics (2001-02)
Sense Dades


Enllaç al programa
Sense Dades
Professor/a responsable
Sense Dades


Metodologia docent (2001-02)
Sense Dades


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


Professorat (2001-02)
BELSO ALARCON, MANUEL FAUSTINO
VILLAGRA ARNEDO, CARLOS JOSE
BOTIA MARTINEZ, ANTONIO
CASTEL DE HARO, MARIA DE JESUS
PEÑALVER BENAVENT, ANTONIO
BELLIDO IBORRA, PEDRO
LLORENS LARGO, FARAON
Pomares Puig, Cristina
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.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


Bibliografia

Language, proof and logic
Autors:BARWISE, Jon; ETCHEMENDY, John
Edició:Stanford, California : CSLI, 2000.
ISBN:978-1-889119-08-3
Recomanat per: LLORENS LARGO, FARAON (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Enllaç al recurs bibliogràfic ]
(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.
Dates d'exàmens oficials (2001-02)
Informació no disponible en aquests moments.
(*) 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


Instruments i criteris d'avaluació (2001-02)
Sense Dades