METODI FORMALI E LOGICA PER L’INFORMATICA

Anno accademico 2019-2020

METODI FORMALI E LOGICA PER L'INFORMATICA

Docenti:
Giovanna D’agostino
Anno di corso: 1
Totale crediti: 12
Periodo didattico: Annualità Singola
Lingua insegnamento: INGLESE
Metodi didattici. Lectures
Modalità di verifica. – FIRST MODULE, and LOGIC FOR APPLICATION:

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.

Altre informazioni. The course is divided into two modules; the first module corresponds to the course “LOGIC FOR APPLICATION” of the LAUREA MAGISTRALE in Mathematics. Upon indication of the pertinent didactical structure and in presence of international students, the course can be taught in english.

OBIETTIVI FORMATIVI

CONTENUTI

TESTI DI RIFERIMENTO