Indice degli argomenti

  • Descrizione del corso

    In questo corso verranno introdotti i concetti di base dell’informatica e del calcolatore elettronico: logica di funzionamento, architettura di un calcolatore elettronico, sistemi operativi. Il corso è suddiviso in due moduli:

    • Architettura e sistemi operativi, 6 CFU INF/01 (Informatica), prof. Vincenzo Acciaro
    • Logica matematica, 3 CFU MAT/01 (Logica matematica), prof. Gianluca Amato


    La didattica sarà erogata tramite consuete lezioni frontali.

    Modalità d'esame

    L'esame è scritto e consiste in una parte relativa al modulo di "Architettura e sistemi operativi" ed una parte relativa al modulo di "Logica matematica". Ad ognuna di queste due parti è attribuito un punteggio in trentesimi, ed il voto complessivo è ottenuto dalla media pesata dei due punteggi (2/3 la parte di architettura, 1/3 la parte di logica), arrotondato all'intero più vicino. Per superare l'esame è necessario che il voto complessivo sia maggiore o uguale a 18, e che i voti di entrambe le parti siano maggiori o uguali a 16. È possibile, a scelta dello studente, svolgere le due parti anche in appelli diversi.

    Se non siete soddisfatti del voto di una delle prove scritte, potete riprovare in un appello successivo. Quando avete superato entrambe le prove con un voto di vostro gradimento, contattate il prof. Acciaro per verbalizzare l'esame (il voto sarà dato dalla media pesata di cui sopra). È a discrezione dei docenti del corso chiedere una prova orale obbligatoria prima della verbalizzazione (non è comunque una cosa che avviene di consueto). La prova orale può anche essere chiesta dagli studenti. La prova orale è unica e comune ad entrambi i moduli.

    Il voto di una prova scritta rimane valida fino al secondo appello successivo. Così quella di Febbraio è valida fino all'appello di Giugno, quella di Maggio fino all'appello di Luglio, e così via. L'appello di Gennaio 2018, in via eccezionale, è equiparato a quello di Febbraio, con scadenza a Giugno.

    Prossimi appelli

    Questo è il calendario ufficioso degli appelli (che può essere però soggetto a variazione). Le uniche date ufficiali sono quelle che trovate sul sito http://udaonline.unich.it/.

    • 12/01/2018 ore 10:00 - 13:00
    • 01/02/2018 ore 10:00 - 13:00
    • 18/05/2018 ore 10:00 - 13:00
    • 14/06/2018 ore 10:00 - 13:00
    • 12/07/2018 ore 10:00 - 13:00
    • 13/09/2018 ore 10:00 - 13:00

  • Modulo I: Architettura e sistemi operativi

    Contattare il prof. Vincenzo Acciaro per ogni informazione a riguardo.

    • Modulo II: Logica matematica

      Obiettivo di questo modulo è introdurre i concetti di base della logica matematica utili sia in informatica, che in generale in qualunque tipo di ragionamento deduttivo.

      Programma del modulo
      Questo è il programma dettagliato del modulo di logica matematica. Tra parentesi trovate il riferimento alle sezioni corrispondenti nel libro di testo e nelle dispense.

      • Introduzione alla logica (Libro di testo: Introduzione + lettura 1 a pag. 33)
      • Proposizioni semplici, proposizioni semplici del 1° e del 2° tipo, variabili libere e vincolate (Libro di testo: cap. 1 esclusa sezione 5)
      • Proposizioni composte, connettivi vero-funzionali, forme proposizionali  (Libro di testo: cap. 2 + lettura 3 a pag. 81)
      • Tavole di verità, tautologie, tautologie notevoli, verifica di tautologie con metodo indiretto (Libro di testo: cap. 3; Dispense: sezioni 1 e 2)
      • Equivalenza logica, conseguenza logica e regole di inferenza corrette (Libro di testo: cap. 4 + lettura 5)
      • Cenni alla logica dei predicati (Libro di testo: cap. 5; Dispense: sezione 3)