TYPES AND MODELS

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

TYPES AND MODELSVai su Amazon ›

Come lo indica il docente: TYPES AND MODELS. ‪ELLIS HORWOOD, (1993)

Chi lo adotta

In410-Calcolabilità e Complessità – Prof. Marco Pedicini (canale unico)Matematica · Laurea magistrale (LM-40) · esame facoltativo
In410-Calcolabilità e Complessità – Prof. Marco Pedicini (canale unico)Scienze computazionali · Laurea magistrale (LM-40) · esame facoltativo

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

Il docente indica 3 testi · da studiare tutti

[1] P Vai su Amazon ›

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

TYPES AND MODELSquesto libroVai su Amazon ›

Introduction to the Theory of Computation Vai 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.