Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FIŞA DISCIPLINEI

Codul	Disciplina	
MML1015	Logică temporală	

Specializarea	Sem.	Ore: C+S+L	Categoria	Statutul	
Metode formale în programare - în limba engleză	2	2+1+0	specialitate	obligatorie	

Titularii de disciplină	Lect. Dr. MODOI Gheorghe Ciprian, cmodoi@math.ubbcluj.ro	
Obiective	Se vor prezenta bazele teoriei si aplicatii in programarea formala. Studentii vor dobandi urmatoarele competente:
 - Intelegerea sintaxei si semanticii in Logica Temporala,
 - Folosirea de proprietati temporale,
 - Realizarea de algoritmi de verificare a faptului ca o formula are loc intr-o structura data,
 - Folosirea secventelor de executie formale si obiectele logicii temporale in programare.
	
Conţinutul	1. Concepte si notiuni in logica clasica
 2. Logica temporala a propozitiilor. Limbaj si semnificatii
 3. Logica temporala a propozitiilor. Legi si opratori
 4. Logica temporala a propozitiilor. Axiome
 5. Logica temporala a propozitiilor de prim ordin
 6. Programe. Secvente de executie
 7. Programare formala. Axiome si proprietati
 8. Metoda invariantilor. Aplicatii.
 9. Metoda invariatilor pentru proprietati trecute. Aplicatii
10. Secvente de executie. metoda sirurilor finite de argumente
11. Ordonare bine fundamentata
12. Metode speciale de programare secventiala.
	
Bibliografie	1.Chomicki, J., Toman, D.: Temporal Logic in Information Systems, BRICS Lecture Series, 1997.

2.Kroger, F.: Temporal Logic and Programs, Springer-Verlag, 1987.

3. Breaz, S., Covaci, R.: Elemente de logica matematica, teoria multimilor si aritmetica, editura EFES, 2006.

Evaluare	Un examen final (E), un test din activitatea de la seminar (T) si un referat (R). Examenul va evalua cunostintele teoretice acumulate in intreaga perioada si abilitatile practice dobandite in ultimele 4 seminarii. Testul va evalua constintele dabendite la
seminar in primele 10 saptamani si va contine exercitii si probleme. Conditia necesara (nu suficienta) de promovare este ca nota de la examen sa fie cel putin 5. 
Nota finala=50%E + 25%T + 25%R.