Università degli Studi di Milano
Corsi di Laurea in Informatica, A.A. 2014-2015

Logica

Avviso per gli studenti degli anni precedenti: il corso di Logica Matematica è disattivato; la pagina del corso resta in vita QUI.

Indice

• Organizzazione
• Contenuti
• Modalità d'esame
• Avvisi [Data ultimo avviso 18/2/2016]

Organizzazione.

• Struttura. Il corso si svilupperà in tre parti:
  • Logica Proposizionale
  • Logica Predicativa
  • Applicazioni
  Vi saranno due prove in itinere, una a metà corso e una alla fine del corso.
• Semestre e orario. Il corso si svolge nel secondo semestre con il seguente orario.
  - Lezioni
  • Lunedì 8.30 - 10.30, Aula 405
  • Venerdì 8.30 - 10.30, Aula 405
  - Esercitazioni in laboratorio
  • Turno A (lettere A-L) Mercoledì 12.30 - 15.30, Aula sigma - Vedi il sito
  • Turno B (lettere M-Z) Mercoledì 12.30 - 15.30, Aula tau - Vedi il sito
• Docenti:
  • Mario Ornaghi , Dipartimento di Informatica, email ornaghi@di.unimi.it
    Ricevimento su appuntamento.
  • Stefano Aguzzoli , Dipartimento di Informatica, email aguzzoli@di.unimi.it
    Ricevimento su appuntamento.
  • Camillo Fiorentini , Dipartimento di Informatica, email fiorentini@di.unimi.it
    Ricevimento su appuntamento.
• Metodi didattici. Lezioni frontali ed esercitazioni. Le esercitazioni si svolgeranno in aule attrezzate, con l'uso di tools (Tarski's World, Fitch e Bool).

TORNA ALL' INDICE.

Contenuti

