Prof. Silvia Crafa

• Vengono di seguito indicati alcuni testi di riferimento, che contengono argomenti intorno ai quali si svilupperanno le lezioni frontali. I docenti indicheranno come utilizzare i testi per lo studio e forniranno ulteriori materiali…
• Il testo "Informatica una panoramica generale" è il riferimento per gli aspetti relativi alla parte software dei sistemi digitali.
• Gli altri testi indicati approfondiscono la parte di lezioni relative agli aspetti hardware dei sistemi digitali e sono da considerarsi equivalenti.

Argomenti del programma: - Rappresentazione in forma binaria di informazione numerica e non; - concetto di operatore logico e porta logica; differenza tra porta logica ideale e reale; algebra di Boole e teoremi fondamentali; - architettura fondamentale di un elaboratore e comprensione del flusso di controllo (concetto di istruzione macchina); - concetto di astrazione quale strumento per gestire la complessità nella rappresentazione di un…

Argomenti del programma: Il corso si propone di introdurre le principali nozioni di base relative al calcolo differenziale per funzioni di una variabile ed ai sistemi lineari, trattando gli argomenti seguenti. Funzioni di una variabile. Limiti delle funzioni reali di una variabile reale. Funzioni continue. Derivate delle funzioni reali di variabile reale. Teoremi fondamentali del calcolo differenziale. Differenziale ed approssimazioni.

• Dispense fornite dai docenti.

Argomenti del programma: -Introduzione ai fondamenti della teoria della computabilità e dell'analisi costruttiva. -Interpretazione informale computazionale dei connettivi logici e dei quantificatori (BHK). -Logica proposizionale intuizionista e classica tramite deduzione naturale in forma di sequenti. -Logica del primo ordine intuizionista e classica tramite deduzione naturale in forma di sequenti.