Bibliografia

Testi consigliati

M. Pedicini, Appunti di Informatica Teorica, (essenzialmente basati sui testi qui sotto): disponibili sulla directory CVS del corso;

Patrick Dehornoy, Calculabilite et Decidabilite, (1993) Springer-Verlag in francese;

A. Bernasconi, B. Codenotti, Introduzione alla complessità computazionale, Springer-Verlag.

J.-L. Krivine, Lambda Calculus: Types and Models, (Masson).

P. H. Wintson, S. Narasimhan, On to Java, Addison-Wesley (1998).

Testi di Approfondimento

G. Ausiello, G. Gambosi, F. d'Amore Linguaggi, Modelli, Complessità (draft scaricabile in rete).

M. Gabbrielli, S. Martini Linguaggi di Programmazione, McGraw Hill.

R. Sethi, Programming Languages: concepts and constructs, Addison-Wesley (ed. italiana Zanichelli).

Aho, Hopcroft, Ullman, Design and Analysis of Computer Programming.

H. Hermes, Enumerability, Decidability, Computability, Die Grundlehren der Mathematichen Wissenshaften in Einzeldarstellungen, n. 127, Springer-Verlag.

Manuali per la programmazione object oriented (OOP)

Scarica il libro di Bruce Eckel di introduzione alla programmazione object oriented Thinking in Java, 2nd Edition

Segui il Tutorial di Programmazione Java della Sun Microsystems: Learning the Java Language

Altre letture sul Lambda-Calcolo

Appunti sulla programmazione funzionale dalla Cambridge University

Una serie di note introduttive sui linguaggi di programmazione funzionali e in particolare sul lambda-calcolo: http://www.cs.chalmers.se/~rjmh/tutorials.html

Dallo stesso sito consigliamo l'eccellente guida introduttiva di Mike Gordon Notes on Functional Programming

Siti web di interesse

By Kapil Sharma, CVS: Client-Server Version Control, disponibile in rete Linux Gazette #66 del Maggio 2001

Università

Dipartimento di Matematica - Università di Roma "La Sapienza"

Sito web del Dipartimento "Guido Castelnuovo" e del Corso di Laurea in Matematica della Prima Università di Roma (http://www.mat.uniroma1.it).

Dipartimento di Matematica - Università di Roma "Tor Vergata"

Sito web del Dipartimento e del Corso di Laurea in Matematica della Seconda Università di Roma (http://www.mat.uniroma2.it).

Dipartimento di Matematica - Università di Roma Tre

Sito web del Dipartimento e del Corso di Laurea e di Diploma in Matematica della Terza Università di Roma (http://www.mat.uniroma3.it).

MURST

Ministero per l'Università e la Ricerca Scientifica e Tecnologica (http://www.murst.it).

UMI

Sito web dell'Unione Matematica Italiana (http://www.dm.unibo.it/umi/index.html).

Informatica

UNIX: introduzione elementare

Una guida elementare introduttiva al sistema operativo UNIX. Disponibile anche in formato Postscript e PDF (http://www.isinet.it/~marco/unix).

HTML

Lucidi di un seminario introduttivo al HyperText Markup Language (http://www.isinet.it/~marco/html/).