Aim of the course is to give students some basic tools and topics in Logic, Algebra and Geometry.

01. Elements of Set Theory
01.01 The Boolean algebra of subsets of a set.
01.02 Relations: equivalence; pre-order; order; total order. Lattices.
01.03 Bounded sets: generalities.
01.04 Relations. Operations between relations.
01.05 Functions between sets: generalities.
01.06 Image and inverse image of a function.
01.07 Injective, surjective and biunivocal functions.
01.08 Quotient set.
01.09 Paradoxes of naive set theory.
01.10 NGB Theory: Axioms.
01.11 Russell's class. Some important sets.
01.12 The axiom of choice and some of its equivalent formulations.

02. Algebraic structures
02.01 Commutative rings.
02.02 Groups; semigroups; monoids; semirings; fields.
02.03 The quotient ring.
02.04 Compatibility of the order with respect to the operations.
02.05 Totally ordered fields.
02.06 Morphisms between structures.
02.07 Characterization of the upper (lower) bound in totally ordered fields.
02.08 Total orders on a field.

03. Numerical structures
03.01 The set of natural numbers: Peano's axioms.
03.02 The weak recursion theorem.
03.03 The principle of mathematical induction and the well-order principle.
03.04 Semantic versions of the mathematical induction principle.
03.05 The Bernoulli inequality. Newton's binomial. The MA-MG theorem.
03.05 Generalized induction and the recursion principle.
03.06 The generalized recursion theorem.
03.07 Language and the Bottom up contruction.
03.08 The ring of integers.
03.09 The field of rationals.
03.10 The fraction field of an integrity domain.
03.11 Characteristic of a ring.
03.12 Property of Archimedes.
03.13 Integer (fractional) part.

04. Cardinality
04.01 Cardinality in the sense of Frege.
04.02 Injective (surjective) functions between finite sets.
04.03 Equivalence relationship in the class of sets. Cardinality of a set.
04.04 Problem of hyperclasses. Operations between cardinals.
04.05 The restriction to subsets of a set.
04.06 The total order in the power set modulo equipotence.
04.07 The Cantor-Berenstein theorem.
04.08 Hartgos' theorem.
04.09 Cantor's theorem.
04.10 The continuum hypothesis.
04.11 Characterization of infinite sets according to Dedekind.
04.12 Finite sets (countable).
04.13 Cardinality of infinite sets.
04.10 Cardinality of classical sets.

05. Metric structure on totally ordered fields
05.01 Absolute value.
05.02 Intervals.
05.03 Metrics.
05.04 The order topology.
05.05 Internal points; external; boundary; accumulation; isolated.
05.06 Open (closed) sets.
05.07 Archimedean fields.
05.08 Successions in totally ordered fields.
05.09 Power series.
05.10 The ring of sequences on a totally ordered field.
05.11 Cauchy sequences.

06. The real field
06.01 Dedekind completeness.
06.02 Characterization of D-completeness.
06.03 Uniqueness theorem of ordered and D-complete fields (up to increasing isomorphisms).
06.04 The rational field is not D-complete.
06.05 The extended real line. Topology of the extended real line.
06.06 The complex field.
06.07 Characterization theorem of D-completeness.
06.08 Examples: Laurent's series.
06.09 The real field (Cantor).
06.10 The real field (Dedekind).
06.11 The real field (Stevin).

07. Propositional Logic
07.01 Formal languages, alphabet, syntax, semantics.
07.02 The language of Propositional Calculus.
07.03 Connectives, truth tables.
07.04 Interpretations, satisfiability.
07.05 Algebraic properties of connectives and quantifiers. Semantic equivalence.
07.06 Functional completeness.
07.07 Normal forms: conjunctive normal form and disjunctive normal form.
07.08 Construction of a formula in conjunctive or disjunctive normal form starting from the truth table.
07.08 Sets of functionally complete connectives.

08. Logic of predicates
08.01 The language of the Calculus of Predicates. Quantifiers.
08.02 Terms, atomic formulas and well-formed formulas.
08.03 Free variables and bound variables.
08.04 Closed formulas. The replacement.
08.05 The semantics of the Calculus of Predicates.
08.06 Interpretations. Satisfiability, validity and models.
08.07 Universal closure and existential closure of a formula.
08.08 Semantic equivalence.
08.09 Normal preness form.
08.10 Skolem normal form.

There are no mandatory prerequisites. It is recommended to take the exam of Logic, Algebra and Geometry during the first year of the Laurea Degree Program in Applied Computer Science.

Knowledge and understanding. At the end of the course the student must have acquired a good knowledge of the mathematical topics covered in the course. He must be able to argue correctly and with language properties on the topics covered in the program. Examples and working methods are shown in the classroom during the lessons and proposed in the exercises.

Applied knowledge and understanding. At the end of the course the student must have acquired a good ability to use the main tools of basic mathematics. He must be able to correctly apply the formulation studied and must be able to solve general mathematical problems similar to those studied. In particular, he must be able to apply the acquired knowledge even in contexts slightly different from those studied, and have the ability to use the acquired knowledge to independently solve problems that may appear new. Examples of such applications are shown in the classroom during the lessons and proposed in the exercises.

