CloseHelpPrint
Kies de Nederlandse taal
Course module: 202001234
202001234
Discrete Mathematics
Course info
Course module202001234
Credits (ECTS)3
Course typeStudy Unit
Language of instructionEnglish
Contact persondr. G. Loho
E-mailg.loho@utwente.nl
Lecturer(s)
PreviousNext 4
Lecturer
C.W. Lezane
Examiner
R.F.J. van Lingen
Contactperson for the course
dr. G. Loho
Lecturer
dr. G. Loho
Examiner
dr. G. Loho
Academic year2022
Starting block
1A
RemarksPart of module 5 TCS
Application procedureYou apply via OSIRIS Student
Registration using OSIRISYes
Aims
  • Apply logic and set theory
  • Apply formal concepts of function and operation
  • Understand relations and their properties
Content
This course concerns a continuation of Introduction to Mathematics and Calculus 1A for CS and consists of two parts.

In the first part, we start with logic, where the emphasis is laid on the translation of natural language into logical expressions and the formulation of logical derivations and counterexamples to false statements. Then we consider manipulations of set theoretic operations and formal proofs in set theory.

In the second part, we start by revisiting the technique of mathematical induction. Now more advanced examples are treated than those in the Introduction to Mathematics and Calculus 1A course. Next, the formal concepts of function and operation and their properties are studied (one-to-one, onto, bijective, composition, inverse, preimage, commutativity, associativity, identity element). Finally, we study relations and their properties (reflexivity, (anti-)symmetry, transitivity) and consider representations of relations with matrices and graphs. Special attention is given to partial orders (Hasse diagrams) and equivalence relations (partitions).

 
Module
Module 5
Participating study
Bachelor Technical Computer Science
Required materials
Book
Grimaldi, R.P. (2013) Discrete and Combinatorial Mathematics: An Applied Introduction. Pearson International Edition. 5th edition. ISBN: 9781292022796
Recommended materials
-
Instructional modes
Lectorial

Tests
Exam

CloseHelpPrint
Kies de Nederlandse taal