Testi sulla teoria della computazione

Da Wikipedia, l'enciclopedia libera.

Questa voce di matematica è solo un abbozzo: contribuisci a migliorarla secondo le convenzioni di Wikipedia.

In questa pagina vengono elencati testi (prevalentemente libri) riguardanti argomenti matematici per l'informatica. Essa presenta testi che afferiscono alle sezioni 03Dxx e 68Qxx dello schema di classificazione Mathematics Subject Classification (MSC). L'elenco viene compilato pensando che esso possa servire, in particolare, per segnalare le opere che sarebbe bene fossero presenti in una biblioteca pubblica di buon livello.

Arto Salomaa (1985): Computation and Automata, Cambridge University Press, ISBN 0-521-30245-5
Zohar Manna, Richard Waldinger (1985): The Logical Basis for Computer Programming. Volume 1: Deductive Reasoning, Addison-Wesley, ISBN 0-201-18260-2
Robert I. Soare (1987): Recursively enumerable sets and degrees: A Study of Computable Functions and Computably Enumerable Sets, Springer, ISBN 0-387-15299-7
Hartley Rogers, Jr. (1987): Theory of Recursive Functions and Effective Computability, MIT Press, ISBN 0-262-68052-1
Zohar Manna, Richard Waldinger (1990): The Logical Basis for Computer Programming. Volume 1: Deductive Systems, Addison-Wesley, ISBN 0-201-18261-0
Piergiorgio Odifreddi (1989): Classical Recursion Theory, North-Holland, ISBN 0-444-89483-7
Jan Van Leeuwen ed. (1990): Handbook of Theoretical Computer Science volume A, Elsevier, ISBN 0-444-22038-5
Jan Van Leeuwen ed. (1990): Handbook of Theoretical Computer Science volume B, Elsevier, ISBN 0-444-22039-3
Mikhail J. Atallah ed. (1999): Algorithms and Theory of Computation Handbook, CRC Press, ISBN 0-8493-2649-4
John E. Hopcroft, R. Motwani, Jeffrey D. Ullman (2000): Introduction to Automata Theory, Languages, and Computation, Addison-Wesley