Autonomy of judgment. At the end of the course the student must have acquired a good ability to analyze topics and problems in general mathematics, the ability to critically evaluate any proposed solutions, and a correct interpretation of similar topics.

Communication skills. At the end of the course the student must have acquired a good ability to clearly communicate his / her statements and considerations concerning general mathematics problems. The working method is shown in the classroom during the lessons and proposed in the exercises.

Ability to learn. At the end of the course the student must have acquired a good capacity for autonomy in the study of the discipline, in the reading and interpretation of a qualitative phenomenon, in the search for useful information to deepen the knowledge of the topics covered.

The teaching material prepared by the lecturer in addition to recommended textbooks (such as for instance slides, lecture notes, exercises, bibliography) and communications from the lecturer specific to the course can be found inside the Moodle platform › blended.uniurb.it

There are no supporting activities.

Teaching

Theorical and practical lessons.

Attendance

Although strongly recommended, course attendance is not mandatory.

Course books

L. Carlucci Aiello - F. Pirri, Strutture, logica, linguaggi, Ediz. Mylab. Editore: Pearson. Collana: Informatica - Codice EAN: 9788891907844, 2018.

G. Devillanova - G. Molica Bisci, Elements of Set Theory and Recursive Arguments, Atti della Accademia Peloritana dei Pericolanti
Classe di Scienze Fisiche, Matematiche e Naturali, ISSN 1825-1242 - Vol. 99, No. S1, (2021).

G. Devillanova - G. Molica Bisci, The Faboulous Destiny of Richard Dedekind, Atti della Accademia Peloritana dei Pericolanti
Classe di Scienze Fisiche, Matematiche e Naturali, ISSN 1825-1242 - Vol. 98, No. S1,  (2021).

Per approfondimenti:

M. Curzio, P. Longobardi, and M. Maj, Lezioni di Algebra. Napoli: Liguori Editore, 2014.

E. Mendelson, Introduction to mathematical logic. Sixth edition. Textbooks in Mathematics. CRC Press, Boca Raton, FL, 2015. xxiv+489 pp.

T. Jech, Set Theory. The Third Millennium Edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. xiv+769 pp.

Assessment

The expected objectives are verified through the following two tests, both mandatory:

1. A formative assessment test: consisting of a written paper - lasting 2 hours and 30 minutes - divided into five exercises on the following topics:

Set theory: relations; functions between sets; combinatorics;
Real numerical sequences;
Complete study of a real function of one real variable;
On the properties of continuity and differentiability of real functions of one real variable;
Integrals of a real function of one real variable; calculation of areas of flat domains.

2. An oral interview: consisting of the discussion of the written paper and three open questions on the theoretical topics covered in the course.

For both tests, the evaluation criteria are as follows:
- relevance and effectiveness of the responses in relation to the contents of the program;
- the level of articulation of the response;
- adequacy of the disciplinary language used.

The overall evaluation is expressed with a mark out of thirty taking into account both tests.

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Teaching

Theorical and practical lessons.

Attendance

Although strongly recommended, course attendance is not mandatory.

Course books

L. Carlucci Aiello - F. Pirri, Strutture, logica, linguaggi, Ediz. Mylab. Editore: Pearson. Collana: Informatica - Codice EAN: 9788891907844, 2018.

G. Devillanova - G. Molica Bisci, Elements of Set Theory and Recursive Arguments, Atti della Accademia Peloritana dei Pericolanti
Classe di Scienze Fisiche, Matematiche e Naturali, ISSN 1825-1242 - Vol. 99, No. S1, (2021).

G. Devillanova - G. Molica Bisci, The Faboulous Destiny of Richard Dedekind, Atti della Accademia Peloritana dei Pericolanti
Classe di Scienze Fisiche, Matematiche e Naturali, ISSN 1825-1242 - Vol. 98, No. S1,  (2021).

Per approfondimenti:

M. Curzio, P. Longobardi, and M. Maj, Lezioni di Algebra. Napoli: Liguori Editore, 2014.

E. Mendelson, Introduction to mathematical logic. Sixth edition. Textbooks in Mathematics. CRC Press, Boca Raton, FL, 2015. xxiv+489 pp.

T. Jech, Set Theory. The Third Millennium Edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. xiv+769 pp.

Assessment

The expected objectives are verified through the following two tests, both mandatory:

1. A formative assessment test: consisting of a written paper - lasting 2 hours and 30 minutes - divided into five exercises on the following topics:

Set theory: relations; functions between sets; combinatorics;
Real numerical sequences;
Complete study of a real function of one real variable;
On the properties of continuity and differentiability of real functions of one real variable;
Integrals of a real function of one real variable; calculation of areas of flat domains.

2. An oral interview: consisting of the discussion of the written paper and three open questions on the theoretical topics covered in the course.

For both tests, the evaluation criteria are as follows:
- relevance and effectiveness of the responses in relation to the contents of the program;
- the level of articulation of the response;
- adequacy of the disciplinary language used.

The overall evaluation is expressed with a mark out of thirty taking into account both tests.

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

During the course, several exercises will be proposed to be carried out on the theoretical topics covered in class.

These exercises will be functional to the overcoming of the expected written paper.

Students are strongly advised to do them.