Testi consigliati

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

J.-L. Krivine, Lambda Calculus: Types and Models, (1993) Ellis Horwood editore.

M. Sipser, An introduction to the theory of computation (2005), Course Technology.

M. Pedicini, Appunti di Informatica Teorica, (coprono parzialmente i temi del corso essenzialmente basati sui testi qui sopra): disponibili sulla directory del docente al laboratorio di calcolo: /users/pedicini/IN410/appunti;

Testi di Approfondimento

G. Lolli, Hilbert e la logica, Le Matematiche, [S.l.], v. 55, n. 3, p. 93-126, mar. 2005. ISSN 2037-5298.

Dexter C. Kozen, Theory of Computation, Springer-Verlag (2006).

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.

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

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

F. Cardone and J. R. Hindley, History of Lambda-calculus and Combinatory Logic, from Swansea University Mathematics Department Research Report No. MRRS-05-06.

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

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 Journal

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 PDF (http://www.aquilante.net/unix/manuale-unix.pdf).

HTML

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