Schema della sezione

  • Attenzione!

    Questa pagina non sarà più aggiornata. Per informazioni relative ai prossimi appelli e modalità d'esame del corso di Fondamenti di Informatica, a.a. 2021/22 (e precedenti), consultare la pagina web del corso dell'a.a. 2023/24.

    Scopo del corso è presentare i concetti fondamentali della logica, della architettura degli elaboratori (hardware e sistemi operativi), e dello sviluppo di pagine web. Il corso è diviso in due moduli: "Logica e Sistemi di Elaborazione" da 6 CFU e "Sistemi Operativi e Web" di 3 CFU. Quest'ultimo è ulteriormente diviso in due partizioni, a sconda dell'iniziale del cognome: A-L ed M-Z.

    Programma

    Quello che segue è una bozza del programma dettagliato, diviso in aree tematiche. Per ogni area tematica trovate il nome del modulo o dei moduli corrispondenti. Il simbolo EN fa riferimento al corrispondente capito del libro di Irv Englander (vedi materiale didattico integrativo dell'area tematica di rappresentazione binaria dei dati) mentre PA indica il teso di Dario Palladino.

    Logica (Logica e Sistemi di Elaborazione)
    • Inferenze e ragionamenti (PA introduzione)
    • Logica proposizionale
      • Proposizioni semplici e composte (PA 1 introduzione, PA 2 introduzione)
      • Connettivi vero-funzionali (PA 2.1 , PA 2.2)
      • Forme proposizionali (PA 2.3)
      • Tavole di verità delle forme proposizionali (PA 3.1)
      • Tautologie e contraddizioni (PA 3.1, PA 3.2)
      • Equivalenza e conseguenza logica (PA 4.1, 4.2, 4.3)
    • Logica dei predicati
      • Proposizioni semplici del 1° e del 2° tipo (PA 1.1 )
      • Quantificatori
      • Formule ben formate
      • Sintassi e semantica formale della logica dei predicati
      • Equivalenza e conseguenza logica

    Rappresentazione Binaria dei Dati (Logica e Sistemi di Elaborazione)
    • Sistemi di numerazione posizionali (EN 3)
      • numeri interi e frazionari
      • conversione tra basi
      • operazioni aritmetiche: somma, differenza e prodotto
      • base binaria, ottale ed esadecimale
    • Rappresentazione dei dati numerici (EN 5)
      • numeri interi positivi
      • numeri interi con segno: modulo e segno, complemento a 2
      • notazione scientifica e rappresentazione in virgola mobile
      • rappresentazione little-endian vs big-endian
    • Rappresentazione dei dati non numerici (EN 4)
      • valori booleani singoli e a mappa di bit
      • testo: set di caratteri, ASCII, ASCII esteso, Unicode
      • immagini: immagini bitmap e vettoriali, compressione lossless e lossy, video
      • audio: campionamento e quantizzazione, compressione lossless e lossy, file MIDI
      • linguaggi di descrizione di pagina

    Architettura e Sistemi Operativi (Logica e Sistemi di Elaborazione + Sistemi Operativi e Web)
    • Architettura degli elaboratori
      • CPU e memoria
      • Architettura di von Neumann e sue estensioni
      • Input/output
      • Periferiche
    • Il Little Man Computer (EN 6)
    • Sistemi Operativi
      • Struttura di un sistema operativo
      • Interfaccia utente
      • Gestione dei file
      • Funzionamento interno

    Linguaggi per il web (Sistemi Operativi e Web)
    • Principali protocolli per il web
    • Fondamenti di HTML e CSS

    Docenti

    Il modulo di "Logica e Sistemi Operativi" è tenuto dal prof. Gianluca Amato. Si rimanda alla pagina del profilo del docente per informazioni su come contattare il docente e sugli orari e modalità di ricevimento.

    Il modulo di "Sistemi Operativi e Web" è tenuto dalla prof.ssa Francesca Scozzari.

    Materiale didattico

    Consultare la sezione specifica per ogni area tematica.

    Modalità didattica

    Il corso si terrà in modalità "blended", con studenti in presenza e studenti collegati sulla piattaforma Microsoft Teams. I team per lo svolgimento delle lezioni sono i seguenti:


    Gli esami nella modalità a distanza (se previsti dal regolamento vigente al momento della sessione d'esame) si svolgereanno invece sul team per gli esami a distanza.