STRUTTURE DISCRETE

Anno accademico
2023/2024 Programmi anni precedenti
Titolo corso in inglese
DISCRETE STRUCTURES
Codice insegnamento
CT0628 (AF:493939 AR:273795)
Lingua di insegnamento
Italiano
Modalità
In presenza
Crediti formativi universitari
6
Partizione
Cognomi A-L
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
- Insiemi, funzioni e relazioni
- Principi di combinatoria
Elementi di matematica discreta. Interi. Calcolo Combinatorio e Grafi.
Giuseppe Lancia
Independently Published, 2018
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.
Gli studenti frequentanti hanno la possibilità di svolgere quattro prove intermedie in aula durante il semestre in sostituzione della prova scritta e con eventuale integrazione orale.
scritto
Lezione frontale alla lavagna.
Programma definitivo.
Data ultima modifica programma: 29/07/2023