Vai al contenuto principale
Oggetto:
Oggetto:

Matematica Discreta, Algebra e Geometria

Oggetto:

Discrete Mathematics Algebra and Geometry

Oggetto:

Anno accademico 2023/2024

Codice attività didattica
INF0328
Docenti
Lea Terracini (Corso A + Corso C)
Yu Chen (Corso A + Corso C)
Andrea Mori (Corso B)
Reto Buzano (Corso A + Corso B)
Marco Radeschi (Corso B + Corso C)
Corso di studio
[008707] Laurea in Informatica
Anno
1° anno
Periodo
Primo semestre
Tipologia
Di base
Crediti/Valenza
12 CFU - Numero di ore - Number of hours: 64 (in aula) + 40 (esercitazioni)
SSD attività didattica
MAT/02 - algebra
MAT/03 - geometria
Erogazione
Tradizionale
Lingua
Italiano
Frequenza
Facoltativa
Tipologia esame
Scritto
Prerequisiti
Conoscenza delle basi della matematica della scuola superiore: in particolare le operazioni aritmetiche di base, le proprietà delle potenze, le equazioni di primo e secondo grado. Conoscenza della terminologia di base relativa alle parti del discorso: nomi, verbi, proposizioni, aggettivi.
Insegnamenti propedeutici (forniscono le competenze attese in ingresso): nessuno
Acquaintance with basic high-school mathematics: arithmetic operations, properties of powers, first- and second-degree equations. Acquaintance with the basic terminology concerning parts of speech: nouns, verbs, adjectives and propositions.
Preparatory Courses (providing the expected entry skills): none
Oggetto:

Sommario insegnamento

Oggetto:

Avvisi

DSA o Disabilità: Sostegno e Accoglienza in UniTO e supporto in sede di Esame
Oggetto:

Obiettivi formativi

L’insegnamento si propone di fornire allo studente una introduzione alla matematica discreta e all'algebra lineare, con particolare riguardo per gli aspetti più rilevanti per la formazione di base di un informatico, in particolare una adeguata familiarità con le strutture algebriche, il calcolo combinatorio, l'algebra lineare, le sue applicazioni geometriche  e le principali tecniche di dimostrazione. 

L'insegnamento concorre al raggiungimento degli obiettivi formativi specifici del Corso di Laurea in Informatica (L31), in particolare di quelli relativi all'area matematica di base, che includono un'introduzione alla matematica discreta e all'algebra lineare.

The aim of this course is to provide the student with an introduction to discrete mathematics and linear algebra, focusing on those aspects that are most relevant to computer science, in particular a sufficient familiarity with algebraic structures, combinatorics, linear algebra and its geometric applications and the main proof techniques.

The training objectives of this course are part of the training objectives of the CdS in Informatica (L31), being part of the area “matematica di base” which includes elements of discrete mathematics and linear algebra.

Oggetto:

Risultati dell'apprendimento attesi

 

  • CONOSCENZA E CAPACITÀ DI COMPRENSIONE Acquisizione di conoscenze teoriche e operative relative alla matematica discreta, all'algebra lineare e alla geometria, con specifico riferimento a tematiche di rilievo per l'Informatica. Al termine del corso occorrerà dare prova di aver compreso le basi fondamentali della teoria dei gruppi e degli anelli e dei loro morfismi, con la conoscenza di alcuni specifici esempi; in particolare ci si aspetta la conoscenza della struttura algebrica degli interi, con applicazione all’aritmetica modulare. Si richiede inoltre la comprensione della nozione di spazio vettoriale e di applicazione lineare, e l'utilizzo di questi concetti in contesti geometrici.
  • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE Acquisizione della capacità di applicare
    le conoscenze teoriche relative alla matematica discreta alla risoluzione di esercizi e di problemi, con
    specifico riferimento a tematiche di rilievo per l'informatica. Occorrerà  essere in grado di manipolare permutazioni, risolvere equazioni diofantee lineari in due variabili, congruenze lineari ed impostare e risolvere problemi di carattere enumerativo utilizzando in modo appropriato il linguaggio ed il formalismo della teoria degli insiemi, com particolare riguardo alle operazioni tra insiemi (unione, intersezione, prodotto), le relazioni e le funzioni. Si richiederà di familiarizzarsi con il calcolo matriciale, risolvere sistemi lineari, calcolare autovalori e autospazi di endomorfismi.
  • AUTONOMIA DI GIUDIZIO Acquisizione di consapevole autonomia di giudizio con riferimento a
    valutazione e interpretazione di dati per scelte risolutive in situazioni nuove.
  • ABILITÀ COMUNICATIVE Acquisizione di competenze e strumenti per la comunicazione nella forma scritta e orale, in lingua italiana, unitamente all'utilizzo di linguaggi formali e terminologia matematica.
  • CAPACITÀ DI APPRENDIMENTO Acquisizione di capacità autonome di apprendimento e di
    autovalutazione della propria preparazione, atte ad intraprendere gli studi successivi con un alto grado di autonomia.

 

 

 

  • KNOWLEDGE AND UNDERSTANDING Acquisition of theoretical and applicative skills concerning
    discrete mathematics with a focus on  relevant issues in computer science. At the end of the course the student will have to show an understanding of the basic structure of groups and rings and their morphisms, with knowledge of some specific examples; in particular the student is expected to know the algebraic structure of the integers, with applications to modular arithmetic. Moreover, the understanding of the notion of vector space and linear application is required, as the use of this concepts in geometrical settings. 
  • APPLYING KNOWLEDGE AND UNDERSTANDING Acquisition of the ability to apply the theoretical mathematical  knowledge to the solution of problems and exercises, with a focus on  relavant issues in computer science. The student will have to be able to manipulate permutations, solve linear diophantine equations in two variables, linear congruences and set and solve enumerative problems using in a proper way the language and formalism of set theory, specifically using set operations (union, intersection, product), relations and functions. The student will have to get familiar to matrix calculus, solving of linear systems and computation of eigenvalues and eigenspaces of endomorphisms. 
  • MAKING JUDGEMENTS Acquisition of aware judgment autonomy concerning evaluation and interpretation of data in order to achieve strategic choices in unkonw situations.
  • COMMUNICATION SKILLS Acquisition of oral and written communication skills and expertise, in italian, as well as the ability to use formal languages and mathematica terminology.
  • LEARNING SKILLS. Acquisition of autonomous learning capacity and self-assessment of its preparation, in order to undertake subsequent studies with a high degree of autonomy.
