Fondamenti di Programmazione con Laboratorio

Corso di Laurea Triennale in Matematica - A.A. 2019/20    
DOCENTI Chiara Bodei
chiara.bodei-at-unipi.it

http://pages.di.unipi.it/bodei/

Nadia Pisanti
nadia.pisanti-at-unipi.it

http://pages.di.unipi.it/pisanti

Nicola Prezza
nicola.prezza-at-gmail.com


Jacopo Soldani
soldani-at-di.unipi.it

http://pages.di.unipi.it/soldani
ORARIO LEZIONI Lunedì, ore 16 - 18, Giovedì, ore 9 - 11, Venerdì, ore 11 - 13, Aula G
ORARIO LABORATORIO Martedì, ore 9 - 11 (Aula H e Aula M)
ORARIO RICEVIMENTO (Bodei) [Durante il semestre] Giovedì, ore 11 - 13 o su appuntamento (Studi docenti).
Dopo la fine del semestre i giorni di ricevimento saranno su appuntamento.
INFORMAZIONI CORSO Programma del corso e informazioni
LEZIONI Elenco Lezioni con relativo materiale didattico

Registro Unimap

Modalità esami
L'esame è composto da:
  • Prova scritta
  • Prova pratica di programmazione in C
  • Prova orale
  • Per accedere alla prova pratica e a quella orale occorre aver superato la prova scritta.
  • La prova pratica consiste in un problema di programmazione da risolvere in circa due ore. Se superata, la prova rimane valida per tutti gli appelli dell'anno accademico in corso.

  • La prova orale è FACOLTATIVA. Chi decide di non sostenere l'orale ha diritto a un incremento di 2 punti rispetto al voto dello scritto. Questo incremento viene perso si decide di sostenere la prova orale, che può portare a un incremento massimo di 4 punti, ma anche ad una diminuzione del voto di partenza. La registrazione del voto può avvenire in qualunque appello o ricevimento del docente.
    Per ogni appello il calendario della prova orale sarà pubblicato sul sito del corso. Sarà premura degli interessati iscriversi entro tre giorni dalla data indicata nel calendario, inviando una email ai docenti, avente come oggetto: FPL19/20 iscrizione orale, indicando l'intenzione di sostenere la prova orale. (Esempio: orale previsto in data 21 Marzo; gli interessati devono inviare una mail di iscrizione entro il 18 Marzo.)
Prove di verifica
  • 11 novembre 2019: I prova di verifica (Aule G,C,E1): testo
    Risultati
    La sufficienza consente l'ammissione alla seconda prova di verifica.
    Si potranno vedere i compiti dopo la lezione di lunedì 2 dicembre.
  • 17 dicembre 2019: II prova di verifica (Aule G, M1): testo
    Può partecipare solo chi ha ottenuto la sufficienza nella prima prova di verifica e si è iscritto sulla piattaforma Valutami.
    Risultati
    Si potranno vedere i compiti martedì 7 gennaio, alle 12, nello studio della docente.

  • 8 gennaio 2020: ore 9-12 (Aule H,M,I): prova pratica per chi ha superato entrambe le prove di verifica e si è iscritto in tempo sulla piattaforma Valutami.

  • 16 gennaio 2020, ore 9: prova scritta appelllo gennaio (Aule E1,G,P1): testo
    Risultati
    Si potranno vedere i compiti mercoledì 22 gennaio, dalle 10 alle 11, nello studio della docente.
    Il prossimo ricevimento sarà mercoledì 29 gennaio alle 11.00.

  • 31 gennaio 2020, ore 14-17: prova pratica appelllo gennaio (Aule H, I, M);
  • 6 febbraio 2020, ore 9: prova scritta appelllo febbraio (Aule E1,G,P1): testo
    Risultati
    La verbalizzazione si potrà effettuare mercoledì 19 febbraio dalle 9 alle 10 nello studio della docente.
    Si potranno vedere i compiti martedì 11 gennaio, dalle (attenzione orario cambiato) 11 alle 12, nello studio della docente.
  • 14 febbraio 2020, ore 14-17: prova pratica appelllo febbraio (Aule H, I, M);

Avvisi vari
  • A causa dell'allerta per il livello del fiume Arno, tutte le attività dell'Università saranno sospese lunedì 18 novembre, inclusa la lezione di Fondamenti di Programmazione.
  • Si avvisa che la prima prova di verifica intermedia è prevista per lunedì 11 novembre. Si terrà nelle aule G, C e E1.
    È obbligatoria l'iscrizione sulla piattaforma Valutami.
  • La lezione di lunedì 28 ottobre si svolgerà dalle 17.15 alle 18.00, a causa della sospensione dell'attività didattica dalle 15:30 alle 17:15.
    La sospensione risponde alla richiesta di facilitare la partecipazione degli studenti a un dibattito sul conflitto nella Siria del Nord, in risposta a un appello che arriva dalle Università di Rojava e Kobane. L'iniziativa è stata presa da Elettra Stradella, presidente del Comitato Unico di Garanzia dell'Università di Pisa in collaborazione con i CUG della SNS e del Sant'Anna.
  • Si avvisa che la lezione di laboratorio prevista per martedì 24 settembre non verrà effettuata.
Link utili per il laboratorio Programmare in C a casa e in laboratorio
  • Il sito di informazioni del SID del Polo 2

  • Piattaforma di autovalutazione
    Si tratta di un sito web dove gli studenti possono registrarsi ed accedere usando le proprie credenziali in grado di valutare la correttezza delle soluzioni proposte su un insieme di test-case.
    Per maggiore chiarezza leggere le istruzioni per l'uso della piattaforma

  • Virtual Machine (VirtualBox): per coloro che volessero svolgere le esercitazioni di laboratorio sul proprio PC/MAC senza installare Linux in una partizione del disco, è stato predisposta una macchina virtuale, ovvero un ambiente virtuale che emula una macchina fisica.
    A questo scopo è stato preparato un disco virtuale (formato .vmdk) contenente una installazione completa di XUbuntu, configurato per le esigenze del laboratorio, che può essere fatto partire utilizzando (ad esempio) il sistema di virtualizzazione Virtual Box. Un tutorial che descrive come creare una macchina virtuale (VM) sotto VirtualBox partendo da un disco esistente può essere scaricato qui. La cartella compressa VM (.zip) può essere scaricata qui (circa 3GB!) (In caso di problemi di decompressione provare a scaricare la cartella con un altro browser).

  • Istallazione GCC:

Materiale didattico aggiuntivo.
  • Alcuni testi delle prime e seconde prove di verifica date in passato.


Gran parte del materiale didattico è frutto del lavoro congiunto dei docenti che negli anni hanno tenuto corsi di Fondamenti di Programmazione e di Informatica. Un particolare ringraziamento va al Prof. Paolo Mancarella e alla Prof. Roberta Gori, per i lucidi. Un ringraziamento anche al Prof. Stefano Chessa e al Prof. Giuseppe Prencipe. Un ringraziamento infine per la Prof. Francesca Rossi che mi ha gentilmente messo a disposizione i lucidi sulla parte relativa ai linguaggi formali e agli automi a stati finiti.