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

Grundbegriffe der Informatik, Vorlesung, WS17/18

Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

6+ y ago 1:30:28

MP4•Episode-Home

Archivierte Serien ("Inaktiver Feed" status)

When? This feed was archived on July 26, 2021 23:08 (2+ y ago). Last successful fetch was on March 30, 2021 23:10 (3y ago)

Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

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

26 Episoden

#Hochschulbildung #Bildung #Vorlesung #Informatik #Korrektheit #Berechnungskomplexität #Syntax #Semantik #Grammatiken #Mastertheorem #Graphen #Karlsruher Instituts Für Technologie KIT #Video #KIT