Kurs:Logik

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Dieser Kurs gehört zum Fachbereich Informatik.

Ziele

Ziel dieses Kurses ist es, die Grundlagen der Formalen Aussagenlogik zu verstehen.

Methodik

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.

Lerngruppe

In der Lerngruppe kannst du gemeinsam mit Anderen lernen und die gegebenen Aufgaben bearbeiten.

Materialien

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.

Kolloquium

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


Print und Webpublikationen[Bearbeiten]

..TODO..