Sluiten Help Print
 Cursus: 202001234
 202001234Discrete Mathematics
 Cursus informatie
Cursus202001234
Studiepunten (ECTS)3
CursustypeOnderwijseenheid
VoertaalEngels
Contactpersoondr. G. Loho
E-mailg.loho@utwente.nl
Docenten
 Vorige 1-5 van 96-9 van 9 Volgende 4
 Docent C.W. Lezane Examinator R.F.J. van Lingen Examinator dr. G. Loho Contactpersoon van de cursus dr. G. Loho Docent dr. G. Loho
Collegejaar2022
Aanvangsblok
 1A
OpmerkingPart of module 5 TCS
AanmeldingsprocedureZelf aanmelden via OSIRIS Student
Inschrijven via OSIRISJa
 Cursusdoelen
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } Apply logic and set theory Apply formal concepts of function and operation Understand relations and their properties
 Inhoud
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } 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 Technical Computer Science
 Module
 Module 5
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
Toetsen
 Exam
 Sluiten Help Print