Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course-Pool INF-Alg_S-KPOOL-7

Seminars of the teaching area Algorithmics and Deduction ([4.0] CP)

Basedata

CP [4.0] CP
Level [7] Master (Advanced)
Area of study [INF-ALG] Algorithmics and Deduction
Livecycle-State [NORM] Active

Courses in the Pool

Number Name Type/SWS Semester orientation CP
Area of study Algorithmics and Deduction
INF-54-11-K-4
Algorithmics (Ba-Seminar)
(2S) WiSe/SuSe 4.0 CP
INF-54-72-K-7
Specific Algorithms (Seminar)
(2S) irreg. 4.0 CP
INF-56-11-K-4
Logic and Verification (Ba-Seminar)
(2S) irreg. 4.0 CP
INF-56-72-K-7
Logic and Verification (Seminar)
(2S) irreg. 4.0 CP

References to Course Pool [INF-Alg_S-KPOOL-7]

Module Name Context CP
[INF-82-62-M-6] Specialization Area W: Optional in Obligation to choose-Modulteil #A (Algorithmics and Deduction) [4.0]