Introducció a la Lògica ( IL )

Professors

Responsable:	Lluis Vila Grabulosa (vilalsi.upc.edu).
Altres:	(Informació no introduïda)

Objectius Generals

Els objectius generals son dos:

1.- Conèixer que és la lògica i quin és el rol que aquesta ciència juga en la informàtica.

2.- Conèixer, tant de la Lògica Proposicional (LProp) com de la Lògica de Primer Ordre (LPO) els següents aspectes: la sintaxi, el significat, els mètodes de demostració més importants i les possibilitats d'aplicació a la informàtica.

Objectius Específics

Coneixements

1. Fer-se una primera idea de que és la lògica i quin és el rol que aquesta ciència juga en la informàtica.
2. Conèixer amb precisió la sintaxi i el significat de les fórmules de la Lògica Proposicional (LProp) i de la Lògica de Primer Ordre (LPO).
3. Entendre de forma precisa les nocions de
   (1) equivalència lògica de dues fórmules,
   (2) satisfactibilitat d'un conjunt de fórmules, i
   (3) conseqüència lògica d'una fórmula a partir d'un conjunt de fórmules.
4. Conèixer els mètodes més importants de demostració automàtica en LProp i LPO.
5. Conèixer els fonaments i l'aplicació pràctica de la Programació Lògica,
   en particular el PROLOG i el seu ús com a llenguatge de programació.
6. Descobrir les possibilitats i limitacions de la lògica com a eina per especificació i verificació en diferents àmbits de la informàtica.

Habilitats

1. Llegir, entendre i escriure correctament i amb agilitat fórmules en LProp i LPO
   amb especial èmfasi a fòrmules de dominis relacionats amb la d'informàtica.
2. Ser capaç d'escriure fòrmules en LProp i LPO
   que formalitzin un coneixement donat d'un determinat domini,
   amb especial èmfasi a dominis relacionats amb la d'informàtica.
3. Ser capaç de manipular fòrmules de LProp i LPO amb agilitat
   i transformarles a formes equivalents més simples.
4. Ser capaç d'aplicar els mètodes de demostració automàtica com ara la Resolució
   a la demostració formal de les nocions esmentades en els objectiu.
5. Ser capaç de fer petits programes en PROLOG,
   amb recursivitat, llistes, estuctures, negació-per-fracàs, ...
   pero sense el "cut".

Competències

Continguts

Hores estimades de:

Metodologia docent

En aquesta assignatura es combinen teoria, problemes i laboratori. En tot cas, la metodologia docent està basada en els següents principis:
1. Plantejar la classe com un inici de l'estudi i el treball que l'estudiant ha de continuar i aprofundir després de la classe.
2. Proporcionar el màxim de materials (apunts, exercicis resolts, exercicis per fer, guies de classe, programes exemple, ref. bibliogràfiques) per tal de facilitar l'adquisició de coneixements per part de l'alumne.
3. Aprofitar les classes al màxim per fomentar la motivació a l'estudiant (amb exemples, debats, comentaris, etc.) i transmetre l'enfoc i les intuïcions darrera de les definicions, propietats i tècniques que s'expliquen en l'assignatura.

Les sessions de teoria i problemes es coordinen de manera flexible i segueixen el temari, canviant en totes aquelles ocasions en que la teoria requereixi una primera presa de contacte (sovint informal) de l'alumne amb la seva aplicació.

Les sessions de laboratori estan organitzades en base a guies de classe que tenen com a objectiu familiaritzar a l'alumne amb una séries de principis i tècniques que després haurà de treballar per fer (començant a classe i desenvolupant en la seva major part fora de classe) l'exercici d'entrega obligatòria per la propera sessió.

Mètode d'avaluació

Nota = Examen Parcial (25%) +
Examen Final (60%) +
Nota de Laboratori (15%).

Si la nota de l'examen final és superior a la del parcial,
la nota del parcial no es te en compte
i la nota de l'examen final passa a valer el 85%.

Examen PARCIAL
- Examen de preguntes curtes sobre tot el que s'ha donat al curs fins aquell moment.
- Es realitza més o menys a meitat de curs.
- Té una durada aprox. d'entre 1 i 2 hores.
- No es pot emprar cap tipus de material
- No elimina matèria.

Examen FINAL
- Examen de preguntes curtes sobre tot el que s'ha donat al curs.
- L'examen pot estar organitzat en una o més parts.
- Es realitza a final de curs.
- Té una durada aprox. d'entre 2 i 3 hores.
- No es pot emprar cap tipus de material.

Nota de LABORATORI,
és la nota que l'EXAMEN DE LAB que te les següents característiques:
- Examen que consta d'un exercici pràctic amb preguntes,
similar en forma i complexitat als realitzats en les sessions de lab,
i que es ser, o be amb ordinador o be sobre paper.
- Es realitza cap al final de curs, o be durant la darrera sessió de laboratori o be després.
- Té una durada aprox. d'1 hora
- És un examen individual i sense apunts.

Exercicis pràctics per casa:
Al llarg de les sessions de laboratori es plantejaran problemes fer durant la setmana i entregar a la següent sessió de laboratori.
Les entregues són voluntàries però fortament recomanades, i poden
servir per pujar la nota de laboratori en casos dubtosos a criteri del professor.

En cas de còpia parcial o total en qualsevol de les avaluacions de l'assignatura s'aplicarà el que preveu la Normativa Acadèmica General de la UPC: realitzar de forma fraudulenta qualsevol acte d'avaluació comporta, com a mínim, una qualificació 0 de tota l'assignatura, i, possiblement, processos disciplinaris més severs. Més informació a l'apartat "L'avaluació de les assignatures" de la Guia Docent.

Bibliografía bàsica

Bibliografía complementària

Enllaços web

Capacitats prèvies

Introducció a la programació i a la programació recursiva.