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