Universidad de Jaén

Our goal in this course is to build skills and give you experience in areas such as Mathematical Reasoning (ability used by a computer engineer in constructing proofs and in writing programs), Discrete Structures (abstrac mathematical structures used to represent discrete objects and relationships between them) and Algorithmic Thinking (some problems are solved by the specification of an algorithm that can be implemented in a program). Topics covered in the course include propositional logic, proof techniques, sets and relations, algebraic structures used by computer scientists such as lattices and Boolean algebras, the integers, Euclidean algorithm, modular arithmetic, systems of congruences and computational complexity. In practical classes we solve exercises and use the software Mathematica in order to solve problems related to all the topics previously develops in the course.

Lecture (Theory)- 2 hours per week: Lectures will be given in Spanish to quite large audiences. The lecturer makes their notes available online after a lecture through his institutional web which can help to supplement the notes you take during the class. You have to attend lectures in order to make better use of the course. Lecture (Practice)- 2 hours per week: Lectures will be given in Spanish to small groups. In labs, you may be asked to work individuals. In most cases, you'll be asked to 'write up' your work and this will be assessed with the mark contributing to your overall exam result. You have to attend your practical classes in order to make better use of the course. Seminars/ tutorials - 1 hour per week: They are setting aside for exchange international students and you have to attend in order to solve your difficulties related to the course. Homework - 6 hours per week.

Students with special educational needs should contact the Student Attention Service (Servicio de Atención y Ayudas al Estudiante) in order to receive the appropriate academic support

Exam paper combined with a presentation of the solution of some problems with the software Mathematica. It is possible some form of continuous assessment of exchange students, that is, marks obtained for essays and laboratory work during the course can be taken into account when deciding the final mark.