392125 Formale Logik (V) (WiSe 2024/2025)
Inhalt, Kommentar
-
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).
Literaturangaben
-
U. Schöning: Logik für Informatiker
Externe Kommentarseite
Lehrende
Termine ( Kalendersicht )
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Di | 14-16 | 07.10.2024-31.01.2025 |
Fachzuordnungen
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 39-Inf-FL Formal Logic | Formal Logic | Studieninformation | |
| - | unbenotete Prüfungsleistung benotete Prüfungsleistung | Studieninformation | |
| 39-Inf-FL_a Formale Logik | Formale Logik | Studieninformation | |
| - | benotete Prüfungsleistung | Studieninformation | |
| 39-M-Inf-AI-bas Basics of Artificial Intelligence | Basics of Artificial Intelligence: Vorlesung | Studieninformation | |
| - | unbenotete Prüfungsleistung | Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
| Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
|---|---|---|---|---|---|---|---|
| Studieren ab 50 |
Portfolio aus 50% der Übungen und der Klausur am Ende des Semesters.
Kein Lernraum vorhanden
- registrierte Anzahl: 14
- Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
- Adresse:
- WS2024_392125@ekvv.uni-bielefeld.de
- Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmer*innen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen.
- Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_477375000@ekvv.uni-bielefeld.de
- Reichweite:
- 14 Studierende direkt per E-Mail erreichbar
- Hinweise:
- Weitere Hinweise zu den E-Mailverteilern
- Letzte Änderung Grunddaten/Lehrende:
- Montag, 17. Juni 2024
- Letzte Änderung Zeiten:
- Montag, 17. Juni 2024
- Letzte Änderung Räume:
- Montag, 17. Juni 2024
- Art(en) / SWS
- V / 2
- Einrichtung
- Technische Fakultät
- Fragen oder Korrekturen?
- Fragen oder Korrekturwünsche zu dieser Veranstaltung?
- Planungshilfen
- Terminüberschneidungen für diese Veranstaltung
- Link auf diese Veranstaltung
- Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird!
- Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=477375000
- Seite zum Handy schicken
-
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code:
- ID
- 477375000
Zum Seitenanfang