Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-56-11-K-4

Logic and Verification (Ba-Seminar) (2S, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K 4.0 CP 92 h
2 S Seminar 28 h
(2S) 4.0 CP 28 h 92 h

Basedata

SWS 2S
CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
Level [4] Bachelor (Specialization)
Language [DE] German
Lecturers
Area of study [INF-ALG] Algorithmics and Deduction
Livecycle-State [NORM] Active

Possible Study achievement

  • Verification of study performance: written elaboration and presentation
  • Examination number (Study achievement): 65672 ("Logic and Verification (Seminar)")
  • Details of the examination (type, duration, criteria) will be announced at the beginning of the course.

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

Literature

Will be announced in the preliminary meeting.

Requirements for attendance (informal)

Courses

Requirements for attendance (formal)

None

References to Course [INF-56-11-K-4]

Module Name Context
[INF-56-11-M-4] Logic and Verification (Ba-Seminar) P: Obligatory 2S, 4.0 LP
Course-Pool Name
[INF-Alg_S-KPOOL-7] Seminars of the teaching area Algorithmics and Deduction
[INF-BSc_S-KPOOL-4] Computer Science Seminars on Bachelor Level