Responsable: | (-) |
Altres: | (-) |
Crèdits | Dept. |
---|---|
7.5 (6.0 ECTS) | CS |
Responsable: | (-) |
Altres: | (-) |
Aquesta assignatura aprofundirà als coneixements generals de la lògica com a eina fonamental a la informàtica.
A més es desenvoluparan habilitats a algunes àrees d'aplicació que permetran a l'estudiant crear en poc temps sistemes per a la resolució de molt diversos problemes pràctics.
Es dedicarà especial atenció a la programació lògica i a la programació lògica amb restriccions.
Hores estimades de:
T | P | L | Alt | L Ext. | Est | A Ext. |
Teoria | Problemes | Laboratori | Altres activitats | Laboratori extern | Estudi | Altres hores fora d'horari fixat |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
9,0 | 0 | 6,0 | 0 | 6,0 | 8,0 | 0 | 29,0 | |||
Repàs de lògica proposicional.
Algoritmes: Resolució, Davis-Putnam-Logemann-Loveland, BDD's. Eines: Prolog, Chaff, paquets de BDD's. Programació per traducció a SAT i ús de les eines associades. Exemples d'aplicacions: problemes d'horaris, etc.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
12,0 | 0 | 8,0 | 0 | 4,0 | 6,0 | 0 | 30,0 | |||
Repàs de lògica de primer ordre.
Algoritmes: Resolució i les seves restriccions, deducció automàtica. Mètodes basats en resolució: programació lògica, bases de dades deductives.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
6,0 | 0 | 4,0 | 0 | 8,0 | 10,0 | 0 | 28,0 | |||
Fonaments: resolució SLD.
Optimitzacions: tipus de dades predefinits, entrada-sortida. Disseny de programes declaratius. Estructures de dades avançades en programació lògica.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
9,0 | 0 | 6,0 | 0 | 6,0 | 9,0 | 0 | 30,0 | |||
Com obtenir la flexibilitat i rapidesa en l'expressió del problema característica de la programació lògica, i a la vegada tenir l'eficiència de l'ús de resoledors especialitzats per als enters, els reals, dominis finits, etc.?
CLP(X) i dominis, Maneres de reduir l'espai de cerca. Problemes lògics amb restriccions d"altres dominis. Exemple: assignació de recursos, horaris. Cerca de solucions òptimes amb CLP. CLP(X) i dominis, Maneres de reduir l"espai de cerca. Problemes lògics amb restriccions d"altres dominis. Exemple: horaris (revisited). Cerca de solucions òptimes amb CLP.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 0 | 4,0 | 0 | 4,0 | 4,0 | 0 | 16,0 | |||
Alguns problemes representables en lògica proposicional i en lògica de primer ordre.
Verificació de circuits. Verificació de protocols criptogràfics. Representació de sistemes d'estats finits.
|
Total per tipus | T | P | L | Alt | L Ext. | Est | A Ext. | Total |
42,0 | 0 | 28,0 | 0 | 28,0 | 37,0 | 0 | 135,0 | |
Hores addicionals dedicades a l'avaluació | 4,0 | |||||||
Total hores de treball per l'estudiant | 139,0 |
Hi haurà 3 hores setmanals de teoria i/o problemes (per a evitar una excessiva rigidesa a la planificació, no hi ha un número fix d'hores per setmana per a problemes, ni classes específiques de només problemes).
Es fomentarà el treball autònom per part de l'estudiant, i el paper del professor, que sempre estarà present a les 2 hores setmanals de laboratori, serà en gran mesura de consultor/avaluador dels treballs que l'estudiant realitzarà de forma autònoma a partir d'un enunciat prou específic.
Hi haurà un nota de teoria, obtinguda de l'examen escrit, amb un pes del 60%.
La nota de laboratori (40%) s'obtindrà a partir de l'avaluació de les successives entregues dels exercicis a les classes de laboratori (es preveu que siguin unes quatre entregues), tot i que hi haurà una possibilitat opcional de millora d'aquesta nota, o de recuperació de qualsevol suspens, mitjançant un examen al final del quadrimestre.
Es tracta d'una assignatura prou autocontinguda, que no necessita molts coneixements previs.
Es requereixen coneixements bàsics de lògica, a nivell de l'assignatura d'IL, tot i que a LI es realitzarà un ampli repàs d'aquests continguts, amb una visió més orientada a les aplicacions a la informàtica.
Es desitjable, però no imprescindible, tenir coneixements de les estructures de dades i algoritmes bàsics (Pred).