Einführung in die Aussagenlogik

Programme treffen Entscheidungen in Abhängigkeit von Eingabedaten. Die Aussagelogik ist die Grundlage dieser Entscheidungen und wird in diesem Video beschrieben. Folien: https://codingprof.hs-rw.de/files/yt/... Video der Vorlesung "Grundlagen der Informatik und Programmierung" an der Hochschule Ruhr West im Wintersemester 2020/21. Produziert von Prof. Dr. Malte Weiß Schnitt: Robert Daniel Intro/Musik: Tom Staab 00:00 Intro 00:24 Aussagelogik 01:14 Elementaraussagen 02:37 Zusammengestezte Aussagen 04:23 Operatoren 15:48 Bindungshierachie der Junktoren 17:23 Umgangssprache zu Aussagenlogische Struktur 21:18 Erfüllbarkeit 24:09 Nachweis der Erfüllbarkeit durch Wahrheitstabellen 25:36 Allgemeingültigkeit 26:33 Äquivalenz von Aussagen