SluitenHelpPrint
Switch to English
Cursus: 202001184
202001184
Discrete Mathematics + Introduction to Mathematics
Cursus informatie
Cursus202001184
Studiepunten (ECTS)4
CursustypeCursus
VoertaalEngels
Contactpersoondr. L. Pehlivan
E-maill.pehlivan@utwente.nl
Docenten
Contactpersoon van de cursus
dr. L. Pehlivan
Docent
dr. L. Pehlivan
Examinator
dr. L. Pehlivan
Collegejaar2021
Aanvangsblok
1B
OpmerkingOnly premaster students CS can register for this code
Aanmeldingsprocedure-
Inschrijven via OSIRISJa
Cursusdoelen
  • Apply logic and set theory
  • Apply formal concepts of function and operation
  • Understand relations and their properties
Inhoud
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).
 
Participating study
Bachelor Applied Mathematics
Participating study
Bachelor Technical Computer Science
Participating study
Bachelor Creative Technology
Verplicht materiaal
Book
Grimaldi, R.P. (2013) Discrete and Combinatorial Mathematics: An Applied Introduction. Pearson International Edition. 5th edition. ISBN: 9781292022796.
Aanbevolen materiaal
-
Werkvormen
Colstructie
AanwezigheidsplichtJa

Toetsen
Exam

SluitenHelpPrint
Switch to English