Linguaggi di Programmazione con Laboratorio

LAUREA in MATEMATICA

Università di Pisa
Anno Accademico 2020-2021

prof. Marco Bellia


 

 

 

 

Linguaggi di Programmazione

Marco Bellia

Organizzazione del Corso

 

 

 

 

 

 

 

 

 

Notizie e Organizzazione

Programma
Orario Lezioni/Esercitazioni/Laboratorio
Orario Ricevimento
Piattaforma GoogleMeet: Codice e Link Aula Virtuale
Registro e Materiale
Testi e Approfondimenti
Modalità di Esame

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Il programma proposto (italiano) per l'edizione 2021 è anche consultabile (in inglese) attraverso le pagine esami.unipi.it (selezionare Programmi)
Il programma dettagliato del corso è invece fornito dal registro delle attività , contestualmente al loro svolgimento, ed 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.
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 trattati 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 e seguenti.
Seminario su Progetto, vedi ProgettoFacSimile.pdf, vedi anche Seminario per una presentazione, assegnato su richiesta e da presentare entro 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à
Lunedi
11:00
Virtuale su Goolge Meet
Lezione-Esercitazione
Martedi
14:00
Virtuale su Goolge Meet
Esercitazione-Laboratorio
Mercoledi
14:00
Virtuale su Goolge Meet
Lezione (registrata)
Giovedi
09:00
Virtuale su Goolge Meet
Lezione
BACK

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



Piattaforma GoogleMeet

Accedere prima a Google Meet con le proprie credenziali rilasciate da Universita` di Pisa.
Codice Corso = xdrnw6d
Link https://meet.google.com/lookup/fgullpijaf
BACK

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Testi

  • Lucidi, Listings e Articoli Vari (ad Integrazione del testo come indicato a lezione/esercitazione/laboratorio)
  • [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

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