Libri UniversitariApri il catalogo

In410-Calcolabilità e Complessità – prof. Marco Pedicini

Scienze computazionali · Università degli Studi Roma Tre · esame facoltativo · 9 CFU · canale unico

Testi d'esame di In410-Calcolabilità e Complessità del prof. Marco Pedicini, canale unico, corso di laurea in Scienze computazionali (Laurea magistrale (LM-40)), Università degli Studi Roma Tre, esame facoltativo · 9 CFU, a.a. 2026/2027. Libri adottati: [1] P; TYPES AND MODELS; Introduction to the Theory of Computation.

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

[1] PVai 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
Introduction to the Theory of ComputationVai 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.

Altre materie del prof. Pedicini

Altri esami del 1º anno – Scienze computazionali

Vedi anche: Prof. Marco Pedicini · In410-Calcolabilità e Complessità a Roma Tre (tutti i canali)