![]() |
Educational guide | |||||||||||||||||||||||||||||||||||||||
IDENTIFYING DATA | 2024_25 | |||||||||||||||||||||||||||||||||||||||
Subject | MATEMÁTICA FINITA I | Code | 00717002 | |||||||||||||||||||||||||||||||||||||
Study programme |
|
|||||||||||||||||||||||||||||||||||||||
Descriptors | Credit. | Type | Year | Period | ||||||||||||||||||||||||||||||||||||
6 | Basic Training | First | First |
|||||||||||||||||||||||||||||||||||||
Language |
|
|||||||||||||||||||||||||||||||||||||||
Prerequisites | ||||||||||||||||||||||||||||||||||||||||
Department | MATEMATICAS |
|||||||||||||||||||||||||||||||||||||||
Coordinador |
|
asaes@unileon.es mmlopc@unileon.es |
||||||||||||||||||||||||||||||||||||||
Lecturers |
|
|||||||||||||||||||||||||||||||||||||||
Web | http:// | |||||||||||||||||||||||||||||||||||||||
General description | ||||||||||||||||||||||||||||||||||||||||
Tribunales de Revisión |
|
|||||||||||||||||||||||||||||||||||||||
Competencias |
Code | |
A18974 | |
B5800 | |
B5806 | |
B5807 | |
B5808 | |
C1 | CMECES1 That students have demonstrated possession and understanding of knowledge in an area of study that is based on general secondary education, and is usually found at a level that, although supported by advanced textbooks, also includes some aspects that involve knowledge from the cutting edge of their field of study |
C4 | CMECES4 That students can transmit information, ideas, problems and solutions to both a specialised and non-specialised audience |
Learning aims |
Competences | |||
A18974 |
B5806 B5807 B5808 |
C4 |
|
A18974 |
B5800 B5806 |
C1 |
|
A18974 |
B5800 B5806 |
C1 |
|
A18974 |
B5800 |
Contents |
Topic | Sub-topic |
Part I. Logic | Logic and deductive reasoning. Proof techniques. |
Part II. Sets | Set theory. Correspondences, maps and relations. |
Part III. Induction and recursion | Induction and recursion. Proofs by induction. Recurrence relations. |
Part IV. Modular arithmetic | Modular arithmetic. Modular inverses. Modular exponentiation. Congruence equations. |
Part V. Decidability and completeness | Introduction to formal languages and proofs. Decidability and completeness. |
Planning |
Methodologies :: Tests | |||||||||
Class hours | Hours outside the classroom | Total hours | |||||||
Personal tuition | 0.5 | 1 | 1.5 | ||||||
Problem solving, classroom exercises | 30 | 40.5 | 70.5 | ||||||
Lecture | 24 | 30 | 54 | ||||||
Mixed tests | 6 | 18 | 24 | ||||||
(*)The information in the planning table is for guidance only and does not take into account the heterogeneity of the students. |
Methodologies |
Description | |
Personal tuition | Solving doubts prior to the exams. Individual or small group attention during office hours. Classical expository lectures. |
Problem solving, classroom exercises | Solving problems and exercises in the classroom |
Lecture | Classical expository lectures. |
Personalized attention |
|
|
Assessment |
Description | Qualification | ||
Mixed tests | Two individual tests, written and of practical nature, each worth 45% of the total grade. To be evaluated: correct writing, obtained results, and rigurous justification of all the steps in the solutions. There is no final exam. Tests may be re-evaluated in the second call. | 90% | |
Others | Works, assignments and online questionnaries will be evaluated. These activities are not re-evaluated in the second call. | 10% | |
Other comments and second call | |||
In all tests: the use of mobile phones and other electronic devices is strictly forbidden, and will result in grade zero. Only the material specifically allowed by the instructors may be used. Second call. Students may choose between these two options: - maintain/preserve the grades obtained in all works and assignments (10%) and repeat one or both written tests. If either of the parts is not repeated in the second call, the grade corresponding to that part obtained in the first call will be maintained in the second call. - remove/withdraw all works and assigments from the calculation of the final grade, in this case each of the written tests will be worth 50%. |
Sources of information |
Access to Recommended Bibliography in the Catalog ULE |
Basic |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Complementary |
![]() ![]() |
Recommendations |