Programmazione 1 e Laboratorio (A.A. 2017/2018)

Corso di Laurea in Informatica - Università di Pisa

Docenti: Roberto Barbuti (Corso A) e Paolo Milazzo (Corso B)

News

  • Sono disponibili RISULTATI (CORSO B) dalla prova scritta dell'appello straordinario del 29.10.2018. Sarà possibile vedere il proprio compito MARTEDI' 30 OTTOBRE alle 13.00 presso lo studio del docente Prof. Paolo Milazzo.
  • La PROVA ORALE del V appello si terrà LUNEDI' 17 SETTEMBRE alle 13.30 in SALA SEMINARI EST presso il Dipartimento di Informatica. La prova verterà sugli argomenti teorici del corso (automi e linguaggi formali, teoria della ricorsione e semantica del linguaggio C).
  • Sono disponibili il TESTO e i RISULTATI (CORSO A e CORSO B) del quinto appello scritto del 06.09.2018. Sarà possibile vedere il proprio compito LUNEDI' 10 SETTEMBRE alle 14.00 in AULA C. Si ricorda che chi vuole sostenere la prova di laboratorio del 11 SETTEMBRE si deve iscrivere sul sito di ateneo.
  • ATTENZIONE: contrariamente a quanto descritto nelle regole d'esame, i docenti del corso hanno deciso che GLI SCRITTI DELLA SESSIONE ESTIVA (giugno/luglio) RIMARRANNO VALIDI ANCHE PER L'APPELLO DI SETTEMBRE. Quindi, chi ha superato lo scritto in tale sessione potrà sostenere direttamente la prova pratica nella sessione di settembre, senza ripetere lo scritto.
  • E' disponibile il TESTO del quarto appello scritto del 16.07.2018.
  • E' disponibile il TESTO del terzo appello scritto del 11.06.2018.
  • E' disponibile il TESTO dell'appello straordinario del 05.04.2018.
  • Sono disponibili il TESTO e la SOLUZIONE del secondo appello scritto del 06.02.2018.
  • Sono disponibili il TESTO e la SOLUZIONE del primo appello scritto del 17.01.2018.
  • Sono disponibili il TESTO e la SOLUZIONE della seconda verifica intermedia del 20.12.2017.
  • Sono disponibili il TESTO e la SOLUZIONE della prima verifica intermedia del 03.11.2017.
  • Sono disponibili il TESTO, la SOLUZIONE dell'appello straordinario del 03.11.2017.
  • Attivata la NEWSLETTER del corso di PRL (A e B). Iscrivetevi tramite QUESTA PAGINA per ricevere gli avvisi del corso via email.
  • Inizio delle lezioni il 18/09/2017

Descrizione del Corso

Lo scopo del corso è di presentare concetti introduttivi sulla teoria dei linguaggi formali, sulla programmazione imperativa iterativa (in C) e sulla programmazione ricorsiva e funzionale (in ocaml).

Laboratorio

Tutte le informazioni relative alle attività di laboratorio sono disponibili nella PAGINA DEL LABORATORIO.

Orario delle lezioni

Corso A (Barbuti)Corso B (Milazzo)
  • Lunedì - 09.00-11.00 - Aula E
  • Mercoledì - 11.00-13.00 - Aula E
  • Giovedì - 16.00-18.00 - Aula E
  • Martedì - 11.00-13.00 - Aula E
  • Mercoledì - 16.00-18.00 - Aula E
  • Venerdì - 09.00-11.00 - Aula E

Esami

L'esame consiste di tre prove: uno scritto, un test di laboratorio e un orale. Durante il periodo delle lezioni si terranno due verifiche intermedie (compitini) sostitutive della prova scritta.

Tutte le prove d'esame prevedono iscrizione:

  • Per iscriversi ad una verifica intermedia, ad una prova scritta o ad una prova di laboratorio utilizzare il SISTEMA DI ISCRIZIONE DI ATENEO
  • Per iscriversi ad una prova orale, contattare il docente via email (vedere il regolamento qui sotto).

Regole per sostenere l'esame:

  • Sono previste tre sessioni di esami regolari: Invernale (gennaio-febbraio) con 2 appelli, Estiva (giugno-luglio) con 2 appelli, e Autunnale (settembre) con 1 appello.
  • Le tre prove d'esame (scritto, laboratorio e orale) devono essere superate nell'ordine e all'interno della stessa sessione d'esame. In altre parole, sono ammessi alla prova di laboratorio solo coloro che hanno superato lo scritto (nello stesso appello o in un appello precedente della stessa sessione) e sono ammessi all'orale solo coloro che hanno superato la prova di laboratorio (nello stesso appello o in un appello precedente della stessa sessione).
  • Lo scritto si considera superato se ottiene un voto maggiore o uguale a 16/30.
  • Coloro che hanno superato le verifiche intermedie (entrambe con voto maggiore o uguale a 16) sono esonerati dal sostenere lo scritto nella prima sessione d'esame (gennaio-febbraio) e possono accedere direttamente alla prova di laboratorio. Il voto dello scritto, per coloro che hanno superato le verifiche intermedie, si ottiene facendo la media dei due voti. Solo chi supera la prima verifica intermedia può sostenere la seconda verifica intermedia.
  • All'esame scritto non è necessario consegnare il compito. Se il compito non viene consegnato, la presenza allo scritto non ha nessuna conseguenza. Se viene consegnato, il voto dello scritto annulla l'eventuale voto precedente (ottenuto con le verifiche intermedie o nello scritto di un appello precedente della stessa sessione) sia esso maggiore o minore.
  • Gli orali si possono fare in uno dei giorni successivi le prove di laboratorio di ogni appello. Le date possibili per sostenere l'orale verranno pubblicate su questa pagina web nei giorni in cui si tengono le prove di laboratorio. E' necessario prenotarsi per sostenere l'orale in uno dei giorni indicati inviando un messaggio email al docente del proprio corso.
  • La prova orale verte principalmente sulla teoria fatta a lezione e consisterà di domande e/o piccoli esercizi da svolgere interagendo con il docente e/o su carta.
  • Chi non supera l'orale deve ripetere anche la prova scritta. Nell'ambito della stessa sessione non è invece necessario ripetere anche il laboratorio.

Materiale Didattico

Dispense:

Software:

Appunti delle lezioni:

Testi (e soluzioni) delle prove d'esame degli anni precedenti: