htw saar QR-encoded URL
Back to Main Page Choose Module Version:
emphasize objectives XML-Code

flag


Mathematics 1

Module name (EN):
Name of module in study programme. It should be precise and clear.
Mathematics 1
Degree programme:
Study Programme with validity of corresponding study regulations containing this module.
Production Informatics, Bachelor, ASPO 01.10.2023
Module code: PRI-MAT1
SAP-Submodule-No.:
The exam administration creates a SAP-Submodule-No for every exam type in every module. The SAP-Submodule-No is equal for the same module in different study programs.
P221-0001
Hours per semester week / Teaching method:
The count of hours per week is a combination of lecture (V for German Vorlesung), exercise (U for Übung), practice (P) oder project (PA). For example a course of the form 2V+2U has 2 hours of lecture and 2 hours of exercise per week.
4V+2U (6 hours per week)
ECTS credits:
European Credit Transfer System. Points for successful completion of a course. Each ECTS point represents a workload of 30 hours.
7
Semester: 1
Mandatory course: yes
Language of instruction:
German
Assessment:
Written exam

[updated 19.02.2018]
Applicability / Curricular relevance:
All study programs (with year of the version of study regulations) containing the course.

KIB-MAT1 (P221-0001) Computer Science and Communication Systems, Bachelor, ASPO 01.10.2021 , semester 1, mandatory course
KIB-MAT1 (P221-0001) Computer Science and Communication Systems, Bachelor, ASPO 01.10.2022 , semester 1, mandatory course
PIB-MA1 (P221-0001) Applied Informatics, Bachelor, ASPO 01.10.2022 , semester 1, mandatory course
PRI-MAT1 (P221-0001) Production Informatics, Bachelor, ASPO 01.10.2023 , semester 1, mandatory course
Workload:
Workload of student for successfully completing the course. Each ECTS credit represents 30 working hours. These are the combined effort of face-to-face time, post-processing the subject of the lecture, exercises and preparation for the exam.

The total workload is distributed on the semester (01.04.-30.09. during the summer term, 01.10.-31.03. during the winter term).
90 class hours (= 67.5 clock hours) over a 15-week period.
The total student study time is 210 hours (equivalent to 7 ECTS credits).
There are therefore 142.5 hours available for class preparation and follow-up work and exam preparation.
Recommended prerequisites (modules):
None.
Recommended as prerequisite for:
Module coordinator:
Prof. Dr. Peter Birkner
Lecturer: Prof. Dr. Peter Birkner

[updated 07.08.2019]
Learning outcomes:
Students will learn basic mathematical concepts from the areas of predictive logic, sets and figures and   
  be able to use them confidently when formulating mathematical statements.
Students will be able to reproduce basic formulas from the field of combinatorics and use these to develop solutions
  for combinatoric problems.
They will be capable of explaining the mathematical proof concepts of direct proof, indirect proof and complete induction and thus,
  come up with new evidence.
They will be able to enumerate the axioms of the algebraic structures group, ring and field and
  check the corresponding properties for structures with given operations.
Students will learn the terms and statements of group theory and be able to identify them in examples of groups,
  such as (Z/mZ, +) and ((Z/pZ)\{0}, *).
They will be able to explain vector space axioms and demonstrate them in Euclidean space.
Students will be able to develop solutions in Euclidean space for geometrical problems using vector algebra, the dot product,
  the vector product and the triple product.
They will be able to explain basic concepts of the theory of n-dimensional vector spaces.
They will have mastered elementary matrix calculation rules and determinant calculation rules and learn how linear images
  can be represented and handled using matrices.
Students will be able to demonstrate how to solve a linear system and learn to master the Gauss algorithm
  as a method for solving linear systems.
Finally, students will gain an insight into the manifold applications of mathematics in computer science (the development of programming languages,
  program verification, digital technology, computing accuracy on computers, cryptography, computer graphics_).  


[updated 19.02.2018]
Module content:
Basic mathematical terms
  Propositional logic, first-order logic, sets, especially uncountably infinite sets
  Relations, especially equivalence relations, partitions, functions
Algebraic structures
  Semigroups, monoids
  Groups, subgroups, normal subgroups, quotient groups, homomorphisms
  Rings, fields, in particular Z/mZ
Natural numbers, mathematical induction, recursion
  Peano axioms
  Mathematical induction
  Recursive definitions
  Binominal coefficients and binomial formulae
  Basic concepts of combinatorics (with quantitative considerations)
Elementary vector calculation in Euclidean space
  Vector algebra, linear independence, dimension
  Vectors in coordinate systems, dot product, vector product, triple product
  Geometric applications
Vectors in n-dimensional space
  Generating sets, basis, subspaces
  Linear functions, image space, core
  Representation of linear functions with matrices
  Geometric applications: projections, reflections, rotations
Matrices and linear systems
  Linear systems, Gaussian elimination
  Square matrices, matrix inversion, determinants, Cramer´s rule


[updated 26.02.2018]
Teaching methods/Media:
Lecture. An exercise sheet will be distributed every week and then discussed in small groups the following week. In addition, a tutorial will be available for work in small groups. This is voluntary. In the tutorials, students will be able work on exercises themselves (with support from the tutor, if necessary) and ask questions about the lecture material. The tutorial can also be used to fill knowledge gaps.  

[updated 26.02.2018]
Recommended or required reading:
- P. Hartmann, Mathematik für Informatiker (Vieweg); can be downloaded via OPAC as a PDF.
- M. Brill, Mathematik für Informatiker (Hanser).

[updated 26.02.2018]
[Mon Oct 14 09:55:34 CEST 2024, CKEY=km1, BKEY=pri, CID=PRI-MAT1, LANGUAGE=en, DATE=14.10.2024]