Department of Computer Science & Engineering

University of Ioannina

Discrete Mathematics I

Course Feature
Class Description

Course_ID: MYY204

Weekly Hours: 5

Semester: 2

ECTS Credits: 6.5

Course Homepage:

Description: Introduction to mathematical logic: Propositional logic, propositional calculus, formal proofs.

Proof Techniques: Contraposition, contradictions, mathematical induction.

Sets, relations, functions: Set operations and their properties, inclusion-exclusion principle, one-to-one / onto functions. Equivalence relations, order relations, extreme points and bounds. Asymptotic behavior of functions.

Countability: Finite / infinite sets, pigeonhole principle, Russell’s paradox, Cantor’s diagonalization method.

Counting: Addition/multiplication rule, permutations and orderings, balls-into-bins, choice of unordered collections of with/without repetition.

Discrete probability: Discrete sample space, event, conditional probability, Bayes rule, expected value of variable.