- 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.
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
- 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 |