OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Acquisire familiarità col ragionamento astratto dell'algebra e la capacità di individuare le stesse strutture, o strutture simili, in ambienti e problemi diversi imparando a operare in economia di pensiero. Acquisire la capacità di formalizzare in modo matematicamente corretto problemi che prevedono operazioni su insiemi.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Al termine del modulo lo studente/la studentessa dovrà:

- acquisire familiarità con il ragionamento logico-deduttivo matematico;
- apprendere i concetti fondamentali e fondazionali della matematica moderna (insiemi, funzioni, numeri naturali, cardinalità);
- conoscere e saper utilizzare alcuni risultati importanti di matematica discreta e le loro applicazioni in ambito computazionale (algoritmo euclideo, aritmetica modulare);
- imparare a riconoscere e distinguere semplici strutture algebriche (monoidi, gruppi).

MODALITA' DIDATTICHE

Lezioni ed esercitazioni frontali.

PROGRAMMA/CONTENUTO

1. Nozioni di base
- Insiemi
- Funzioni
- Numeri naturali e induzione
- Numeri complessi
- Relazioni d’equivalenza
- Cardinalità
- Relazioni d'ordine

2. Matematica Discreta
- Numeri interi
- Algoritmo euclideo
- Aritmetica modulare

3. Strutture algebriche
- Monoidi
- Gruppi

TESTI/BIBLIOGRAFIA

Materiale fornito dal docente su Aulaweb.

DOCENTI E COMMISSIONI

Commissione d'esame

RICCARDO CAMERLO (Presidente)

FRANCESCO STRAZZANTI

ALDO CONCA (Presidente Supplente)

ALESSIO CAMINATA (Supplente)

LEZIONI

INIZIO LEZIONI

In accordo con il calendario didattico approvato dal Consiglio dei Corsi di Studio in Informatica

Orari delle lezioni

L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy

ESAMI

MODALITA' D'ESAME

Prova scritta. Si consigliano gli studenti con certificazione di DSA, di disabilità o di altri bisogni educativi speciali di contattare il docente all’inizio del corso per concordare modalità didattiche e d’esame che, nel rispetto degli obiettivi dell’insegnamento, tengano conto delle modalità di apprendimento individuali e forniscano idonei strumenti compensativi.

MODALITA' DI ACCERTAMENTO

L’esame verterà principalmente sugli argomenti trattati durante le lezioni frontali e avrà lo scopo di valutare non soltanto se lo studente ha raggiunto un livello adeguato di conoscenze, ma se ha acquisito la capacità di analizzare criticamente i problemi che verranno posti nel corso dell'esame.

Calendario appelli