Degree | Type | Year |
---|---|---|
2504235 Science, Technology and Humanities | FB | 1 |
You can view this information at the end of this document.
There are no academic prerequisites for this course. Nonetheless it is basic to have the will to understand mathematical arguments, the logic and to sharpen one's critical thinking.
In the first part of the course we will introduce the basic language of mathematics and of propositional logic. A great deal of time will be dedicated to getting to handle this new language correctly, as it is essential to understand, produce and share mathematics. Particular stress will be put on the logic arguments (implication, equivalence, contraposition). The student will get acquainted to these through the diverse themes of the course: basic set theory, arithmetic, polynomials, etc.The discussion of one other's arguments, going back to previous proofs, to pay atttention to the details and enjoy the key points in a proof will be crucial all along this course.
Particular stress will be put on the logic arguments (implication, equivalence, contraposition). The student will get acquainted to these through the diverse themes of the course: basic set theory, arithmetic, polynomials, etc. In the first part of the course we will introduce the basic language of mathematics and of propositional logic. A great deal of time will be dedicated to getting to handle this new language correctly, as it is essential to understand, produce and share mathematics. A great emphasis will be put into distinguishing, equivalences, implications, negation, conversion and contraposition.
Sets and maps will be the main themes of this first part.
In the segond part of the course we will explore the integers and the polinomials. We will put an emphasis in how properly defining computational tools allow to manipulate this seemingly different objects in a unified way.
In the third part of the course we will explore two central notions from analisis: continuity and limit.
We hope that both the theorems and proofs will help our students develop the ability to prove theorems and think critically about mathematics.
I Logic and Set theory
I.1 Logic
Propositions and truth values.
Logical connectors.
Induction.
I.2 Set theory
Complex numbers.
Basic language of sets.
Peano Axioms.
Maps between sets. Equivalence and order relations. Quotient set.
Permutations. Decomposition in disjoint cycles, order and sign.
II. Algebraic structures
II.1 Groups and symmetries
Group axioms.
Groups of symmetries.
Abstract groups.
II.2 The ring of integers
Divisibility. Euclid's algorithm.
The notion of ideal.
Greatest Common Divisor and Least Common Multiple.
Prime numbers, prime factorization.
III Basics in analysis
Functions in one real variable.
Graph of a function.
Limits, continuity.
Title | Hours | ECTS | Learning Outcomes |
---|---|---|---|
Type: Directed | |||
Debating the theory | 33 | 1.32 | 4 |
Problem sessions | 16 | 0.64 | 7 |
Type: Supervised | |||
Tutoring | 4.5 | 0.18 | 1, 2, 7 |
Type: Autonomous | |||
Self-study of the theory and preparing exercises | 64 | 2.56 | 1, 2, 3, 6 |
In this course, we will follow the “flipped classroom” approach. Each week students will be provided with a few pages of reading and problems to be thoroughly studied before arriving to class. These pages will be accompanied by a reading guide and questions intended to stimulate the personal reflection of the students. The lecture will be used to understand the key concepts (solving any doubts that may exist), put them into practice through problem solving and analyze their importance or contextualize them. Students are expected to be the main participants in the discussion, while the role of the teacher will be to stimulate this discussion, contribute his experience and knowledge, and suggest possible directions. These discussions are expected to take place in small groups in the classroom and then the progress made will be shared with the whole class.
Annotation: Within the schedule set by the centre or degree programme, 15 minutes of one class will be reserved for students to evaluate their lecturers and their courses or modules through questionnaires.
Title | Weighting | Hours | ECTS | Learning Outcomes |
---|---|---|---|---|
Final exam | 40% | 3 | 0.12 | 2, 4, 7, 3 |
Mid-term exam | 20% | 1.5 | 0.06 | 1, 5, 7, 6 |
Weekly assignment type A | 20% | 14 | 0.56 | 2, 4, 3 |
Weekly assignment type B | 20% | 14 | 0.56 | 1, 5, 7, 6 |
The final grading of this course rests on two types of evaluation. A substantial weight is given to your weekly work and there will be two exams: a mid-term and a final.
Weekly homework is divided into two types of exercices.
Exercices of type A. These will consist in a number of questions about the theroetical concepts and some very basic exercises. They will be due for Wednesday afternoon.
Exercices of type B. These will consist in practice exercises to help fixing the concepts. there will be due Monday at the begining of the class.
Grading
Exercices A). They will be graded weekly, between 0 and 10, there will be only 5 possible gradings: 0, 2.5, 5, 7.5 and 10. I will value the effort put into answering and that you took your work earnestly more than the mere correction of the answer. The average of your answers will give you a grade A.
Exercices B). Again they will be graded weekly between 0 an 10 with only 5 posible grades: 0, 2.5, 5, 7.5 y 10. Here again I will not expect fully answered exercises, I will value the effort you put, the quality of your mathematical writting more that getting the right answer. The average of your handlings will give you a grade B.
The mid-term exam will takje place after we finis the theme II (Set theory). The mid-term exam will give you a grade P and the final exam a grade F. If F is less than 3 you have to take the re-examination.
The final grade will be computed as follows: 0.2*A + 0.2*B + 0.2*P + 0.4*F
A student that does not show-up at the final exam will be considered "No evaluable".
The grading of the re-evaluation substitutes the whole grading of the course. From this re-evaluation you can only get a "Pass" (numerical note 5) or a "Fail". You cannot use this re-evaluation to push-up your final grading.
In the event of a student committing any irregularity that may lead to asignificant variation in the grade awarded to an assessment activity, the student will be given a zero for this activity, regardless of any disciplinary process that may take place. In the event of several irregularities in assessment activities of the same subject, the student will be given a zero as the final grade for this subject.
Repeating Students
Students that repeat the course but can not attend are requiered to upload the exercises A and B as scheduled. They will be given virtual examinations on the same day and hour than the regular examination. The final wheights of the examns will be the same as for the regular examinations.
This course does not allow unique final exam.
You will be provided at the beginning of the course with a copy of An Introduction to Proof via Inquiry-Based Learning from Dana C. Ernst (translated into Spanish by W. Pitsch). This is the only book required for this course.
Complementary material
Carol Schumacher. Chapter Zero: Fundamental Notions of Abstract Mathematics. Boston, MA: Addison-Wesley Longman, 2nd. ed. 2001.
A. D. Aleksandrov; A. N. Kolmogorov; M. A. Laurentiev et al. La Matemática: su contenido, métodos y significado. Versión esp. de Andrés Ruiz Merino. Madrid: Alianza, 1973.
E. Hairer; G. Wanner. Analysis by its History. Berlin: Springer, 2008.
A. Doxiadis; C. H. Papadimitriou; A. Papadatos. Logicomix. Una búsqueda épica de la verdad. Madrid: Ediciones Sinsentido, 2011.
No specific software is required.
Name | Group | Language | Semester | Turn |
---|---|---|---|---|
(PAUL) Classroom practices | 1 | Spanish | first semester | morning-mixed |
(TE) Theory | 1 | Spanish | first semester | morning-mixed |