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