inf961 - Fundamental Competencies in Computing Science II: Mathematics (Course overview) - Campusmanagementsystem Stud.IP

inf961 - Fundamental Competencies in Computing Science II: Mathematics (Course overview)

Department of Computing Science

6 KP

Module components

Semester courses Wintersemester 2022/2023

Examination

Lecture

2.01.961 - Fundamental Competences in Computing Science II: Mathematics
- Dr. Sandra Stein
Tuesday: 16:15 - 17:45, weekly (from 18/10/22), Location: W01 0-011
Tuesday: 18:15 - 19:45, weekly (from 18/10/22), Location: W01 0-011
Dates on Wednesday, 22.02.2023 12:15 - 13:45, Tuesday, 28.02.2023 10:00 - 12:15, Location: W01 1-117, W01 0-015

Exercises

2.01.961 - Fundamental Competences in Computing Science II: Mathematics
- Dr. Sandra Stein
Tuesday: 16:15 - 17:45, weekly (from 18/10/22), Location: W01 0-011
Tuesday: 18:15 - 19:45, weekly (from 18/10/22), Location: W01 0-011
Dates on Wednesday, 22.02.2023 12:15 - 13:45, Tuesday, 28.02.2023 10:00 - 12:15, Location: W01 1-117, W01 0-015

Hinweise zum Modul

Prerequisites	No participant requirement
Reference text	This course is part of the base curriculum of the MSc program "Engineering of Socio-Technical Systems". It provides students featuring a background in psychology with the fundamental competences in mathematical formalization that are necessary for mastering subsequent courses in computer science. This course is not intended for students with a background in computer science.
Prüfungszeiten	At the end of the lecture periods
Module examination	written exam or oral exam
Skills to be acquired in this module	The courses provide an introduction to the fundamental methods of mathematical formalisation and proof, as well as to the central concepts of graph theory, elementary number theory, and algebra. The selection of topics is based on their particular relevance to computer science and related disciplines. Within the curriculum of the MSc EngSTS, this course provides students featuring a BSc in psychology or related subjects with the skills in mathematical formalization that are necessary for mastering subsequent courses in computer science. Professional competences The students get acquainted with the formalisms and reasoning underlying modern mathematics, and they are able to apply these to concrete problems understand the central concepts and methods of graph theory, elementary number theory, and algebra relevant to computer science and related disciplines Methodological competences The students are able to apply fundamental methods of mathematical formalisation and reasoning to concrete problems are able to retrieve the verdicts originating from such formal reasoning and to interpret them in terms of the original, informal problem description. Social competences The students are able to explain mathematical formalizations to each other and to discuss their justification Self-competences The students are able to reflect appropriateness of their formalisation and verification attempts