Computer Science

General goals: The course is aimed at acquiring the basic logical and set-up knowledge to tackle the study of other topics in mathematics and computer science. Specific goals: Knowledge and understanding: At the end of the course student will have full understanding of the proposed logical-set-theoretical tools. Apply knowledge and understanding: Students will have acquired the ability to carry out a rigorous, even if elementary, mathematical reasoning, in particular with regard to the fundamental logical principles and the use of induction in all its forms. Critical and judgmental skills: Students will therefore be able to critically address the arguments proposed in other theoretical and applied teachings. In this regard, many examples are given from other lessons. Communication skills: Active participation in the classroom and the use of the oral exam serve to stimulate students in acquiring the proper language of mathematics and to transmit the knowledge and skills acquired appropriately . Ability to continue the study: Students will be able to deepen in the personal study the topics treated using what they have learned as a basis.