Kurs:Logik
Dieser Kurs gehört zum Fachbereich Informatik.
Ziel dieses Kurses ist es, die Grundlagen der Formalen Aussagenlogik zu verstehen.
Der Kurs ist so ausgerichtet, dass Beispiele aus verschiedenen Themenbereichen der Informatik (Programmierung; Digitaltechnik) angeführt sind, die mit Aussagenlogik in Zusammenhang stehen. Dies soll dem besseren Verständnis und der praktischen Vorbereitung auf andere Kurse helfen.
In der Lerngruppe kannst du gemeinsam mit Anderen lernen und die gegebenen Aufgaben bearbeiten.
Im Wikibook Logik wird im 1. Kapitel die Aussagenlogik behandelt. Es ist eher für Mathematiker und Philosophen geschrieben, aber insgesamt doch recht lehrreich, allerdings noch ziemlich unvollständig.
Fragen zu Themen aus dem Bereich Informatik kannst du im Kolloquium Informatik stellen.
Dieser Kurs ist eine Einführung in die Formale Aussagenlogik. Hier werden Sie mit den Grundlagen der Aussagenlogik vertraut gemacht, und lernen (hoffentlich) logische Verknüpfungen zu analysieren und zu realisieren. Anhand von Beispielen aus den Bereichen Programmierung und Digitaltechnik soll ein praxisnahes Lernen ermöglicht werden.
Der Kurs besteht aus folgenden Teilen
- Kurs
- Beweise der Gesetze der Aussagenlogik.
- Quiz
- Aufgaben zum Bearbeiten.
- Lösungen der Aufgaben.
- Lerngruppe
Print und Webpublikationen
[Bearbeiten]- Wikibook: Logik - URL: https://de.wikibooks.org/wiki/Logik
- A. Martin-Pizarro (2022) Mathematik Logik - Kurz Script - Universität Freiburg - URL: https://home.mathematik.uni-freiburg.de/loesch/lehre/ss22/MathLogik.pdf
- Thomas Piecha (2015) Einführung in die Logik - Universität Tübingen - URL: https://uni-tuebingen.de/fileadmin/Uni_Tuebingen/Fakultaeten/InfoKogni/WSI/LS/psh/lehre/ws1516/eidl/logik1516.pdf