• Programma

  Logica proposizionale Sintassi e semantica della logica proposizionale. Proposizioni atomiche, predicati e simboli di funzione. Connettivi logici e tavole di verità. Equivalenze e conseguenze logiche. Traduzione dal linguaggio naturale. Forme normali congiuntive e disgiuntive. Metodi di dimostrazione. Sistemi deduttivi del calcolo proposizionale. Uso di tool (Tarski's World, Fitch e Bool) per la modellazione e il calcolo formale.

  Logica del primo ordine Sintassi e semantica della logica del primo ordine. Quantificatori e la loro logica. Traduzione dal linguaggio naturale. Sistemi deduttivi del calcolo del primo ordine. Uso di tool (Tarski's World e Fitch) per la modellazione e il calcolo formale.

  Logica e informatica Saranno discusse alcune nozioni di base che accomunano logica e informatica - come formalizzazione e modelli, calcolabilità (cenni), ragionamento induttivo e ricorsione - e potranno essere considerate alcune applicazioni della logica all'informatica, scelte in base allo svolgimento del corso e al tempo a disposizione.

  Un elenco dettagliato degli argomenti oggetto delle prove d'esame verrà pubblicato alla fine delle singole parti corso.

• Materiale Didattico. Libro di testo: Language, Proof and Logic. Si utilizzerà il software didattico associato al libro di testo. Materiale integrativo verrà man mano pubblicato QUI.

TORNA ALL' INDICE.

Modalità d'esame

• La prova scritta avviene in laboratorio e prevede la risposta a domande di carattere teorico e lo svolgimento di semplici esercizi mediante l'uso del software didattico. Gli argomenti saranno limitati a quelli effettivamente sviluppati nelle lezioni. La prova può essere sostenuta in due modalità
  1. Superando una prova scritta finale relativa a tutti gli argomenti trattati nel corso. Vi sarà una prova ascritta ad ogni appello d'esame.
  2. Svolgendo e superando le due prove in itinere, una presumibilmente subito dopo Pasqua e una a fine corso. Gli argomenti delle prove in itinere saranno limitati a quanto trattato nelle parti di corso relative. La media dei voti conseguiti nelle due prove in itinere varrà come voto finale della prova scritta.
  Nella prima modalità,
• La prova orale può essere sostenuta solo dopo aver superato la prova scritta (o le prove in tinere) ed è opzionale; il voto finale sarà la media fra il voto della prova orale e il voto della prova scritta (o delle prove in itinere). Ai fini della prova orale, il voto conseguito nella prova scritta (o nelle prove in itinere) ha validità limitatamente agli appelli dell'anno accademico in corso. In caso di rinuncia alla prova orale, il voto d'esame sarà quello della prova scritta (o delle prove in itinere).

TORNA ALL' INDICE.

Avvisi

• [18/2/2016] Pubblicati i risultati della prova di laboratorio del 17/2 e gli ammessi all'orale, che avrà luogo lunedì alle 9 in auletta 6 (Via Comelico).
• [15/2/2016] L'appello del 17/2 avrà luogo in aula sigma, Via Comelico, alle ore 9.30 (appello 9.20). Si raccomanda di leggere le istruzioni sull'ambiente di upload e di uso dei tools Tarski e Fitch, al fine di ottimizzare l'uso del tempo a disposizione.
• [27/1/2016] Pubblicati qui i risultati della prova scritta e il calendario degli orali. Gli orali saranno venerdì 29/1 alle ore 9 in Sala Riunioni I Piano del Dipartimento di Informatica, Via Comelico 39.
• [25/1/2016] Lo scritto del 27/1 si terrà in aula omega (via Comelico) alle ore 9.30, appello 9.20.
• [14/9] Gli orali di Logica Matematica del mese di settembre si terranno nei giorni 18 settembre ore 9, auletta 6, e 25 settembre ore 9, auletta 6. Gli elenchi degli iscritti all'orale divisi per data (sono inculsi coloro che hanno superato lo scritto in apelli precedenti e devono sostenere o completare l'orale) sono pubblicati qui. Eventuali richieste di spostamento data sono da invire al docente via email entro il 16 settembre.
• [11/9] Pubblicati i risultati dello scritto di oggi 11 settembre (file risultati_settembre.pdf).
• [8/9] Lo scritto del giorno 11/9 avrà luogo in Via Comelico, Aula Sigma, alle ore 9.30. Appello alle ore 9.20.
• [17/7] La prosecuzione degli orali di luglio sarà lunedì 20 alle 9.30 in aula Delta, Via Comelico.
• [15/7] Pubblicati QUI i risultati dello scritto del 14 luglio e la lista degli orali di domani 16 luglio (ore 9.30 in aula Delta, via Comelico). La lista degli orali comprende coloro che erano già in elenco dall'appello precedente e coloro che sono stati ammessi nello scritto del 14 luglio; questi ultimi sono pregati di comunicare via email se intendono sostenere l'orale domani o in appello successivo.
• [15/7] Gli orali dell'appello di luglio avranno inizio domani 16 luglio alle ore 9.30 in aula Delta, via Comelico. I risultati dello scritto usciranno nel pomeriggio.
• [8/7] Lo scritto dell'appello luglio si terrà il 14 presso i laboratori di Via Comelico alle 9.30; appello alle 9.15. Lo scritto vale anche per gli studenti del vecchio ordinamento. Gli orali si svolgeranno qualche giorno dopo, data e aula verranno comunicate il 14 luglio.
• [29/6] Pubblicate le soluzioni degli esercizi di laboratorio della prova del 22 giugno.
• [23/6] Pubblicati i risultati della prova del 22 (Recuperi.pdf e oraligiugno.pdf) e gli iscritti all'orale del 24/6 (orali24.pdf), che saranno in auletta 5 di Via Comelico, inizio ore 9.
• [18/6] L'esame del 22/6 avrà luogo in aula sigma, Via Comelico. L'appello inizierà alle ore 9.15.
• [16/6 BIS] Gli orali avranno inizio il 24/6 alle 9 in Auletta 5, Via Comelico. L'elenco definitivo degli ammessi all'orale sarà pubblicato il 23/6, in base agli esiti dello scritto del 22. Gli studenti già ammessi (con i compitini) che intendono presentarsi il 24 sono pregati di comunicarlo via email entro il 22/6. Si ricorda che l'orale deve essere sostenuto entro il gennaio 2016.
• [16/6] Sono stati pubblicati i risultati delle prove in itinere (file RisultatiProve1e2.pdf).
• [10/6] Sono state pubblicate delle note esplicative relative all'esito "c" della prova dell'8 giugno e al recupero di una della prova in itinere mancante per coloro che hanno superato solo una delle due prove.
  Si ricorda che l'iscrizione all'appello al SIFA è necessaria anche per chi ha superato le prove in itinere; senza iscrizione al SIFA non è possibile registrare il voto.
  Per la registrazione del voto conseguito con le prove in itinere sarà sufficiente inviare un messaggio di posta elettronica a ornaghi@di.unimi.it, con la dicitura: "Accetto il voto di XX/30 conseguito nelle prove in itinere del corso di Logica Matematica e rinuncio alla prova orale", dove XX è il voto che sarà pubblicato come esito finale delle due prove.
• [10/6] Sono stati pubblicati gli ammessi alla prova di laboratorio di domani (RisultatiProva2.pdf); una nota esplicativa uscirà in mattinata. La prova si svolgerà in Via Comelico; avrà inizio alle 14 (appello alle 13.45), la durata prevista è di 90 minuti.
• [4/6] Il secondo compitino si svolgerà lunedì 8 giugno presso i laboratori di Via Comelico alle 13.30; l'appello inizierà alle 13.15. Si raccomanda di leggere le istruzioni sull'ambiente di upload e di uso dei tools Tarski e Fitch, al fine di ottimizzare l'uso del tempo a disposizione.
  Nella cartella preparazioneFitch.zip trovate l'ultima lezione di preparazione e informazioni sulla struttura del compitino per quanto riguarda la parte di laboratorio.
• [29/5] La lezione straordinaria di preparazione al compitino sarà il 3 giugno alle ore 10.30 in aula 303. Entro questa sera saranno pubblicate le soluzioni degli esercizi svolti nelle ultime due lezioni.
• [23/5] Pubblicate le soluzioni degli esercizi e gli esercizi svolti nella lezione del 22/5 (file Soluzioniesercizi.pdf). Corretto un errore fatto a lezione. Per quanto riguarda gli esercizi tipo del compitino saranno date possibilità di scelta, intese come facilitazione (dettagli sul file Soluzioniesercizi.pdf).
• [21/5] Ripubblicate le lezioni 17 e 18 con alcune correzioni.
• [19/5] Pubblicata l'ultima lezione (tenuta il 15 maggio) e un primo materiale di preparazione alla seconda prova in itinere. Il 22 maggio e a richiesta il 25 vi saranno lezioni integrative di preparazione alla prova e ulteriore materiale di preparazione sarà disponibile. La prova è prevista per lunedì 8 maggio in orario da comunicare.
  Si ricorda che vi sono ancora due esercitazioni di laboratorio; si raccomanda la partecipazione.
• [13/5] Venerdì 15 maggio, lunedì 18 maggio e nelle successive esercitazioni in laboratorio si raccoglieranno le iscrizioni al secondo compitino. Possono iscriversi anche coloro che non hanno superato il primo compitino. La data presumibilmente sarà l'8 o il 10 giugno, in base alla disponibilità di aule. Chi avrà superato solo uno dei due compitini potrà sostenere uno scritto ridotto, in cui verrà richesta solo la parte non superata.
• [20/4] Pubblicati i risultati della prima prova in itinere.
• [18/4] Gli studenti dal n. 1 al n. 19 dell'elenco caricato sul sito potranno prender visione del proprio compitino (parte cartacea); dal n.20 al n. 38 venerdì 24; dal n. 39 al n. 58 lunedì 27. In fondo all'elenco stesso sono descritte altre modalità di visione. I punteggi riportati sui compitini potranno subire lievi variazioni di 'normalizzazione' nel calcolo del voto finale, che deriverà dai punteggi conseguiti nella parte cartacea e in quella di laboratorio, opportunamente pesati. Il voto finale sarà pubblicato nel giro di pochi giorni.
• [13/4] La prova in itinere del 15 aprile avrà inizio alle ore 11.30; l'appello inizierà alle ore 11.15. Nei materiali trovate pubblicate le soluzioni degli esercizi viste nella lezione 10.
• [9/4] La prima prova in itinere si svolgerà il 15 aprile presso i laboratori di Via Comelico con inizio alle 11.30. L'appello potrebbe avvenire a scaglioni, partendo alle 11. I dettagli saranno comunicati lunedì 13.
  Si ricorda che la consegna degli esercizi avviene mediante https://upload.di.unimi.it. Occorre usare come username l'indirizzo di posta elettronica di ateneo con relativa password. Per evitare di perder tempo o di sbagliare modalità di consegna durante la prova, si consiglia di familiarizzarsi con la consegna mediante upload utilizzando le sessioni di prova aperte e di controllare il proprio account provando ad accedere a upload, selezionando il nome utente della forma @studenti.unimi.it.
• [3/4] Pubblicate le soluzioni di alcuni esercizi e alcuni esercizi che verranno discussi nella lezione del 10 aprile.
• [20/3] Pubblicata la lezione 6 e una versione corretta della lezione 5. La prima prova in itinere sarà il 15 aprile alle ore 11.30 presso i laboratori di Via Comelico. Le iscrizioni saranno prese in aula.
• [9/3] Pubblicata la lezione del 9/3. La videoregistrazione è visibile da QUI .
• [27/2] Pubblicata qui la lezione introduttiva.

TORNA ALL' INDICE.