Discrete mathematical structures O - Z

Academic Year 2024/2025 - Teacher: Vincenzo CUTELLO

Expected Learning Outcomes

Knowledge and understanding:  Studenta will acquire the basic notions of discrete mathematical structures that are at the basis of computer science, and that are used to interpret and describe the relative problems.

Applying knowledge and understanding:  Students will acquire the necessary skills to tackle and analyze, from a theoretical point of view, typical problems in computer science and, in particular, in the design of algorithms, and in solving problems in which the application of standard techniques is required.

Making judgements:  students will be able to independently develop solutions to the main problems covered in the course, by choosing the most convenient strategy based on the results learned.

Communication skills: students will acquire the necessary communication skills and the specific language of discrete mathematics, and its use in computer science.

Learning skills:  the aim of the course is to provide students with the study method, the mindset and the logical rigor that will be necessary for them to be able to face and solve new problems that may arise during their work as computer scientists.

Course Structure

The course will be taught in the classroom for a total of 48 hours.

Should teaching be carried out in mixed mode or remotely, it may be necessary to introduce changes with respect to previous statements, in line with the programme planned and outlined in the syllabus.

Detailed Course Content

The course, for a total of 6 CFU, is divided into 4 parts of equal sizes.

Each of the parts ends with one or more case studies of particular importance.

Part I: Sets and Relations (1,5 CFU):

Introduction to Propositional Logic and basic operators.Sets and operations between them. Venn diagrams, power set, Cartesian product, set partition. Set relationships. Reflexive, symmetrical, transitive relations. Equivalence relations.

Case Study: Families of closed sets and the Union-Closed conjecture

Part II: Fundamentals of Number Theory and Demonstration Methods (1.5 CFU):

Natural numbers, relative integers, rational. Divisibility and Prime Numbers. Unique factorization theorem of integers. Theorem of the rest. Direct and indirect demonstrations. Examples of classical theorems and numerical algorithms. Numerical, summation and production sequences. Principle of mathematical induction and proof of fundamental properties. Modular arithmetic. Congruences.

CASE STUDIES: The 3x + 1 problem and Goldbach's Conjecture.

Part III: Combinatorics and Discrete Probability (1.5 CFU):

Permutations, combinations, arrangements (simple and with repetition). Discrete probability. Definition of probability. Uniform probability and relative properties. Conditional probability. Stochastic independence.

Case Study: The Monty Hall Paradox

Part IV: Graphs and Trees (1.5 CFU):

Basic definitions. Complete graphs. Complement of a graph. Bipartite graphs. Graph representations. Isomorphisms. Eulerian graphs and Hamiltonian graphs. The problem of the traveling salesman and the weighted graphs. is. Coloring of graphs and chromatic number. f. Definition of Tree and characterization. Binary trees and their properties. d. Planar graphs, Euler formula and characterization of flatness.

CASE STUDIES: The problem of Crossing Number. Examples of combinatorial problems on computationally complex graphs and their characterization as an optimal permutation search.

Textbook Information

No specific reference text. The teacher will provide students with the slides of the course and anything else necessary and sufficient to complete and deepen the topics discussed in class.

All teaching material will be published on Studium.

Course Planning

 SubjectsText References
1Introduzione alla Logica Proposizionale e agli operatori di base Lucidi delle lezioni
2Insiemi e Relazioni: Il concetto di insieme e le proprietà di base. Insiemi ed operazioni tra di essi. Dimostrazione diretta. Esercizi su InsiemiLucidi delle lezioni
3Famiglie di insiemi. Insieme prodotto. Paradossi.Lucidi delle lezioni
4Relazioni binarie e funzioni. Relazioni di Equivalenza. Relazioni d’ordine, Rappresentazione di insiemi finiti Esercizi e Problemi su Relazioni e Famiglie di Insiemi. Lucidi delle lezioni
5CASO STUDIO: Famiglie di insiemi chiuse e la congettura Union-ClosedLucidi delle lezioni
6Numeri Interi Introduzione e operazioni sui numeri interi. Principio di Induzione. Divisione tra interi. DivisibilitàLucidi delle lezioni
7MCD ed Algoritmo di Euclide. Numeri Primi e Coprimi. Criteri di divisibilità. Problemi ed EserciziLucidi delle lezioni
8Aritmetica Modulare Congruenze. Proprietà delle congruenze. Invarianza rispetto a somma e prodotto: conseguenze ed eserciziLucidi delle lezioni
9Funzione φ di Eulero Definizione e formula generale. Il Teorema di Eulero. Esempi ed eserciziLucidi delle lezioni
10Applicazioni dell’Aritmetica modulare La prova del 9. Codici ISBN e Carte di Credito. Cifrari monoalfabetici a trasposizioneLucidi delle lezioni
11Teoria dei numeri e problemi aperti Numeri primi di Mersenne e numeri perfetti. Numeri primi gemelli. La congettura di GoldbachLucidi delle lezioni
12CASO STUDIO: Il problema 3x + 1 (Congettura di Collatz)Lucidi delle lezioni
13Calcolo Combinatorio e Probabilità Discrete: Disposizioni e combinazioni. Permutazioni e Combinazioni. Teorema Binomiale. Lucidi delle lezioni
14Combinazioni con ripetizione. Esercizi. Principio dei cassetti (Pigeonhole principle)Lucidi delle lezioni
15Probabilità discreta. Formalizzazione Matematica. Assiomi e Proprietà. La regola di Bayes. Problemi d’urna. Esercizi. Variabili casuali. Problemi ed eserciziLucidi delle lezioni
16CASO STUDIO: Il paradosso di Monty Hall, giochi e paradossi probabilistici.Lucidi delle lezioni
17Grafi e Alberi: Introduzione: strette di mano e passeggiate su ponti. Definizioni di base.Lucidi delle lezioni
18Gradi di un nodo. Classi particolari di grafi: Grafi regolari, Grafi completi, Grafi Bipartiti.Lucidi delle lezioni
19Sottografi, Isomorfismi e Omeomorfismi: Definizione di sottografo, Isomorfismi, Omeomorfismi.Lucidi delle lezioni
20Percorsi, cammini e cicli. Grafi connessi. Rappresentazione di un grafo. Numero di percorsi tra nodi. Grafi Euleriani ed Hamiltoniani. Grafi pesati.Lucidi delle lezioni
21Il problema del commesso viaggiatore. Grafi planari. Colorazione di un grafo.Lucidi delle lezioni
22Alberi: definizioni fondamentali e classi particolari di alberi.Lucidi delle lezioni
23CASI STUDIO:Problemi combinatori su grafi.Lucidi delle lezioni