Italiano. 

- Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore.
- Dispense del docente. 

Introdurre i fondamenti della logica proposizionale e del prim'ordine. Comprendere i principi fondamentali del funzionamento dei calcolatori, a livello hardware di sistema operativo.

RISULTATI DI APPRENDIMENTO ATTESI

CONOSCENZA E CAPACITÀ DI COMPRENSIONE:

Alla fine dell’insegnamento lo studente dovrà:
* comprendere la logica di base e le diverse tipologie di ragionamento
* capire l'architettura degli elaboratori ed i suoi componenti hardware
* conoscere i principali servizi dei sistemi operativi

CONOSCENZA E CAPACITÀ DI COMPRENSIONE APPLICATE:

Alla fine dell’insegnamento lo studente dovrà essere in grado di:
* determinare la validità di un ragionamento deduttivo
* formalizzare le proposizioni nei linguaggi della logica proposizionale e del prim'ordine
* operare nelle basi binarie e esadecimale
* riconoscere i componenti di un elaboratore
* interagire con i sistemi operativi

ABILITÀ DI COMUNICAZIONE:

Alla fine dell’insegnamento lo studente sarà in grado di esprimere concetti utilizzando un linguaggio logico ed informatico corretto e preciso.

CAPACITÀ DI APPRENDERE:

Alla fine dell’insegnamento lo studente sarà in grado di leggere e capire testi in cui si utilizzino concetti elementari di logica, architettura degli elaboratori e sistemi operativi.
 

Nessun prerequisito.
 

L'insegnamento si terrà principalmente sotto forma di lezioni frontali, con una parte di laboratorio riguardante la rappresentazione binaria dei dati e i linguaggio macchina del Little Man Computer. 

Vedere il syllabus del corso integrato di "Fondamenti di Informatica". 

Non tratta tematiche direttamente riconducibili alla sostenibilità ambientale e sociale. 

Ulteriori informazioni, comprese le dispense del docente, saranno fornite tramite la piattaforma di e-learning fad.unich.it. La stessa verrà anche utilizzata come forum per le comunicazioni con gli studenti.