Discrete Mathematics

Here you can find some material of the subject of Discrete Mathematics in the Degree of Computer Science at the ETS de Ingeniería Informática.

Slides

  1. Logic
    1. Propositional logic (Introduction – Basic concepts – Propositional forms algebra – Inference)
    2. Predicate logic (Predicate calculus – Quantifiers – Mathematical proofs)
  2. Sets and relations
    1. Sets and correspondences (Sets – Venn diagrams – Operations. Coverings and partitions – Correspondences)
    2. Relations (Binary relations – Operations with relations – Binary relations on a set – Binary relations of order – Equivalence relations)
    3. Divisibility (Divisibility – Euclidean division – Modular arithmetics – Congruence equations)
  3. Boole algebras
  4. Combinatorics

Exercises

  1. Exercises of logic (propositional and predicate)
  2. Exercises of sets and relations: Sets and correspondencesRelationsDivisibility
  3. Exercises of Boole algebras
  4. Exercises of Combinatorics