Academic Year 2023-2024

MATHEMATICAL LANGUAGE

Teachers

Franco Parlamento
Course Year
1
Unit Credits
3
Teaching Period
First Period
Course Type
Other
Teaching Methods. Discussion of examples of drafting mathematical logic texts. Assignment as homework of specific topics. Once corrected by the teacher the homeworks are discussed in class and if needed improved by the student as a further homework.
Verification of Learning. Approval based on the texts produced by the students.
Objectives
The pourpose

is to make the student aware of the various aspects of the mathematical language and, above all, to improve, by means of an extended language laboratory activity of writing, his/her ability to formulate mathematical texts, in particular proofs of simple properties and resolution of exercises, with clarity and effectiveness.

Contents
The mathematical language differs from other “professional languages” for a remarkable development of the symbolic formalism ad for a continuous and essential use of some logical paradigms, that will be made explicit.