Progetto:Matematica/Testi sulla teoria della computazione

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

Voci correlate

• Algoritmo
• 03Dxx sigla della sezione della MSC dedicata alla computabilità e alla teoria delle ricorsione.
• 68Qxx sigla della sezione della MSC dedicata alla teoria della computazione.
• Testi sulla matematica per l'informatica
• Testi sugli algoritmi
• Elenchi di testi matematici