Math for Computer Scientists 1 (MA1)
1. Semester
5 ECTS | 4 SWS
Written Exam 90 Minutes (K90)
Think logically and systematically: You will learn set theory, relations, functions, and logic, apply proof techniques, and use graph theory to reason mathematically and solve simple computer science problems in a structured manner.
Contents
- Set Theory
- Relations
- Functions
- Propositional Logic
- Proof Techniques
- Fundamentals of Graph Theory
Competencies
Students are able to
- understand and use mathematical notation.
- understand and apply mathematical reasoning.
- independently solve basic mathematical problems.
Literature
- A. Beutelspacher, M.-A. Zschiegner; Diskrete Mathematik für Einsteiger; Vieweg 2002
- U. Knauer; Diskrete Strukturen – kurz gefasst; Spektrum Verlag 2001
- P. Hartmann, Mathematik für Informatiker: Ein praxisbezogenes Lehrbuch, Vieweg Teubner, 2012
Lecturer
- Prof. Dr. Elena Fimmel
- Prof. Dr. Miriam Föller-Nord
- Prof. Dr. Lutz Strüngmann
Recommended Previous Knowledge
Module Details
| Semester |
1 |
| Lecture Language |
German |
|
Frequency
|
Every Term
|
| Credit Points (ECTS)
|
5 |
| Course Coordinator |
Prof. Dr. Elena Fimmel |
| Duration |
1 Semester |
|
Course Achievement
|
None |
|
Prerequisite for exam
|
None |
|
Exam
|
Written Exam 90 Minutes (K90) |
Weekly Hours (SWS)
| Lecture |
3 SWS |
| Exercises |
1 SWS |
| Sum |
4 SWS |
Work Load
| Lecture |
45 h |
| Self Study |
60 h |
| Assignments |
15 h |
| Exam Preparation |
30 h |
| Sum |
150 h |
