392125 Formale Logik (V) (WiSe 2023/2024)
Contents, comment
-
Es gibt eine Teilnehmerbegrenzung, siehe externe Kommentarseite.
Die Vorlesung wird auf deutsch gehalten.
Formale Logik findet sich in vielen Teilen der Informatik. Logische Schaltkreise sind die Grundbausteine integrierter Schaltkreise. Beweise der NP-Vollständigkeit basieren oft auf Reduktion auf Probleme der Erfüllbarkeit aussagenlogischer Formeln (3SAT). Formale Logik bietet Definitionen des Konzept "Berechenbarkeit" und ist eine reiche Quelle für Probleme, die nicht algorithmisch gelöst werden können. Aussagenlogik, Prädikatenlogik und temporale Logic werden zur Verifikation der Korrektheit von Algorithmen oder Programmen genutzt.
Diese Vorlesung bietet eine Einführung in formale Logik. Die Grundlagen (Formel, Erfüllbarkeit, Belegung, ...) werden anhand der Aussagenlogik erläutert. Dann widmen wir uns zentralen Konzepten der Prädikatenlogik, bis hin zur Vollständigkeit und den Gödelschen Sätzen, sowie der modalen Logik (temporale Logik).
Bibliography
-
U. Schöning: Logik für Informatiker
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period |
|---|
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.
- Registered number: 83
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- eKVV participant management:
- eKVV participant management is used for this course.
- Show details
- Address:
- WS2023_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_423397699@ekvv.uni-bielefeld.de
- Coverage:
- 83 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Email archive
- Number of entries 3
- Open email archive
- Last update basic details/teaching staff:
- Friday, October 13, 2023
- Last update times:
- Tuesday, August 15, 2023
- Last update rooms:
- Tuesday, August 15, 2023
- Type(s) / SWS (hours per week per semester)
- V / 2
- 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=423397699
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 423397699