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	Schürmann, Bernd, PD Dr.-Ing. (WMA \| DEPT: INF, GS)
Lecturers	Lin, Anthony, Prof. Dr. (PROF \| DEPT: INF) Schulze, Mathias, Prof. Dr. (PROF \| DEPT: MAT) Böhm, Janko, Dr. (WMA \| DEPT: MAT) Kunte, Michael, Dr. (WMA \| DEPT: MAT)
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

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

From [MAT-02-11-K-1] Mathematics for Computer Science Students: Algebraic Structures:

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.

From [INF-02-05-K-2] Logic and Semantics of Programming Languages:

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 of the module (informal)

None

Notice: Some Courses have informal requirements for attendance:
- #A: [MAT-02-11-K-1] Mathematics for Computer Science Students: Algebraic Structures (4V+2U, 8.0 LP) (P: Obligatory)
- #A: [INF-02-05-K-2] Logic and Semantics of Programming Languages (3V+2U, 6.0 LP) (P: Obligatory)

Requirements for attendance of the module (formal)