30208 - Discrete mathematics
110 - Escuela de Ingeniería y Arquitectura
326 - Escuela Universitaria Politécnica de Teruel
439 - Bachelor's Degree in Informatics Engineering
443 - Bachelor's Degree in Informatics Engineering
Connectives, truth tables, logical equivalence, tautologies, valid and invalid arguments, introduction to predicate logic.
2. Number theory
Principle of induction, Euclidean division, Euclidean algorithm, Bézout's identity, fundamental theorem of arithmetic, congruences, Chinese remainder theorem, modular binary exponentiation, Fermat's little theorem, Euler's theorem, RSA.
Permutations, combinations, rule of sum, rule of product, binomial coefficients, pigeonhole principle, inclusion-exclusion principle, recurrence relations.
4. Graph theory
Basic concepts, Eulerian graphs, Hamiltonian graphs, matrix representations of graphs, isomorphisms of graphs, trees, Kruskal's algorithm, Prim's algorithm, Dijkstra's algorithm.
5.4. Course planning and calendar
The amount of time required to obtain the expected learning outcomes is estimated at 150 hours, distributed as follows:
- 45 hours of lectures (3 hours per week)
- 12 hours of computer lab sessions (6 sessions of 2 hours each)
- 90 hours of independent learning
- 3 hours of final written exam
The schedule of the face-to-face classroom sessions is set by the institution, and can be found in its webpage. Dates for the assessment tests will be announced well in advance.