Grundbegriffe der Informatik, Vorlesung, WS18/19

06: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 02.11.2018

Listen Later
06 |
0:00:00 Start
0:00:17 Vollständige Induktion
0:10:03 Varianten der vollständigen Induktion
0:16:24 Verallgemeinerung
0:25:47 Induktive Definitionen
0:28:28 Ackermann-Funktion
0:37:33 Was ist wichtig?
0:41:28 Anfang der Übung
0:41:56 Boolesche Funktion
0:43:50 Interpretation
0:46:59 Unterscheidung Syntax/Semantik
0:48:50 Gleichheit von Formeln
0:51:20 Wahrheitstabelle
0:54:01 Modelle
0:55:55 Allgemeingültigkeit und Äquivalenz
0:58:07 Beweisen mit Äquivalenz
1:01:06 Vollständige Induktion
1:03:40 Beispiel
1:05:28 Beliebte Fehler
1:09:51 induktive Definitionen
1:13:58 Starke Induktion
...more
View all episodesView all episodes
Download on the App Store
Grundbegriffe der Informatik, Vorlesung, WS18/19By Karlsruher Institut für Technologie (KIT)

More shows like Grundbegriffe der Informatik, Vorlesung, WS18/19

View all
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

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015

0 Listeners

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung

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

Softwaretechnik 1, Vorlesung, SS2018 by Karlsruher Institut für Technologie (KIT)

Softwaretechnik 1, Vorlesung, SS2018

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019

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