DidaWiki

Questa pagina è in sola lettura. Puoi visualizzare il sorgente, ma non puoi modificarlo. Contatta l'amministratore se pensi che ci sia un errore.
====== Linguaggio Matematico di Base, Modellazione e Ragionamento [LMB 2013]======




==== Docenti ====

  * Chiara Bodei, Roberto Bruni, [[andrea@di.unipi.it|Andrea Corradini]] (responsabile), Fabio Gadducci, Luca Gemignani, Paolo Mancarella, Ornella Menchi


===== Informazioni e Materiale didattico =====
  * [[.:Iscrizioni:|Iscrizione al corso]]
  * [[.:Esame:|Informazioni su prova finale]]
  * Informazioni sul [[.:Matematica:|modulo di Matematica]].  Dispensa per il modulo di Matematica: {{:informatica:lmb:matematica:dispensamenchi.pdf|[NoteMat]}}
  * Informazioni sul [[.:Informatica:|modulo di Informatica]], Dispensa per il modulo di Informatica: {{:informatica:lmb:informatica:main.pdf|[NoteInf]}} - [[informatica:lmb:informatica:errata|Errata corrige]]
    
    
===== Risultati esame =====

  * **{{:informatica:lmb:risultatilmb2013.pdf|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). 

 





===== Istruzioni per prove d'esame =====

  * [[http://www.di.unipi.it/~bruni/LMB13esame/elenco.php|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
  * {{:informatica:lmb:esame-con-soluzioni.pdf|Soluzioni proposte della prova del modulo di informatica}}
 
===== Orario delle lezioni =====

**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/09   ^  Martedì 17/09   ^  Mercoledì 18/09  ^  Giovedì 19/09  ^   Venerdì 20/09  ^
^      Aule     ^     A       ^      B, C     ^    A1, C1   ^     A, B    ^      A, B    ^
|  9:00-11:00   |  Matematica  |  Matematica  |  Matematica  |  Matematica  |  Matematica  |
|  11:00-13:00  |  Informatica  |  Informatica  |  Informatica  |  Informatica   |  Informatica  |
|                                                                                      ||||||
^               ^  Lunedì 23/09   ^  Martedì 24/09   ^  Mercoledì 25/09  ^  Giovedì 26/09  ^   Venerdì 27/09  ^
^     Aule      ^    A, B      ^   A, B       ^   A, B      ^              ^      A, B    ^
|  9:00-11:00   |               |             |  Matematica  |             |   Matematica  |
|  11:00-13:00   |  Matematica  |  Matematica  |  Informatica  |         |   Informatica   |
|  14:00-16:00   |  Inf. (solo aula A)  |  Informatica  |             |  | **Ricevimento Inf. aula A1** |
|                                                                                                ||||||
^               ^  Lunedì 30/09   ^  Martedì 01/10   ^  Mercoledì 02/10  ^  Giovedì 03/10  ^   Venerdì 04/10  ^
^    Aule       ^               ^    A, B     ^              ^         ^              ^
| 11:00-13:00   |               |             |       |      **Esame Matematica: Aule A,B,A1**  |              |
|  :::   | ::: |  :::  | :::  |   Da **Alberigi** a **Gualersi**: Aula A |  ::: |
|  :::   | ::: |  :::  | :::  |   Da **Hamati** a **Poli**: Aula B |  ::: |
|  :::   | ::: |  :::  | :::  |   Da **Ragno** a **Vinciguerra**: Aula A1 |  ::: |
|  14:00-16:00  |               |  Matematica  |             |             |              |
|  16:00-18:00   | **Ricevimento Inf. aula A1** |  Informatica  |   |   **Esame Informatica: Aule A,B,C** |   |
|  :::   | ::: |  :::  | :::  |   Da **Alberigi** a **Gualersi**: Aula A |  ::: |
|  :::   | ::: |  :::  | :::  |   Da **Hamati** a **Poli**: Aula B |  ::: |
|  :::   | ::: |  :::  | :::  |   Da **Ragno** a **Vinciguerra**: Aula C |  ::: |

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