392125 Formale Logik (V) (WiSe 2025/2026)
Contents, comment
-
Es gibt eine Teilnehmerbegrenzung, siehe externe Kommentarseite.
Die Vorlesung wird auf englisch gehalten.
Formal logic appears naturally in several places in computer science. Logic gates are the elementary building blocks of integrated circuits. Proofs of NP-hardness often use reductions to satisfiability of Boolean expressions. Logic provides a concept of computability, and a wealth of problems that cannot be solved algorithmically. Propositional and predicate logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms.
This course provides an introduction to formal Logic. We will get familiar with the important concepts (syntax, semantics, satisfiability, valuation, ...) using propositional logic. Then we delve into first order logic including completeness and Gödel's theorems, as well as study some basic modal logik (especially temporal Logic).
Bibliography
-
U. Schöning: Logik für Informatiker
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 14-16 | 13.10.2025-06.02.2026 |
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 39-Inf-FL Formal Logic | Formal Logic | Student information | |
| - | Ungraded examination Graded examination | Student information | |
| 39-Inf-FL_a Formale Logik | Formale Logik | Student information | |
| - | Graded examination | Student information | |
| 39-M-Inf-AI-bas Basics of Artificial Intelligence | Basics of Artificial Intelligence: Vorlesung | Student information | |
| - | Ungraded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Studieren ab 50 |
Portfolio aus 50% der Übungen und der Klausur am Ende des Semesters.
- Address:
- WS2025_392125@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_564112867@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Tuesday, June 3, 2025
- Last update times:
- Friday, August 1, 2025
- Last update rooms:
- Friday, August 1, 2025
- Type(s) / SWS (hours per week per semester)
- lecture (V) / 2
- Language
- This lecture is taught in english
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=564112867
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 564112867