Libri UniversitariApri il catalogo

[1] P

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

[1] PVai su Amazon ›

Come lo indica il docente: [1] P. Chiacchio e F. Basile, Tecnologie Informatiche per l'Automazione, seconda ed. McGraw-Hill, 2004 · [1] DEHORNOY, P., COMPLEXITÈ ET DECIDABILITÈ. SPRINGER-VERLAG, (1993)

Chi lo adotta

Programma e testi di ogni canale

Misure e Tecnologie dei Controlli – Prof. Giosue' Caliano Canale unico

Corso di laurea: Ingegneria gestionale e dell'automazione · Laurea magistrale (LM-32) · 1º anno · 1º semestre · Automazione Dei Sistemi Complessi

Roma Tre · Ingegneria Civile, Informatica e delle Tecnologie Aeronautiche · 6 CFU · apri nel catalogo

Testi di riferimento

[1] Pquesto libroVai su Amazon ›
Ferretti – Tecnologie dei Sistemi di ControlloVai su Amazon ›
Scattolini – Fondamenti di controlli automaticiVai su Amazon ›
Bacheca del docente: cosa indica di studiare
  • Il materiale didattico necessario per lo svolgimento del corso è costituto da:

Argomenti del programma: L’obiettivo del corso è quello di preparare lo studente alle problematiche di progettazione hardware-software dei sistemi di automazione industriale. Dopo una rivisitazione delle basi teoriche della teoria della misura e dei controlli automatici e una panoramica dei sensori/trasduttori maggiormente utilizzati negli impianti di controllo, è prevista una fase sperimentale mediante l’implementazione hardware-software…

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: Matematica · Laurea magistrale (LM-40) · esame facoltativo

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

[1] Pquesto libroVai su Amazon ›

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

TYPES AND MODELSVai su Amazon ›
Introduction to the Theory of ComputationVai 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

[1] Pquesto libroVai su Amazon ›

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

TYPES AND MODELSVai su Amazon ›
Introduction to the Theory of ComputationVai 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.