Libri UniversitariApri il catalogo

Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…

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

«Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…» è adottato per In410-Calcolabilità e Complessità dal prof. Marco Pedicini (Matematica, Scienze computazionali – Roma Tre).

Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…Vai su Amazon ›

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

Titolo
Introduction to the theory of computation
Autori
Michael Sipser
Editore
Cengage learning, 2013
ISBN
9780357670583

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) · 1º anno · 1º semestre · Teorico · 9 CFU · a scelta (CURRICULUM TEORICO SCEGLIERE QUATTRO INSEGNAMENTI (30 CFU) NEI SEGUENTI SSD MATH01/A(Logica),02/A(Algebra) 02/B (Geometria),03/A(Analisi) TRA LE ATTIVITÀ CARATTERIZZANTI (B). 2 INSEGNAMENTI DA 9 CFU IN 2 SSD DIVERSI E 2 INSEGNAMENTI DA 6 CFU) / 1º anno · 1º semestre · Teorico · 9 CFU · a scelta (CURRICULUM TEORICO SCEGLIERE 4 INSEGNAMENTI (30 CFU) TRA LE ATTIVITÀ AFFINI INTEGRATIVE (C): 2 INSEGNAMENTI DA 9 CFU E 2 INSEGNAMENTI DA 6 CFU DI CUI 1 INSEGNAMENTO DA 9 CFU E 1 DA 6 CFU NEI SSD MATH01/A(Logica),02/A(Algebra) 02/B (Geometria),03/A(Analisi))

Roma Tre · Matematica e Fisica · 9 CFU · apri nel catalogo · Matematica · 1º anno · 1º semestre ›

Dehornoy – COMPLEXITÈ ET DECIDABILITÈVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

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

TYPES AND MODELSVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026
Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…questo libroVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026
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 · 9 CFU

Roma Tre · Matematica e Fisica · 9 CFU · apri nel catalogo · Scienze computazionali · 1º anno · 1º semestre ›

Dehornoy – COMPLEXITÈ ET DECIDABILITÈVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026

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

TYPES AND MODELSVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026
Sipser – INTRODUCTION TO THE THEORY OF COMPUTATION.THOMSON COURSE…questo libroVai su Amazon ›Verificato sulla scheda ufficiale il 30/09/2026
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.

Si studia insieme a