Oggetto:

Programma

MATEMATICA DISCRETA: Linguaggio degli insiemi • Insiemi: insieme vuoto; sottoinsiemi; unione; intersezione; complementare; insieme delle parti (con particolare attenzione al caso finito). • Corrispondenze, relazioni e funzioni: relazioni d’ordine. • Relazioni di equivalenza e partizioni. • Composizione e inversione di corrispondenze. • Iniettività, suriettività, composizione e invertibilità di funzioni. Calcolo combinatorio • Cardinalità di insiemi finiti • Principi della somma e del prodotto • Disposizioni semplici e con ripetizioni • Combinazioni semplici e con ripetizioni. • Il Teorema del binomio e il triangolo di Pascal-Tartaglia • Il principio di inclusione-esclusione Strutture algebriche  • Semigruppi e loro morfismi. • Monoidi e loro morfismi: monoide delle parole • Gruppi e loro morfismi. • Alcuni esempi di strutture algebriche: numeri naturali e interi, gruppo delle biiezioni di un insieme. • Gruppi e sottogruppi ciclici. • Sottogruppi e Teorema di Lagrange. • Corpi e campi: campo dei numeri razionali. Aritmetica modulare • Anelli degli interi e delle classi di resto. • Teorema della divisione • L'algoritmo di Euclide • Identità di Bezout • Equazioni diofantee • Il teorema di Eulero-Fermat Gruppo delle permutazioni • Composizione, potenze e inverse di permutazioni. • Decomposizione in cicli disgiunti e decomposizione in trasposizioni. • Parità di una permutazione • Sottogruppi del gruppo delle permutazioni.

ALGEBRA LINEARE E GEOMETRIA:  Polinomi. • Numeri reali e complessi. • Spazi Vettoriali. Spazio Euclideo. Indipendenza lineare, basi, dimensione. • Sistemi Lineari. Riduzione di Gauss-Jordan, Teorema di Rouch ́e-Capelli, spazio delle soluzioni. • Interpretazione geometrica: rette, piani, iperpiani, lineari e affini, in forma parametrica e Cartesiana. •  Determinante di una matrice. Algebra dello spazio di matrici.•  Applicazioni Lineari. Nucleo e Immagine. Matrice associata, cambiamento di base, matrici simili. • Autovettori e autovalori di una matrice quadrata. Diagonalizzazione.
• Prodotti scalari, Complemento ortogonale. Forme quadratiche. • Teorema spettrale per gli operatori auto-aggiunti.

DISCRETE MATHEMATICS: The language of set theory • Sets: empty set, subsets, union, intersection and complement. Powerset, with a special emphasis on the finite case. • Correspondences, relations and functions: order relations. • Equivalence relations and partitions. • Composition and inversion of correspondences. • Injective and surjective functions, composition and invertibility of functions. Combinatorial calculus • Cardinality of finite sets. • The sum and product principles. • Combinations with and without repetitions. • Binomial theorem and the Pascal triangle. • Permutations. • The inclusion-exclusion principle. Algebraic structures • Semigroups and their homomorphisms. • Monoids and their homomorphisms: the monoid of words. • Groups and their homomorphisms. • Some examples of algebraic structures: natural numbers, integers, group of bijections of a set. • Groups and cyclic subgroups. • Subgroups and Lagrange theorem. • Fields: the field of rational numbers. Modular arithmetic • Ring of integers and integers modulo n. • The Division theorem. • Euclid algorithm. • The Bezout identity. • Diophantine equations. • The Eulero-Fermat theorem. Permutation groups • Composition, power and inverse of permutations. • Decomposition into disjoint cycles and transpositions. • Parity of a permutation. • Subgroups of the permutation group.

