| | | corso | | | | | |
Linguaggio matematico di base, modellazione e ragionamento
Codice: | nw666 | Crediti: | 0 | Semestre: | 1 | Sigla: | LMB | |
|
Settori disciplinari: | MAT/08 - Analisi Numerica, INF/01 - Informatica |
Docenti
Ultima versione disponibile: programma da confermare per l’a.a. 2013/2014
Obiettivi di apprendimento
Parte I - Richiami di matematica
- Algebra
- Funzioni
- Modellazione
- Combinatoria, probabilità.
Parte II - Modellazione e ragionamento
- Nozioni di logica e formalizzazione di enunciati
- Il concetto di dimostrazione
- Il formalismo delle Macchine di Turing
Ore lezione: | 20 | Ore esercitazione: | 50 | | | |