Linguaggi di Programmazione con Laboratorio

LAUREA in MATEMATICA

Università di Pisa
Anno Accademico 2019-2020

prof. Marco Bellia


 

 

 

 

Linguaggi di Programmazione

Marco Bellia

Organizzazione del Corso

 

 

 

 

 

 

 

 

 

Notizie e Organizzazione

Programma
Orario Lezioni/Esercitazioni/Laboratorio
Orario Ricevimento
Registro e Materiale
Testi e Approfondimenti
Modalità di Esame (MODIFICHE)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Il programma proposto (italiano) per l'edizione 2020 è anche consultabile (in inglese) attraverso le pagine del corso di laurea in matematica.
Il programma dettagliato del corso è invece fornito dal registro delle attività che è mantenuto nelle pagine online del corso. Il registro contiene tutte le attività svolte durante il corso, l'argomento trattato ad ogni lezione/esercitazione/laboratorio e i riferimenti al materiale da utilizzare per il relativo studio.

BACK

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


La prova di esame. In accordo a quanto disposto dal CDS di Matematica, la prova di esame si svolgera' per via telematica secondo gli strumenti piu' adatti tra quelli resi disponibili dall'Universit'a di Pisa e comunicati prima dell'esame.
Le Modalita' di Esame saranno diverse in considerazione dell'Anno Accademico in cui il corso e' stato seguito e dell'attivita' svolta in ciascun A.A.

A.A 2018-19 (e A.A. precedenti)
Prova Orale sugli argomenti tratta nell'A.A. seguito.
Per sostene la prova concordare data e ora con il prof. M. Bellia (usare email, pagine del corso).

A.A. 2019-20
Seminario su Progetto, vedi ProgettoFacSimile.pdf, vedi anche Seminario per una presentazione, assegnato su richiesta e da presentare entrro 10 gg, in via telematica, nell'aula (virtuale) del corso, utilizzando le credenziali gia' in proprio possesso.
All'atto della richiesta verra' concordata la data di consegna del materiale da produrre (Lucidi e Listing di Codice e Prove) e la data della Presentazione. Le date precedentemente concordatea potranno essere modificate su richiesta, per sopraggiunti inconvenienti.

BACK

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Giorno Ora Aula Attività
Martedi
14.00 - 16:00
L
Lezione/Esercitazione
Mercoledi
11:00 - 13:00
L
Lezione
Giovedi
09:00 - 11:00
L
Lezione
Venerdi
11:00 - 13:00
H
Laboratorio


Ricevimento Al termine dell'attività del ... mi trattengo in aula ... per rispondere ad eventuali quesiti. Altri orari possono essere concordati contattandomi a lezione oppure e-mail LPL: Ricevimento.

BACK

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Testi

  • [GM] Gabrielli M., S. Martini, Programming Languages: Principles and Paradigms, Springer-Verlag, London, 2010
  • [GME] (in alternativa) Gabrielli M., S. Martini, Linguaggi di Programmazione: Principi e Paradigmi (seconda edizione), McGraw-Hill, Milano, 2011
  • Lucidi, Listings e Articoli Vari (ad Integrazione del testo come indicato a lezione/esercitazione/laboratorio)

Consultazione

  • [LK] Liskov B., Program Development in Java: Abstraction, Specification and O-O Design, Addison-Wesley, 2001
  • [SC] Scott L.M., Programming Language Pragmatics, III Edition, Elsevier - Morgan Kufmann Pub., Burlington, MA, 2009
  • H.P. Barendregt, Functional Programming and Lambda Calculus, in Handbook of theoretical Computer Science, vol. B, Chapter 7, pp. 321-363, Elsevier Science Publishers, 1990
  • R. Milner, J. Parrow, D. Walker, A Calculus of Mobile Processes, Information and Computations 100, pp. 1-9, 41-49, 1992
  • Golsing J. et al., The Java Language Specification: Java SE 8 Edition, Oracle America, Inc. and/or its affiliates, Redwood City, California 94065, U.S.A, 2015
  • M. Minsky, Computation: Finite and Infinite Machines, Chapter 11, pp. 199-216, Prentice-Hall International, 1972.
  • Leroy X. et al., The Objective Caml system release 3.10: Documentation and User's Manual , INRIA, May 16, 2007