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

FISA DISCIPLINEI

Codul
Denumirea disciplinei
MML1015 Logică temporală
Specializarea
Semestrul
Ore: C+S+L
Categoria
Statutul
Metode formale în programare - în limba engleză
2
2+2+0
specialitate
obligatorie
Titularii de disciplina
Conf. Dr. BREAZ Simion Sorin,  bodomath.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.
Continutul
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.
Legaturi: Syllabus-urile tuturor disciplinelor
Versiunea in limba engleza a acestei discipline
Versiunea in format rtf a acestei discipline