Ragionamento automatico/Automated Reasoning

Insegnamento del corso di Laurea Magistrale in "Ingegneria e Scienze Informatiche" e del Dottorato in "Informatica".
Graduate course for the MS program in Computer Science and Engineering and the PhD program in Computer Science.

Docente/Instructor: Maria Paola Bonacina Ricevimento: giovedì, 12:00 - 13:30, Stanza 1.73
Office hours: Thursday, 12:00 - 13:30, Room 1.73

Registro/Journal

Libri (in ordine alfabetico)/Books (in alphabetical order):

Articoli/Papers:

Esami (I appello)/Exams (First take):
Il voto è dato da 25% C1 + 25% C2 + 50% P, dove C1 è la prova intermedia (29 novembre 2018), C2 è la prova finale (il giorno del I appello nella sessione di febbraio 2019), e P è un progetto.
The grade is given by 25% C1 + 25% C2 + 50% P, where C1 is the midterm exam (November 29, 2018), C2 is the final exam, and P is a project.

Prove intermedie/Midterm exams: AA2011-12, AA2012-13, AA2013-14, AA2014-15, AA2016-17; AA2017-18; e loro soluzioni/and their solutions: AA2011-12, AA2012-13, AA2013-14, AA2014-15, AA2016-17, AA2017-18.
Prove finali/Final exams: AA2011-12, AA2012-13, AA2013-14, AA2014-15, AA2016-17; AA2017-18; e loro soluzioni/and their solutions: AA2011-12, AA2012-13, AA2013-14, AA2014-15, AA2016-17, AA2017-18.
Progetto/Project
Voti/Grades

Esami (appelli successivi)/Exams (Later takes):
Il voto è dato da 100% E, dove E è un unico compito scritto, di difficoltà tale da uguagliare l'unione delle prove parziali modulo la diversa tempistica.
The grade is given by 100% E, where E is a written exam, as hard as midterm, final, and project combined modulo the different time framework.

Registrazione/Registration: non è previsto il rifiuto del voto e tutti i voti saranno registrati. Ci si può ritirare informando la docente. Tutti gli elaborati sono individuali. È vietato copiare o condividere codice o testo e le copiature determineranno abbassamenti di voti.
All grades will be registered. It is possible to withdraw by informing the instructor. All tests and projects are individual work. Cheating is strictly forbidden and will determine penalties on grades.



Maria Paola Bonacina