Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FISA DISCIPLINEI
| MIA1006 | Proiect de cercetare în metode formale în programare |
| Titularii de disciplina |
Prof. Dr. FRENTIU Militon, mfrentiu cs.ubbcluj.ro |
| Obiective |
|
La terminarea proiectului, studentul trebuie sa posede:
- deprinderi de cercetare documentara pe o tema data - abilitatea de a proiecta cuprinsul unui document (disertatia) - deprinderi de realizare a continutului unui document in mai multe iteratii |
| Continutul |
|
Activitatile de proiect din cele doua semestre reprezinta munca individuala pe care studentul o depune pentru realizarea disertatiei.
Structural, disertatia va avea trei parti - conceptuala - tehnologica - aplicativa. Etapele din acest semestru se refera la realizarea primei versiuni a partii conceptuale. Ele sunt 1. Stabilirea temei disertatiei - sapt 3 2. Documentarea bibliografica - sapt 6 3. Cuprinsul - versiunea 1: partea conceptuala - sapt 7 4. Incadrarea surselor bibliografice in structura proiectata 9 5. Traducerea partilor selectate din bibliografie si redactarea partii conceptuale - sapt 14 |
| Bibliografie |
|
1. David Ingram, How to do Research in Computer Science, Internet
|
| Evaluare |
|
Fiecare dintre etapele mentionate are fixat un termen si o nota de la 1 la 10. Se percep penalizari de intarziere de 1 pct per saptamana de intarziere.
Ponderile aferente etapelor sunt: 1. titlul (10%) 2. documentarea (20%) 3. ToC v 1.0 - conceptual part (10%) 4. incadrarea bibliografiei in structura (20%) 5. prima versiune a partii conceptuale (40%) Nota finala se calculeaza ca medie ponderata a notelor obtinute, considerandu-se ponderile specificate. |
| Legaturi: | Syllabus-urile tuturor disciplinelor Versiunea in limba engleza a acestei discipline Versiunea in format rtf a acestei discipline |