View
Tube
search
Sign in
Sign up
Subscriptions
NLogSpace
Logik
34,950 views
33 items
Last updated on Aug 15, 2021
public playlist
NLogSpace
7:00
Einführung in die Logik
NLogSpace
13:34
Aussagenlogik #1 - Einführung
NLogSpace
13:32
Aussagenlogik #2 - Syntax und Semantik
NLogSpace
11:26
Aussagenlogik #3 - Implikation und Äquivalenz
NLogSpace
1:43
Aussagenlogik #4 - ILTIS
NLogSpace
4:51
Aussagenlogik #5 - Top und Bottom
NLogSpace
11:13
Aussagenlogik #6 - Äquivalenz von Formeln
NLogSpace
7:27
Aussagenlogik #7 - Negationsnormalform (NNF)
NLogSpace
8:30
Aussagenlogik #8 - Disjunktive Normalform (DNF)
NLogSpace
5:49
Aussagenlogik #9 - Konjunktive Normalform (KNF)
NLogSpace
4:19
Aussagenlogik #10 - Dualität
NLogSpace
17:10
Aussagenlogik #11 - Modellierung
NLogSpace
9:34
Aussagenlogik #12 - Erfüllbarkeit und Gültigkeit
NLogSpace
9:41
Aussagenlogik #13 - SAT
NLogSpace
13:37
Aussagenlogik #14 - SAT ≤ 3SAT
NLogSpace
10:58
Aussagenlogik #15 - Resolution
NLogSpace
12:36
Aussagenlogik #16 - Resolutionssatz
NLogSpace
11:50
Aussagenlogik #17 - Resolution Laufzeit
NLogSpace
15:20
Aussagenlogik #18 - Horn-SAT
NLogSpace
16:24
Aussagenlogik #19 - 2SAT
NLogSpace
12:41
Aussagenlogik #20 - Funktionale Vollständigkeit
NLogSpace
14:57
Logik erster Stufe #1 - Motivation und Beispiele
NLogSpace
11:16
Logik erster Stufe #2 - Relationale Strukturen
NLogSpace
24:46
Logik erster Stufe #3 - Syntax und Semantik
NLogSpace
19:05
Logik erster Stufe #4 - Beispiele
NLogSpace
15:57
Logik erster Stufe #5 - Funktionen und Konstanten
NLogSpace
18:22
Logik erster Stufe #6 - Äquivalenzen
NLogSpace
12:05
Logik erster Stufe #7 - Normalformen
NLogSpace
12:10
Logik erster Stufe #8 - Ausdrucksstärke
NLogSpace
10:51
Logik erster Stufe #9 - Isomorphie
NLogSpace
19:04
Logik erster Stufe #10 - Ehrenfeucht-Fraïssé-Spiele
NLogSpace
23:18
Logik erster Stufe #11 - Satz von Ehrenfeucht
NLogSpace
24:49
Logik erster Stufe #12 - Nicht-Ausdrückbarkeit