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

Logica

Avvisi e Notizie Generali

• Consulta gli avvisi [ultimo 17 settembre])
.
• Organizzazione del corso, materiale didattico e programma. Il corso si svilupperà in tre parti:
  • Logica Proposizionale
  • Logica Predicativa
  • Applicazioni
  Al termine di ciascuna parte vi sarà una prova in itinere facoltativa.

  Si prevede di utilizzare sperimentalmente il software didattico associato al libro di testo Language, Proof and Logic adottato per questo anno accademico. Il software sarà utilizzabile presso i laboratori e vi saranno delle lezioni di addestramento. Materiale integrativo verrà man mano pubblicato QUI.

  Il programma potrà subire parziali variazioni rispetto al programma di massima pubblicato sul sito del Collegio Didattico, al fine di renderlo omogeneo rispetto al libro di testo adottato quest'anno in via sperimentale. Del libro di testo verranno utilizzate le parti I e II e una piccola parte della III. Non vi saranno prerequisiti e non vi sarà alcun aggravio del carico didattico. Un programma dettagliato verrà pubblicato alla fine del corso.

• Orario:
  • Lunedì 14.30 - 16.30 auletta 5, Via Comelico
  • Martedì 14.30 - 16.30 auletta 5, Via Comelico
    nelle giornate dedicate al laboratorio la lezione del martedì sarà in aula delta, dalle 14 alle 17
Nelle prime lezioni sarà possibile concordare modifiche d'orario in base alle esigenze dei frequentanti, compatibilmente con le disponibilità di aule e gli impegni dei docenti.
• Docenti:
  • Mario Ornaghi , Dipartimento di Informatica, email ornaghi@di.unimi.it
    Ricevimento su appuntamento.
  • Camillo Fiorentini , Dipartimento di Informatica, email fiorentini@di.unimi.it
    Ricevimento su appuntamento.
• Modalità d'esame:
  • Prove in itinere svolte in laboratorio con uso del software didattico; le iscrizioni saranno prese in aula e le date saranno concordate con i frequentanti.
  • Coloro che non hanno sostenuto o superato le prove in itinere dovranno superare una prova in laboratorio e sostenere un orale opzionale.

Corsi anni precedenti

Anno Accademico 2012/2013

Avvisi

• Data avviso: 17 settembre. L'appello del 18 settembre si svolgerà in aula delta alle 14.30
• Data avviso: 11 luglio. L'appello del 15 luglio si svolgerà in aula delta alle ore 14.
• Data avviso: 24 giugno. L'esame di Logica della sessione di Giugno avrà luogo giovedì 26 alle ore 14 in aula delta.
• Data avviso: 19 giugno. Pubblicati i risultati finali delle prove in itinere.
• Data avviso: 17 giugno. Si conferma l'orario della terza prova in itinere: oggi, ore 14, aula delta.
• Data avviso: 30 aprile. pubblicato il nuovo calendario delle lezioni e la data della seconda prova in itinere, prevista per il 20 maggio.
• Data avviso: 16 aprile. Pubblicati i risultati della prima prova in itinere.
• Data avviso: 7 aprile.
  Oggi in aula 4, alla fine della lezione, è stato ritrovato un registratore. Può essere ritirato in portineria.
• Data avviso: 4 aprile.
  La lezione di lunedì 7 marzo sarà dedicata allo svolgimento di esercizi-tipo in preparazione della prova in itinere di martedì 8 aprile.
• Data avviso: 10 marzo.
  Pubblicato il materiale per la prima lezione di laboratorio. Si ricorda che il laboratorio inizia alle 14 in aula delta.
• Data avviso: 6 marzo.
  L'orario pubblicato qui sopra è quello concordato a lezione, da ritenersi definitivo. Pubblicate le prime tre lezioni.
• Data avviso: 28 febbraio.
  Pubblicate QUI l'introduzione al corso e il calendario delle lezioni e delle prove in itinere (saranno possibili modifiche se vi saranno modifiche d'orario). Per accedere al materiale si usi "studente" sia come identificativo, sia come password.
• Le lezioni inizieranno il 3 marzo. Nella prime due lezioni potranno essere concordate eventuali modifiche di orario in base alle esigenze dei frequentanti, per evitare sovrapposizioni con altri corsi.