Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-82-51-M-2

Formal Foundations of Computer Science (M, 14.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-82-51-M-2 Formal Foundations of Computer Science 14.0 CP (420 h)

Basedata

CP, Effort 14.0 CP = 420 h
Position of the semester 2 Sem. from WiSe/SuSe
Level [2] Bachelor (Fundamentals)
Language [DE] German
Module Manager
Lecturers
Area of study [INF-LA] Teacher Education
Reference course of study [INF-31.79-SG] B.Ed. LaGR Computer Science
Livecycle-State [NORM] Active

Courses

Type/SWS Course Number Title Choice in
Module-Part
Presence-Time /
Self-Study
SL SL is
required for exa.
PL CP Sem.
4V+2U MAT-02-11-K-1
Mathematics for Computer Science Students: Algebraic Structures
P 84 h 156 h
U-Schein
ja PL1 8.0 WiSe/SuSe
3V+2U INF-02-05-K-2
Logic and Semantics of Programming Languages
P 70 h 110 h
U-Schein
ja PL2 6.0 WiSe
  • About [MAT-02-11-K-1]: Title: "Mathematics for Computer Science Students: Algebraic Structures"; Presence-Time: 84 h; Self-Study: 156 h
  • About [MAT-02-11-K-1]: The study achievement [U-Schein] proof of successful participation in the exercise classes (ungraded) must be obtained. It is a prerequisite for the examination for PL1.
  • About [INF-02-05-K-2]: Title: "Logic and Semantics of Programming Languages"; Presence-Time: 70 h; Self-Study: 110 h
  • About [INF-02-05-K-2]: The study achievement [U-Schein] proof of successful participation in the exercise classes (ungraded) must be obtained. It is a prerequisite for the examination for PL2.

Examination achievement PL1

  • Form of examination: written exam (Klausur) (120-150 Min.)
  • Examination Frequency: each semester

Examination achievement PL2

  • Form of examination: written exam (Klausur) (90-120 Min.)
  • Examination Frequency: each semester

Evaluation of grades

All partial module examinations have to be passed. The module grade is the weighted average of the partial examination grades according to the following weights:

weighted by credit points

Contents

  • Basics of formal thinking: proving and justifying
  • Basics of formalization: logic and set theory
  • Logic: propositional logic and predicate logic, calculi, applications
  • Set theory: set operations, relations, functions
  • Basic algebraic concepts

Competencies / intended learning achievements

The students
  • can cope with essential mathematical thinking as the foundations of computer science
  • can formally define, argue, and basically model
  • can independently conduct simple proofs (including induction proofs);
  • understand logic as the basis of correct programming;
  • understand algebraic thinking as the formal basis of data structures.

Literature

  • G. Fischer: Lineare Algebra,
  • S. Bosch: Lineare Algebra,
  • K. Jänich: Linear Algebra,
  • J. Böhm: Grundlagen der Algebra und Zahlentheorie,
  • B. Kreußler, G. Pfister: Mathematik für Informatiker: Algebra, Analysis, Diskrete Strukturen,
  • V. Shoup: A Computational Introduction to Number Theory and Algebra.
  • Sperschneider, Antoniou: Logic - A Foundation for Computer Science, Addison Wesley.
  • Nissanke: Introductory Logic and Sets for Computer Scientists, Addison Wesley.
  • Kreuzer, Kühling: Logik für Informatiker, Pearson Studium.

Requirements for attendance (informal)

None

Requirements for attendance (formal)

None

References to Module / Module Number [INF-82-51-M-2]

Course of Study Section Choice/Obligation
[INF-31.79-SG] B.Ed. LaGR Computer Science Study entry modules [P] Compulsory
[INF-47.C59-SG] B.Ed. LaBBS Computer Science (Informationstechnik/Informatik) Study entry modules [P] Compulsory
[INF-B5.79-SG] ZEP LaBBS Computer Science Certificate course of studies [P] Compulsory
[INF-B4.79-SG] ZEP LaG Computer Science Certificate course of studies [P] Compulsory
[INF-B2.?-SG] ZEP LaRSP Computer Science Certificate course of studies [P] Compulsory
[INF-B5.C59-SG] ZEP LaBBS Computer Science (Informationstechnik/Informatik) Certificate course of studies [P] Compulsory