LINEAR ALGEBRA AND GEOMETRY: Polynomials • Real and complex numbers • Vector spaces. Euclidean spaces. Linear independence, bases, dimension. • Linear systems. Gauss-Jordan reduction, Rouch ́e-Capelli theorem, space of solutions. • Geometric interpretation: lines, planes, hyperplanes (linear and affine), in parametric and Cartesian form. •  Determinant of a matrix. Algebra of the space of matrices. •  Linear applications. Kernel and image. Matrix associated to a linear application, base change, similar matrices. • Eigenvalues and eigenvectors of a square matrix. Diagonalization. • Scalar products, orthogonal complement. quadratic forms. • Spectral theorem for self-adjoint operators.

Oggetto:

Modalità di insegnamento

 L'insegnamento consiste di 104 ore, distribuite tra argomenti teorici ed esercitazioni. La frequenza è facoltativa. L'insegnamento si svolgerà in presenza. Tutto il materiale didattico sarà pubblicato e/o disponibile sulla piattaforma Moodle: appunti delle lezioni, esempi di esercizi risolti e test accessibili agli studenti, per allenamento e autovalutazione.
La comunicazione con gli studenti avviene mediante e-mail e/o forum piattaforma Moodle.  
  104-hours course, splitted in theoretical lessons and exercise training.
The attendance is optional. The teaching will be in presence. All didactic material will be published and /or available on the Moodle platform: notes of the course, examples of solved exercises and test for training and
self-assessment.Communication with students takes place through e-mail and/or the forum on Moodle platform.

Oggetto:

Modalità di verifica dell'apprendimento

  L’esame consiste di due parti, una di Matematica Discreta e una di Algebra lineare e Geometria, che possono essere affrontate anche in appelli differenti. Le prove di esame sono scritte, a meno di motivata richiesta di esame orale da parte dei docenti. Le domande possono riguardare sia la teoria che lo svolgimento di esercizi. L’esito dell’esame è espresso in trentesimi come media dei punteggi riportati nelle due parti. 
The exam consists of two independent parts, Discrete Mathematics and Linear Algebra and Geometry, that can be taken in different sessions. The two parts of the exams are written, unless the teachers require an oral exam. The questions in the exams can either be theoretical or problem-solving in nature. The final grade of the exam is obtained as the average of the two parts, expressed as a fraction of 30.

Oggetto:

Attività di supporto

Durante l'intera durata dell'insegnamento saranno svolte attività di tutorato, facoltative e
aggiuntive rispetto a quelle proprie dell'insegnamento (2 ore alla settimana), per la revisione in aula
di alcuni argomenti e lo svolgimento di ulteriori esercizi rispetto a quelli proposti
dal docente.

Sulla piattaforma Moodle è inoltre disponibile un Forum dedicato alla discussione su argomenti del corso.

 Parallel to the course, students may attend an optional tutorship (2 hours/week) wherein a tutor
resumes some topics treated in the course and trains students to solve stoichiometric problems.

A forum is available to the Moodle platform for any questions concerning the topics of the course

Testi consigliati e bibliografia



Oggetto:
Libro
Titolo:  
Lezioni di Matematica Discreta
Anno pubblicazione:  
2018
Editore:  
CreateSpace Independent Publishing Platform
Autore:  
Andrea Mori
ISBN  
Obbligatorio:  
No


Oggetto:
Libro
Titolo:  
Algebra e Matematica discreta
Anno pubblicazione:  
2000
Editore:  
Zanichelli/Decibel
Autore:  
Alberto Facchini
ISBN  
Obbligatorio:  
No


Oggetto:
Altro
Titolo:  
Cristina Bertone, Margherita Roggero - Appunti ed Esercizi di Matematica Discreta 2017/18
Obbligatorio:  
No


Oggetto:
Libro
Titolo:  
Algebra Lineare
Anno pubblicazione:  
2014
Editore:  
Bollati Boringhieri
Autore:  
Serge Lang
Obbligatorio:  
No


Oggetto:
Altro
Titolo:  
Bruno Martelli, “Geometria e algebra lineare”, note del corso.
URL:  
Obbligatorio:  
No


Oggetto:
Ultimo aggiornamento: 21/10/2023 10:23
Location: https://laurea.informatica.unito.it/robots.html
Non cliccare qui!