Logica[Matricole pari]/Logic[Even id]

Insegnamento del corso di Laurea in "Informatica".
Undergraduate course for the BS program in Computer Science.

Docente/Instructor: Maria Paola Bonacina
Ricevimento: giovedì 12:00-13:30, ufficio 1.73, I piano, Ca' Vignal 2; (Office hours: Thursday 12:00-13:30, office 1.73, 1st floor, Ca' Vignal 2)

Assistenti alla didattica/Teaching Assistants:
Vincenzo Arceri (vincenzo.arceri@univr.it) Ricevimento: lunedì 10:30-12:30, 14:30-16:30, ufficio 1.64A, I piano, Ca' Vignal 2; (Office hours: Monday 10:30-12:30, 14:30-16:30, office 1.64A, 1st floor, Ca' Vignal 2)
Giovanni Bagolin (giovanni.bagolin@studenti.univr.it)
Stefano Montresor (stefano.montresor@studenti.univr.it)

Registro/Journal

Libro di testo/Textbook:
Dave Barker-Plummer, Jon Barwise and John Etchemendy. Language, Proof and Logic (LPL). CSLI Publications, II edizione, 2011. ISBN: 978-1-57586-632-1.
In caso di bachi nel software del libro, che si usa per i compiti a casa, si consultino le FAQ (Frequently Asked Questions) sul sito, e qualora non si trovi la risposta, si scriva a lpl-bugreports@lists.stanford.edu (In case of bugs in the book's software, to be used in the homeworks, consult the FAQ, and if the answer is not there, write to lpl-bugreports@lists.stanford.edu)

Esami/Exams:
Tutte le prove valide per l'esame, inclusi i compiti a casa, si sostengono nella sezione di appartenenza in base al numero di matricola. I compiti assegnati in questa sezione valgono solo per chi ha la matricola pari. (All tests and homeworks must be taken in one's own class based on whether the id is even or odd. Homeworks and tests assigned in this class are only for students with even id.)

Esami (I appello)/Exams (First take):
Il voto è dato da 25% C1 + 25% C2 + 50% P, dove C1 è la prova intermedia (30 novembre 2018), C2 è la prova finale (il giorno del I appello nella sessione di febbraio 2019), e P è la media dei voti nei compiti a casa.
The grade is given by 25% C1 + 25% C2 + 50% P, where C1 is the midterm exam (November 30, 2018), C2 is the final exam, and P is the average of the grades in the homeworks.

Prove intermedie/Midterm exams: AA 2016-17, AA 2017-18, e loro soluzioni/and their solutions: AA 2016-17, AA 2017-18.
Prove finali/Final exams: AA 2016-17, AA 2017-18, e loro soluzioni/and their solutions: AA 2016-17, AA 2017-18.

Istruzioni consegna compiti a casa/How to submit homeworks: non inviare alla docente; inviare all'assistente nel cui elenco compare il proprio nome (do not submit to the instructor; submit to the TA in whose list your name appears):

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 homeworks 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: in caso di copiature il voto di ogni individuo coinvolto viene diviso per il numero di individui coinvolti.
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: in case of cheating the grade of everyone involved will be divided by the number of people involved.



Maria Paola Bonacina