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, ufficio 1.73, I piano, Ca' Vignal 2; (Office hours: Wednesday 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ì 14:30 - 16:30, ufficio 1.64A, I piano, Ca' Vignal 2; (Office hours: Monday 14:30 - 16:30, office 1.64A, 1st floor, Ca' Vignal 2)
Luca Pasetto (lucapasetto18@gmail.com) Ricevimento: venerdì 15:30 - 17:30, aula L, I piano, Ca' Vignal 2; (Office hours: Friday 15:30 - 17:30, classroom L, 1st floor, Ca' Vignal 2)

Registro/Journal

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 lpl-bugreports@lists.stanford.edu.

Esami (I appello)/Exams (First take):
Il voto è dato da 25% C1 + 25% C2 + 50% P, dove C1 è la prova intermedia (28 novembre 2017), 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 (28th November 2017), C2 is the final exam, and P is the average of the grades in the homeworks.

Prova intermedia AA 2016-17 e sua soluzione.

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): Elenco Vincenzo Arceri; Elenco Luca Pasetto.

Voti: Classe Vincenzo Arceri e Classe Luca Pasetto

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