Workload:
180 h
|
Module Number INF3483 |
Module Title Introduction to Logic |
Type of Module Elective Compulsory |
|---|---|---|
| ECTS | 6 | |
|
Work load - Contact time - Self study |
Workload:
180 h Class time:
60 h / 4 SWS Self study:
120 h |
|
| Duration | 1 Semester | |
| Frequency | In the summer semester | |
| Language of instruction | German | |
| Type of Exam | Written Test |
|
| Lecture type(s) | Lecture, Tutorial | |
| Content | Elementary basics of logic are presented. This includes the syntax and semantics of propositional and first-order logic, normal forms, and logical calculi such as the resolution calculus and the calculus of natural deduction. |
|
| Objectives | Acquisition of basic logical skills that are essential for computer science. |
|
| Allocation of credits / grading |
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%) |
|
| Prerequisite for participation | There are no specific prerequisites. | |
| Lecturer / Other | Piecha | |
| Literature | Literatur: siehe Homepage des jeweiligen Veranstalters. Hinweis: Diese Veranstaltung entspricht der früheren Veranstaltung INF2620 (Pflicht für Studierende des B.Sc. Informatik nach PO 2015 Pflicht; zu belegen im Modul "Logik & Proseminar (übK)" [INFM2620]). |
|
| Last offered | unknown | |
| Planned for | Sommersemester 2024 | |
| Assigned Study Areas | BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210, MEINFM3220 | |