Home » Master » Computer Science (Prev. Teaching Regulation) » Study Plan » FORMAL METHODS AND LOGIC FOR COMPUTER SCIENCE
1) Optional: solution of written exercises to upload on the elearning page of the course; the solution will be corrected and evaluated and this evaluation will be part of the final grade, if an oral exam is performed.
2) Compulsory: 3 hours written exam consisting in 3 blocks of exercises on the 3 part of the programme; the correctness of the solution as well as its clarity are evaluated.
3) Optional: oral exam in which the written exam is considered, the solution of the exercises in 1) are discussed if applicable, and questions on the programme of the course are proposed.
The maximal grade which is obtainable without the oral exam is 25/30.
– SECOND MODULE:
1) Compulsory: written exam of one hour and a half, consisting of three exercises; both the ability of solving the exercise and clarity and formal correctness of the solution is evaluated.
2) Optional: oral exam during which the written part is discussed, further exercises are proposed, and questions about all the program are asked.
Università degli Studi di Udine
Dipartimento di Scienze Matematiche, Informatiche e Fisiche (DMIF)
via delle Scienze 206, 33100 Udine, Italy
Tel: +39 0432 558400
Fax: +39 0432 558499
PEC: dmif@postacert.uniud.it
p.iva 01071600306 | c.f. 80014550307
30 km from Slovenia border
80 km from Austria border
120 km from Croatia border
160 km South West of Klagenfurt (Austria)
160 km West of Lubiana (Slovenia)
120 km North East of Venezia (Italy)