CSS MenuMaker

Metodi matematici per l'informatica - A.A. 2015/2016

Docente: Adele A. Rescigno
Tutor: Simone Romano

Questa è la homepage del tutorato del corso di Metodi Matematici per l'informatica della Prof.ssa Adele Rescigno per gli studenti con MATRICOLA CONGRUA A 2. Di seguito troverai gli argomenti trattati al corso di tutorato.
Libro di riferimento: Kenneth H. Rosen, Discrete Mathematics and Its Applications, Seventh Edition, McGraw-Hill, 2012 ISBN 0073383090

space

Lezione 22/03/2016

  • Proposizioni
  • Proposizioni composte
  • Tavole di verità
  • Traduzione di frasi comuni in proposizioni logiche
  • Equivalenze logiche
space

Lezione 05/04/2016

  • Logica predicativa
  • Asserzioni composte
  • Quantificatori
  • Negazione quantificatori
space

Lezione 12/04/2016

  • Insiemi
  • Rappresentazione insiemi
  • Operazioni sugli insiemi
  • Identità insiemi
space

Lezione 19/04/2016

  • Dimostrazioni
  • Dimostrazione diretta
  • Dimostrazione per contrapposizione
  • Dimostrazione per contraddizione (assurdo)
  • Dimostrazione di equivalenza
space

Lezione 10/05/2016

  • Esercitazione induzione
  • Esercitazione ricorsione
    • Definizione funzioni ricorsive
    • Dimostrazione correttezza
space

Lezione 17/05/2016

  • Relazioni di ricorrenza
  • Risoluzione equazioni di ricorrenza
  • Metodo di iterazione per relazioni di ricorrenza
space

Lezione 19/05/2016

  • Definizioni ricorsive insiemi numerici
  • Definizioni ricorsive insiemi di stringhe
  • Definizione ricorsive di sequenze e dimostrazione di correttezza (per induzione)
space

Lezione 31/05/2016

  • Calcolo di funzioni ricorsive
  • Definizioni ricorsive di funzioni e dimostrazioni di correttezza (per induzione)
  • Definizioni ricorsive di insiemi e dimostrazioni di correttezza (per induzione)
  • Richiami induzione strutturale
  • Definizioni ricorsive alberi
  • Induzione strutturale per verifica uguaglianza tra insiemi
  • Induzione strutturale per verifica proprietà alberi
space

Lezione 23/06/2016

  • Esercitazione ultime prove d'esame
space