Appunti MMI | Notion

1. Logica

logica proposizionale

esercitazione: logica proposizionale

logica predicativa

esercitazione: logica predicativa

2. Insiemi

insiemi ed operazioni su insiemi

cardinalità degli insiemi

esercitazione: insiemi

3. Dimostrazioni

4. Induzione

induzione strutturale

5. Ricorsione

uso della ricorsione

correttezza degli algoritmi ricorsivi: Fibonacci

relazioni di ricorrenza