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)

Basedata

CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [4] Bachelor (Specialization)
Language [DE] German
Module Manager
Lecturers
Area of study [INF-ALG] Algorithmics and Deduction
Reference course of study [INF-82.79-SG] B.Sc. 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.
2S INF-56-11-K-4
Logic and Verification (Ba-Seminar)
P 28 h 92 h
AUSARB_P
- 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)..


Contents

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

Literature

Will be announced in the preliminary meeting.

Requirements for attendance of the module (informal)

None

Requirements for attendance of the module (formal)

None

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