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
▶︎
Logik in C
▶︎
Boolesche Algebra
▶︎
Aussagenlogik 1: Junktoren
▶︎
Vigorous Calculus Puzzle | Minimum Distance With Obstacle Problem | Can You Solve It?
▶︎
Vorstudium Mathematik – Vorlesung 1 – Einführung & Aussagenlogik
▶︎
Aussagenlogik
▶︎
God Says:"TAKE THIS MESSAGE SERIOUSLY, BECAUSE ONLY YOU ARE SEEING IT"/God Message Now/God Message
▶︎
Aussagenlogik Übersicht, Konjunktion, Disjunktion, Äquivalenz, Verneinung, Implikation | Daniel Jung
▶︎
Einführung in die Logik, 1. Vorl., Teil I
▶︎
Unimathe: Aussagenlogik #1 | Einführung / Grundlagen / Basics | Beispiele und Übungsaufgaben
▶︎
Einführung - Was ist Informatik?
▶︎
Prädikatenlogik: Syntax
▶︎
Philosophie der Aussagenlogik 1: Aussagen
▶︎
Logik (Teil 1): Aussagenlogik, Junktoren, Wahrheitswertetabelle | Vorkurs Mathematik für Studenten
▶︎
Die Zombie-Simulation, die niemand erklären kann
▶︎
Implikation und Äquivalenz
▶︎
Prädikatenlogik
▶︎