Libri UniversitariApri il catalogo

Introduction to the Theory of Computation

Libro adottato a Roma Tre, a.a. 2026/2027 · 2 canali

Introduction to the Theory of ComputationVai su Amazon ›

Come lo indica il docente: [3] SIPSER,M., INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE TECHNOLOGY, (2006)

Chi lo adotta

Programma e testi di ogni canale

In410-Calcolabilità e Complessità – Prof. Marco Pedicini Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo

Roma Tre · Matematica e Fisica · 9 CFU · apri nel catalogo

[2] KRIVINE, J.-L., LAMBDA CALCULUS

Introduction to the Theory of Computationquesto libroVai su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: 1) Computabilità, complessità e rappresentabilità: - Introduzione ai problemi di decisione, procedure algoritmiche e non algoritmiche, computazioni deterministiche, procedure discrete, nozione di alfabeto, di parola. Decidibilità e semidecidibilità di un insieme. Computazioni deterministiche, finitarie e discrete.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

In410-Calcolabilità e Complessità – Prof. Marco Pedicini Canale unico

Corso di laurea: Scienze computazionali · Laurea magistrale (LM-40) · esame facoltativo

Roma Tre · Matematica e Fisica · 9 CFU · apri nel catalogo

[2] KRIVINE, J.-L., LAMBDA CALCULUS

Introduction to the Theory of Computationquesto libroVai su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: 1) Computabilità, complessità e rappresentabilità: - Introduzione ai problemi di decisione, procedure algoritmiche e non algoritmiche, computazioni deterministiche, procedure discrete, nozione di alfabeto, di parola. Decidibilità e semidecidibilità di un insieme. Computazioni deterministiche, finitarie e discrete.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.