Linguaggio Matematico di Base, Modellazione e Ragionamento [LMB 2013]

• Chiara Bodei, Roberto Bruni, Andrea Corradini (responsabile), Fabio Gadducci, Luca Gemignani, Paolo Mancarella, Ornella Menchi

• Iscrizione al corso
• Informazioni su prova finale
• Informazioni sul modulo di Matematica. Dispensa per il modulo di Matematica: [NoteMat]
• Informazioni sul modulo di Informatica, Dispensa per il modulo di Informatica: [NoteInf] - Errata corrige

• Risultati Esame
• Gli studenti che hanno avuto A o B all'esame devono passare dalla Segreteria Didattica per far annotare il superamento del Test d'Ingresso sul libretto universitario.
• Visione correzione compiti:
  • Giovedì 10 ottobre dalle 14:00 alle 16:00 i Proff. Gemignani e Menchi sono disponibili per mostrare la correzione del compito di Matematica.
  • Per vedere le correzioni del compito di Informatica rivolgersi al Prof. Corradini o Giovedì 10 ottobre dalle 14:00 alle 16:00, oppure nell'orario di ricevimento (ogni Martedì 16-18).

• Lista degli iscritti all'esame.
• Gli studenti si devono presentare nelle aule come indicato nella tabella delle lezioni qui sotto
• Presentarsi con libretto universitario oppure, se non ancora disponibile, con altro documento di identità
• Durante le prove d'esame non si può consultare alcun materiale didattico, né appunti di qualunque tipo, ad eccezione, per il modulo di informatica, della Tabella delle Leggi già distribuita a lezione (si può chiedere una copia prima dell'esame)
• Durante le prove i cellulari e tutti gli altri dispositivi elettronici dovranno essere spenti
• La mancata osservanza delle regole sopra elencate può comportare l'esclusione dalla prova
• Soluzioni proposte della prova del modulo di informatica

Attenzione: le lezioni sono divise in ore di teoria, tipicamente tenute in un'unica aula, e ore di esercitazione, nelle quali gli studenti sono divisi in due gruppi in aule diverse. I docenti diranno di giorno in giorno agli studenti in quale aula/e presentarsi il giorno successivo. Informazioni aggiornate verranno anche riportate su questa pagina.

• Lunedì 16/9
  1. Matematica: primo capitolo di [NoteMat] (I numeri) ed esercizi
  2. Informatica: Capitoli 1 e 2 di [NoteInf] (Introduzione, Gli insiemi) fino a pag 18 di inclusa
• Martedì 17/9
  1. Matematica: esercizi su primo capitolo
  2. Informatica: Sezioni 2.4.3 e 2.4.4 di [NoteInf]; esercizi su primo e secondo capitolo, escluso Sezione 2.5.3
     • Alcune soluzioni: Esercizi 1.6.1.7, 1.6.2.12 e 1.6.3.3
• Mercoledì 18/9
  1. Matematica: secondo capitolo di [NoteMat] (Equazioni e disequazioni) ed esercizi
  2. Informatica: Sezioni 2.4.1, 2.4.2 e 2.4.5 di [NoteInf], con relativi esercizi
     • Alcune soluzioni: Esercizio 2.5.3.2
• Giovedì 19/9
  1. Matematica: esercizi su secondo capitolo
  2. Informatica: Capitolo 3 di [NoteInf] (Il calcolo proposizionale) fino Sezione 3.4 esclusa (pag. 27-37)
• Venerdì 20/9
  1. Matematica: quarto capitolo di [NoteMat] (Le funzioni) ed esercizi
  2. Informatica: Esercizi su terzo capitolo
• Lunedì 23/9
  1. Matematica: esercizi su quarto capitolo
  2. Informatica: Sezione 3.4, di [NoteInf] con relativi esercizi
     • Alcune soluzioni: Esercizi 3.24.1, 3.24.4 e 3.5.3.1(a)
• Martedì 24/9
  1. Matematica: esercizi su quarto capitolo
  2. Capitolo 4 di [NoteInf] (Cenni di logica dei predicati)
• Mercoledì 25/9
  1. Matematica: terzo capitolo di [NoteMat] (Geometria) ed esercizi
  2. Informatica: Esercizi su quarto capitolo
• Venerdì 27/9
  1. Matematica: esercizi su terzo capitolo
  2. Informatica: Esercizi vari
     • Ore 14:00: Ricevimento in Aula A1
• Lunedì 30/9
  • Informatica: Ore 16:00: Ricevimento in Aula A1
• Martedì 1/10
  1. Matematica: esercizi vari
  2. Informatica: esercizi vari