• Roberto Bruni
• Andrea Corradini (responsabile)
• Fabio Gadducci
• Francesca Levi
• Giovanna Rosone

Gli studenti iscritti (o che si vogliono iscrivere) al Corso di Laurea in Informatica e che non hanno superato il test d'ingresso entro il 13 settembre 2016 devono seguire il corso di recupero Linguaggio matematico di base, modellazione e ragionamento, descritto in questa pagina.

Il corso dura 20 ore e termina con un test (che si terrà Lunedì 26 settembre), il superamento del quale esaurisce gli O.F.A. (Obblighi Formativi Aggiuntivi) previsti appunto per coloro che non superano il test d'ingresso. Gli studenti che hanno superato il test di ingresso con il punteggio di 9, 10 o 11 (su 20) sono comunque fortemente invitati a seguire questo corso.

Per ulteriori informazioni sul test d'ingresso e sulle modalità per esaurire gli O.F.A. si consulti la pagina https://www.di.unipi.it/it/didattica/inf-l/test-d-ingresso-e-corsi-di-recupero/

Per frequentare il corso e sostenere la prova finale non è necessario né essere immatricolati all'Università di Pisa né essere iscritti al Corso di Laurea in Informatica. Non occorre iscriversi: basta presentarsi a lezione.

Il corso inizia il 13 settembre 2016 alle ore 14:00 in Aula A (Polo Fibonacci). Il corso dura 20 ore concentrate tra il 13 e il 17 settembre, e si conclude con il test che avrà luogo Lunedì 26 settembre dalle 14 alle 16.

Data la natura del corso, la frequenza è assolutamente fondamentale anche se non è obbligatoria: si può sostenere l'esame (iscrivendosi secondo le istruzioni che verranno pubblicate) anche senza aver frequentato.

Non verrà attivato alcun meccanismo di controllo delle presenze, confidando nel senso di responsabilità degli studenti. Il materiale didattico messo a disposizione e le informazioni pubblicate su queste pagine durante lo svolgimento del corso consentiranno gli studenti che dovessero assentarsi per motivi di forza maggiore di tenersi aggiornati sullo svolgimento del corso.

Presentando brevemente ma in stile rigoroso alcuni concetti logico-matematici di base, il corso ha l’obiettivo di stimolare lo studente a utilizzare questi concetti in ragionamenti deduttivi, semplici ma non banali. Dopo un'introduzione su alcuni argomenti logico-matematici di facile comprensione che hanno l’obiettivo di stimolare la curiosità degli studenti, verrà presentato il concetto di dimostrazione per sostituzione che sarà ampiamente usato in tutto il corso.

Gli argomenti centrali del corso comprendono elementi di teoria degli insiemi, un'introduzione al Calcolo Proposizionale e cenni su Logica dei Predicati. Ogni argomento verrà presentato con numerosi esempi ed esercizi di difficoltà crescente riguardanti sia la comprensione delle nozioni introdotte, sia la capacità di applicare tecniche deduttive elementari per dimostrare la verità di enunciati o per confutarli.

Alla fine del modulo lo studente dovrebbe aver sviluppato una capacità di apprendimento non puramente nozionistico e una miglior comprensione del tipo di attitudine mentale richiesta dagli studi di Informatica. Al tempo stesso, con la valutazione finale del corso i docenti dovrebbero essere in grado di individuare gli studenti che, pur non avendo superato il test d’ingresso, hanno mostrato di possedere capacità di apprendimento e di ragionamento logico deduttivo, qualità entrambe necessarie per affrontare il percorso di studi in Informatica.

Durante le prime lezioni del corso verrà distribuita una dispensa (chiamata in queste pagine [NoteInf]) che copre tutti gli argomenti affrontati e propone numerosi esercizi svolti e da svolgere.

La dispensa [NoteInf] è disponibile anche in formato elettronico (versione 2015/16: quella del 2016/17 potrà essere leggermente diversa).

Le lezioni sono divise in ore di teoria, tipicamente tenute in un'unica aula, e ore di esercitazione, nelle quali gli studenti sono divisi in due gruppi in aule diverse. I docenti diranno di giorno in giorno agli studenti in quale aula/e presentarsi il giorno successivo. Informazioni aggiornate verranno anche riportate su questa pagina.

• Martedì 13/9
  1. Capitoli 1 e 2 di [NoteInf] (Introduzione, Gli insiemi)

• Edizione 2013 del corso
• Edizione 2014 del corso
• Edizione 2015 del corso