Grundbegriffe der Informatik, Vorlesung, WS17/18

16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017


Listen Later

16 |
0:00:00 Starten
0:00:10 Kap13: Prädikatenlogik erster Stufe
0:11:37 Vorkommen von Variablensymbolen in Formeln
0:13:24 freie und gebundene Vorkommen von Variablensymbolen
0:21:02 Substitutionen
0:36:51 Kollisionsfreie Substitutionen für Formeln
0:39:06 Logisch äquivalente Formeln
0:49:36 Weitere allgemeingültige Formeln
0:53:25 Kapitel 14: Der Begriff des Algorithmus (einige grundlegende Aspekte)
0:53:34 Kalkül
0:55:53 Aussagenkalkül
0:56:42 Hilbert-Kalkül
0:59:54 Axiome für Hilbert-Kalkül
1:03:12 Schlussregeln für den Hilbert-Kalkül
1:05:06 Ableitungen - formal gefasst
1:09:30 Beweis - formal gefasst
1:09:55 Hilbert-Kalkül - korrekt und vollständig
1:12:39 Deduktionstheorem - aber nur mit Einschränkungen
1:14:47 Skizze eines Beispiels
1:28:22 Großzügige Benutzung von Prädikatenlogik
1:29:26 Zusammenfassung
...more
View all episodesView all episodes
Download on the App Store

Grundbegriffe der Informatik, Vorlesung, WS17/18By Karlsruher Institut für Technologie (KIT)


More shows like Grundbegriffe der Informatik, Vorlesung, WS17/18

View all
KIT Campus – Studieren und mehr | 2013 by Karlsruher Institut für Technologie (KIT)

KIT Campus – Studieren und mehr | 2013

0 Listeners

IEEE International Conference on Robotics and Automation, 2013 by Karlsruher Institut für Technologie (KIT)

IEEE International Conference on Robotics and Automation, 2013

0 Listeners

CAD tutorial in Mechanical Design, WT13/14 by Karlsruhe Institute of Technology (KIT)

CAD tutorial in Mechanical Design, WT13/14

0 Listeners

KIT Campus – Studieren und mehr | 2014 by Karlsruher Institut für Technologie (KIT)

KIT Campus – Studieren und mehr | 2014

0 Listeners

Internationales Forum am ZAK by Karlsruher Institut für Technologie (KIT)

Internationales Forum am ZAK

0 Listeners

Transport Phenomena in the Biosphere by Karlsruher Institut für Technologie (KIT)

Transport Phenomena in the Biosphere

0 Listeners

Einführung in die Geophysik 1, WS17/18, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Geophysik 1, WS17/18, Vorlesung

0 Listeners

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20 by Karlsruher Institut für Technologie (KIT)

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20

0 Listeners

Kulturwissenschaft gestern und morgen by Karlsruher Institut für Technologie (KIT)

Kulturwissenschaft gestern und morgen

0 Listeners