Offerta Didattica

INFORMATICA

DISCRETE MATHEMATICS

Classe di corso: L-31 - Scienze e tecnologie informatiche

AA: 2022/2023

Sedi: MESSINA

SSD	TAF	tipologia	frequenza	moduli
MAT/02	Base	Libera	Libera	No

CFU	CFU LEZ	CFU LAB	CFU ESE	ORE	ORE LEZ	ORE LAB	ORE ESE
6	4	0	2	48	24	0	24

Legenda
CFU: n. crediti dell’insegnamento
CFU LEZ: n. cfu di lezione in aula
CFU LAB: n. cfu di laboratorio
CFU ESE: n. cfu di esercitazione
FREQUENZA:Libera/Obbligatoria
MODULI:SI - L'insegnamento prevede la suddivisione in moduli, NO - non sono previsti moduli
ORE: n. ore programmate
ORE LEZ: n. ore programmate di lezione in aula
ORE LAB: n. ore programmate di laboratorio
ORE ESE: n. ore programmate di esercitazione
SSD:sigla del settore scientifico disciplinare dell’insegnamento
TAF:sigla della tipologia di attività formativa
TIPOLOGIA:LEZ - lezioni frontali, ESE - esercitazioni, LAB - laboratorio

Obiettivi Formativi
Learning Goals

Obiettivi Formativi

Una solida preparazione di matematica di base che fornisca gli strumenti di logica e i metodi risolutivi di problemi. La conoscenza di strutture algebriche che sono alla base dell'Informatica Teorica, strumenti necessari alla comprensione e alla formalizzazione e propedeutici agli insegnamenti avanzati degli anni successivi.

Learning Goals

A solid preparation of basic mathematics that provides logical tools and troubleshooting methods. Knowledge of algebraic structures, the basis of theoretical computing; necessary tools for understanding the advanced teachings of the following years.

Metodi didattici
Teaching Methods

Metodi didattici

Lezioni teoriche e applicative. Utilizzo di software di calcolo simbolico.

Teaching Methods

Lectures about theorical and applicative subjects. Usage of software for symbolic computation.

Prerequisiti
Prerequisites

Prerequisiti

Algebra elementare. Nozioni di geometria analitica nel piano.

Prerequisites

The basic concepts and formulas of elementary algebra and analytic geometry.

Verifiche dell'apprendimento
Assessment

Verifiche dell'apprendimento

Presentazione di un progetto che abbia un report dettagliato ed una implementazione in Python ed esame orale.

Assessment

Presentation of a project that contains a detailed report and an implementation in Python and oral exam.

Programma del Corso
Course Syllabus

Programma del Corso

Teoria degli insiemi e strutture algebriche con particolare enfasi sulle strutture finite utilizzate in informatica. Applicazioni alla crittografia ed alla teoria dei codici dei campi finiti. Teoria dei grafi ed applicazioni alle reti.

Course Syllabus

Set theory and algebraic structures with a particular emphasis on finite structures used in Information technology. Applications to cryptography and error correcting codes of finite fields. Graph theory with application to networks.

Testi di riferimento: 1. Lindsay N. Childs, A Concrete Introduction to Higher Algebra, Springer. 2. M. Ceria, G. Rinaldo, M. Sala, Bits, Bytes and Friends, Aracne.

Esami: Elenco degli appelli

Elenco delle unità didattiche costituenti l'insegnamento

Docente: GIANCARLO RINALDO

Orario di Ricevimento - GIANCARLO RINALDO

Dato non disponibile