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 |