MML1015 | Logică temporală |
Titularii de disciplina |
Lect. Dr. MODOI Gheorghe Ciprian, cmodoimath.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 |