Einführung in die Aussagenlogik
Автор: CodingProf
Загружено: 2020-12-08
Просмотров: 3154
Описание:
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
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
