05: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 03.11.2017 - a podcast by Karlsruher Institut für Technologie (KIT)

05 |
0:00:00 Starten
0:01:26 Aussagen - "objektiv" wahr oder falsch
0:04:10 Komplizierte Aussagen - aus einfacheren zusammengesetzt
0:08:18 Alphabet der Aussagenlogik
0:11:21 Konstruktionsabbildungen
0:14:16 Lesearten
0:18:29 Konstruktion - ein Beispiel
0:22:26 Boolesche Funktionen
0:29:21 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion
0:35:02 Äquivalente Formeln
0:44:00 Modelle
0:45:40 Wichtige Spezialfälle aussagenlogischer Formeln
0:51:26 Tautolgien - viele Beispiele auf ein Mal
0:55:57 Tautologien - konkrete Beispiele
0:57:47 Kalkül - ein System für Beweise
1:03:18 Ableitungen - formal gefasst
1:05:57 Beweis - formal gefasst
1:11:46 Modus Ponens "erhält Allgemeingültigkeit"

Further episodes of Grundbegriffe der Informatik, Vorlesung, WS17/18

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)