Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-56-11-M-4

Logic and Verification (Ba-Seminar) (M, 4.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-56-11-M-4 Logic and Verification (Ba-Seminar) 4.0 CP (120 h)


CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [4] Bachelor (Specialization)
Language [DE] German
Module Manager
Area of study [INF-ALG] Algorithmics and Deduction
Reference course of study [INF-82.79-SG] B.Sc. Computer Science
Livecycle-State [NORM] Active


Type/SWS Course Number Title Choice in
Presence-Time /
SL SL is
required for exa.
PL CP Sem.
2S INF-56-11-K-4
Logic and Verification (Ba-Seminar)
P 28 h 92 h
- no 4.0 irreg.
  • About [INF-56-11-K-4]: Title: "Logic and Verification (Ba-Seminar)"; Presence-Time: 28 h; Self-Study: 92 h
  • About [INF-56-11-K-4]: The study achievement "[AUSARB_P] written elaboration and presentation" must be obtained.

Evaluation of grades

The module is not graded (only study achievements)..


Selected topics from logic and verification, for example:
  • Semantics of imperative programming languages
  • Special specification techniques
  • Algorithmic problems in the field of verification
  • Operationalization of formal specification techniques

Competencies / intended learning achievements

  • Ability to familiarize with a special topic in the field of specification or verification (original literature, journals)
  • Ability to present a specific topic in a comprehensible way using electronic media
  • Ability for technical discussion


Will be announced in the preliminary meeting.

Requirements for attendance of the module (informal)


Requirements for attendance of the module (formal)


References to Module / Module Number [INF-56-11-M-4]