STRUTTURE DISCRETE

Anno accademico
2023/2024 Programmi anni precedenti
Titolo corso in inglese
DISCRETE STRUCTURES
Codice insegnamento
CT0628 (AF:493937 AR:273797)
Modalità
In presenza
Crediti formativi universitari
6
Partizione
Cognomi M-Z
Livello laurea
Laurea
Settore scientifico disciplinare
MAT/02
Periodo
I Semestre
Anno corso
1
Sede
VENEZIA
Spazio Moodle
Link allo spazio del corso
Questo corso è una delle attività di base del corso di laurea triennale in Informatica ed il suo scopo è di presentare le idee ed i concetti fondamentali della matematica del discreto, in contrapposizione a quella del continuo. Lo studente verrà introdotto gradualmente alle principali tecniche di dimostrazione matematica ed alle principali strutture della matematica del discreto.
Conoscenza e comprensione:
- principali definizioni e risultati della matematica del discreto;
- strutture discrete per l'informatica;
- rudimenti di combinatoria.

Abilità di applicare conoscenza e comprensione:
- formalizzazione di enunciati espressi in linguaggio naturale;
- utilizzo delle principali tecniche di dimostrazione matematica;
- astrazione e generalizzazione.
Nessun prerequisito specifico.
- Logica proposizionale e del primo ordine
- Rudimenti di teoria dei numeri
- Principio di induzione e ricorsione
- Insiemi, funzioni e relazioni
- Principi di combinatoria
Susanna S. Epp - Discrete mathematics with applications (quinta edizione)
Prova scritta con esercizi e dimostrazioni relativi ai principali argomenti del corso. Durante la prova scritta non è permesso l'uso di appunti, libri e strumenti elettronici. Lo studente può sostituire la prova scritta con quattro prove intermedie da svolgersi durante il semestre. Chi ha superato la prova scritta può chiedere un'integrazione orale per provare a migliorare il proprio voto.
Lezione frontale alla lavagna.
scritto
Programma definitivo.
Data ultima modifica programma: 24/07/2023