Course Details
Name:
Type:
Basic information
Code:
Sector:
Credits:
Term:
Module Matematica Discreta II: 2° semester
Degree(s):
Language:
Teacher(s):
Same as:
Course Objectives
Module Matematica Discreta I: The goal of this course is to expose the main concrete techniques in linear algebra (matrices, systems, determinants, vector spaces and linear maps) and to show the first strategies in abstract algebra.
Module Matematica Discreta II: LOGIC: The goal of this Module is to provide the motivations, definitions and techniques in support of the usefulness of logic in the effective and efficient modeling of data and knowledge.
This Module is an introduction to mathematical logic and covers elementary discrete mathematics for computer science.
On successful completion of this module, the student should understand the fundamental concepts of mathematical logic and should be aware of potential applications in computing, including the limitations of algorithms.
GEOMETRY: The goals of this Module are to introduce students to the terminology and theorems of plane and solid geometry, and to apply algebraic, spatial, and logical reasoning to solve geometry problems.
This Module covers the fundamental concepts of Linear Algebra and its role in describing geometric settings.
On successful completion of this module, the student will develop spatial sense, visualize and represent geometric figures , explore transformations of geometric figures, understand and apply geometric properties and relationships, synthesize geometric concepts into algebraic, functional, and problemsolving activities.
Course Content
Module Matematica Discreta I
 Sets: functions, equivalence relations, products, elementary combinatorics.
 Permutations.
 Groups: subgroups, quotients, isomporphism theorems, factor groups, permutation groups, cyclic groups.
 Arithmetic: divisibility theory in the ring of integers and of polinomials over a field.
 Congruences. Chinese remainder theorem.
 Rings: subrings, ideals, quotients, isomorphism theorem, ring of polynomials, domains, euclidean rings, PID, UFD.
 Fields: simple field extensions, finite fields.
 Matrices and systems of linear equations: Gauss reduction, determinants.
 Vectors, vector spaces, independence, bases.
 inner product, cross product.
 Eigenvalues, eigenvectors. Diagonalization and canonical forms of matrices.
 Application: systems of differential equations.
Module Matematica Discreta II
 LOGIC Propositional Logic: Logical formulae, valuations, truth tables, logical equivalence of formulae, satisfaction and logical implication. Deductive Logic: Formal axiom schemes, the structure of formal proofs, Sequent Calculus, Natural Deduction, the Deduction Theorem, and connections between truth and proof (the Soundness and Completeness Theorems).
 GEOMETRY Euclidean plane geometry, angles, radians, notion of geometric place, properties of triangles, parallelograms, circles, symmetry and similarity, transformations in the plane, Cartesian coordinates and equations of simple geometric places, elements of trigonometry, elements of spatial Euclidean geometry, volumes.
Learning Outcomes (Dublin Descriptors)
On successful completion of this course, the student should
Module Matematica Discreta I

being aware of the main structures in Linear Algebra and Abstract Algebra.
 demonstrate skill in mathematical reasoning, manipulation and calculation, demonstrate capacity for finding rigorous proofs of small problems; demonstrate skill in mathematical reasoning, manipulation and calculation by synthesizing geometric concepts into algebraic, functional, and problemsolving activities; demonstrate capacity to deduce properties of, and relationships between, figures from given assumptions and from using transformations.
Module Matematica Discreta II
 On successful completion of this module, the student should
 have profound knowledge of basic techniques in set theory;
 have knowledge and understanding of logical and deductive arguments;

have profound knowledge of basic techniques in Linear Algebra;
 have knowledge and understanding of logical and deductive arguments;
 have knowledge and understanding of geometric relationships within the axiomatic structure of Euclidean geometry;
 understand and apply geometric properties and relationships;
 demonstrate capacity for finding rigorous proofs of small problems;
 understand and explain the meaning of complex statements using mathematical notation and language;
 understand the fundamental concepts of mathematical logic and should be aware of potential applications in computing.
 demonstrate skill in mathematical reasoning, manipulation and calculation by synthesizing geometric concepts into algebraic, functional, and problemsolving activities;
 understand and explain the meaning of complex statements using mathematical notation and language;
 understand and explain the relation of geometry to algebra and trigonometry by using the Cartesian coordinate and recognize geometric relationships in the world;
 ability to read and understand other books/papers using notions learnt by the course and undertsnd their applications.
Prerequisites and Learning Activities
Module Matematica Discreta I: Set Theory (language of set theory, the notion of function, graphs of fundamental functions, concept of sufficient and necessary condition), Numerical Structures (natural numbers, prime numbers, numerical fractions, rational numbers, basics of real numbers, inequalities, absolute value, powers and roots);
Elementary algebra ( polynomials and operations on polynomials, identity, first and seconddegree equations).
Module Matematica Discreta II: For LOGIC the student must have the basic mathematical notions and methods as acquired in the secondary Schools.
For GEOMETRY the student must know: Set Theory (language of set theory, the notion of function, graphs of fundamental functions, concept of sufficient and necessary condition), Numerical Structures (natural numbers, prime numbers, numerical fractions, rational numbers, basics of real numbers, inequalities, absolute value, powers and roots);
Elementary algebra ( polynomials and operations on polynomials, identity, first and seconddegree equations); Algebraic Structures (Groups, homeomorphisms, rings); Linear Algebra: Linear systems, matrices, matrix operations, vectors and vector spaces, elementary operations on vectors, linear independence, bases, rank of a matrix linear transformations, determinants, inner product spaces, eigenvalues, and eigenvectors.
Teaching Methods
Language: Italian
Module Matematica Discreta I: Lectures and exercises
Module Matematica Discreta II: Lectures and Exercices
Assessment Methods and Criteria
Module Matematica Discreta I: Written exam and oral discussion of the written exam.
Module Matematica Discreta II: Oral and written exam
Textbooks
 W.K. Nicholson, Algebra lineare. McGrawHll.
 B. Scimemi, Algebretta. Decibel.
 B. Scimemi , Gruppi. Decibel.
Online Teaching Resources
Teaching material:
Recent teaching material
 Risultati sino a 09/07/2018
 Esame09072018
 Esame 14062018
 ParzialeGiugno2018
 ParzialeAprile2018
 Click here to access the complete resources list.
Latest course news
 (09/07/2018) I risultati dello scritto di MD I amministrato il 9 Luglio 2018 verranno messi online su questo sito in data 11 Luglio 2018, ore serali. Chi, avendo già maturato un voto per MD I e MD II,...
 (05/07/2018) L’orale è fissato per giovedì 05.07 ore 10, aula C.1.9. Lo studente 202031 è convocato in aula il 05.07.2018 o altro giorno da concordare.
 (28/06/2018) Confermo che il secondo appello della sessione estiva per MD I è fissato lunendì 9 Luglio. AG
 (21/06/2018) I risultati sono in allegato. L’orale si terrà giovedì 21/06 ore 9,30 in aula 0.6 e giovedì 28/6 a partire dalle 14,30 in aula da definirsi.
 (19/06/2018) Sul sito è stato pubblicato il Registro con le indicazioni dei risultati dell'appello del 14 Giugno 2018. Chi vuole registrare il voto può venire nel mio ufficio Mercoledì 20...
 Show all the course news
Course page updates
This course page is available (with possible updates) also for the following academic years:Course information last updated on: 28 agosto 2016, 11:49