None

Students have shown that they know and understand: 1. the mathematical language and abstract-rigorous reasoning as well as to apply them to state and prove precise results in several areas in mathematics. 2. the fundamental results from mathematical logic, set theory and fundamentals of algebra. 3. the fundamental mathematical results supporting the theory and the development of programming languages and intelligent systems.

1. Logic and mathematical proofs 2. Elementary set theory and functions 3. Boolean algebra 4. Integer numbers and modular arithmetic 5. Groups 6. Anillos

1. THEORETICAL-PRACTICAL CLASSES, where the knowledge that the students must acquire is explained and developed. Students will have basic reference texts to facilitate the understanding of the classes and the development of follow up work. The teacher and the students will solve exercises and practical problems, previously suggested by the teacher. 2. TUTORING SESSIONS. Individualized attendance for students with a teacher for at least two hours a week. 3. STUDENT INDIVIDUAL OR GROUP WORK. Each student's individualized study, understanding of results and proofs, and exercise and problem-solving is fundamental in mathematics, both for learning and for self-evaluation of acquired competencies and skills.