Sign up to save your podcasts
Or
Share 16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018
16 |
0:00:00 Start
0:00:05 Allgemeingültige Formeln
0:05:40 Vorkommen von Variablensymbolen in Formeln
0:07:33 freie und gebundene Vorkommen von Variablensymbolen
0:16:46 Substitutionen
0:30:50 Kollisionsfreie Substitutionen für Formeln
0:33:12 Logisch äquivalente Formeln
0:40:29 Weitere allgemeingültige Formeln
0:41:18 Großzügige Benutzung von Prädikatenlogik
0:44:02 Zusammenfassung
0:44:18 Übung 8: Prädikatenlogik
0:45:01 Prädikatenlogik: Syntax
0:48:48 Prädikatenlogik: Semantik
0:53:11 Formulierungen in Prädikatenlogik
0:57:52 Totalität und Eindeutigkeit
1:00:18 Logische Äquivalenz
1:06:33 Allgemeingültig- und Erfüllbarkeit
1:11:21 Trinker-Paradoxon
1:15:04 Beispiel unerfüllbar
1:17:23 Substitutionen
1:19:58 Kollisionen
1:22:44 Gebundene Umbenennung
View all episodes
By Karlsruher Institut für Technologie (KIT)16 |
0:00:00 Start
0:00:05 Allgemeingültige Formeln
0:05:40 Vorkommen von Variablensymbolen in Formeln
0:07:33 freie und gebundene Vorkommen von Variablensymbolen
0:16:46 Substitutionen
0:30:50 Kollisionsfreie Substitutionen für Formeln
0:33:12 Logisch äquivalente Formeln
0:40:29 Weitere allgemeingültige Formeln
0:41:18 Großzügige Benutzung von Prädikatenlogik
0:44:02 Zusammenfassung
0:44:18 Übung 8: Prädikatenlogik
0:45:01 Prädikatenlogik: Syntax
0:48:48 Prädikatenlogik: Semantik
0:53:11 Formulierungen in Prädikatenlogik
0:57:52 Totalität und Eindeutigkeit
1:00:18 Logische Äquivalenz
1:06:33 Allgemeingültig- und Erfüllbarkeit
1:11:21 Trinker-Paradoxon
1:15:04 Beispiel unerfüllbar
1:17:23 Substitutionen
1:19:58 Kollisionen
1:22:44 Gebundene Umbenennung
More shows like Grundbegriffe der Informatik, Vorlesung, WS18/19
View all
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015
0 Listeners
Algorithmen 1, SS2018, Vorlesung
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS18/19
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014
0 Listeners
Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung
0 Listeners
Softwaretechnik 1, Vorlesung, SS2018
0 Listeners
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
0 Listeners
Augstein & Blome
11 Listeners