Logica/Logic

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

Docente/Instructor: Maria Paola Bonacina
Ricevimento: mercoledì 12:00 - 13:30, Stanza 1.73; (Office hours: Wednesday 12:00 - 13:30, Room 1.73)

Assistenti alla didattica/Teaching Assistants:

Libro di testo/Textbook:
Dave Barker-Plummer, Jon Barwise and John Etchemendy. Language, Proof and Logic. CSLI Publications, II edizione, 2011. ISBN: 978-1-57586-632-1.
In caso di bachi nel software associato al libro, si consultino le FAQ (Frequently Asked Questions) sul sito, e qualora non si trovi la risposta, si mandi una posta elettronica a LPLbugs@csli.stanford.edu.

Esami (I appello)/Exams (First take):
Il voto è dato da 25% C1 + 25% C2 + 50% P, dove C1 è la prova intermedia, C2 è la prova finale (il giorno del I appello nella sessione di febbraio 2018), 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, C2 is the final exam, and P is the average of the grades in the homeworks.

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): Vincenzo Arceri; Francesco Battistoni; Emanuele Falzone; Luca Pasetto; Davide Pigozzi; Martina Stanzial

Voti gruppo di Vincenzo Arceri; Voti gruppo di Francesco Battistoni; Voti gruppo di Emanuele Falzone; Voti gruppo di Luca Pasetto; Voti gruppo di Davide Pigozzi; Voti gruppo di Martina Stanzial

Soluzione esame II appello; Soluzione esame III appello

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.
The grade is given by 100% E, where E is a written exam, as hard as midterm, final, and homeworks combined.

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 studente coinvolto viene diviso per il numero di studenti 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 every involved student will be divided by the number of involved students.



Maria Paola Bonacina