Academic Year 2019-2020

FORMAL METHODS AND LOGIC FOR COMPUTER SCIENCE

Teachers:
Giovanna D’agostino
Total Course Credits: 12
Teaching Period: Annuity
Teaching Language: Inglese
Teaching Methods. Lectures
Verification of Learning. – 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.

More Information. 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.

OBJECTIVES

CONTENTS

TEXTS