Artwork

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.
Player FM - Podcast-App
Gehen Sie mit der App Player FM offline!

11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018

1:19:03
 
Teilen
 

Manage episode 196903646 series 1947204
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.
11 | 0:00:00 Starten 0:00:58 Lernziele Heute 0:05:28 Assertions 0:07:58 Zusicherungen 0:14:25 Assertions in Java 0:19:48 Vor- und Nachbedingungen, Invarianten 0:22:04 Beispiel Invarianten 0:27:06 assert oder if-Abfrage 0:29:49 Statische Analyse 0:32:43 Zusammenfassung 0:37:28 14 Zerteilen, Suchen und Sortieren 0:39:55 Überblick 0:40:22 Zerteilen 0:45:56 Beispiel: Taschenrechner 0:57:17 Top-Down Parsing 1:02:18 Rekursive Descent Parser: Hilfsfunktionen 1:06:27 Rekursiver Abstieg: Umsetzung Regeln 1:09:59 Zusammenfassung Parsen 1:11:28 Suchen 1:11:56 Lineare Suche 1:13:14 Lineare Suche - Implementierung 1:14:00 Lineare Suche - Visualisierung 1:15:20 Binäre Suche 1:16:42 Binäre Suche - Implementierung
  continue reading

14 Episoden

Artwork
iconTeilen
 
Manage episode 196903646 series 1947204
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.
11 | 0:00:00 Starten 0:00:58 Lernziele Heute 0:05:28 Assertions 0:07:58 Zusicherungen 0:14:25 Assertions in Java 0:19:48 Vor- und Nachbedingungen, Invarianten 0:22:04 Beispiel Invarianten 0:27:06 assert oder if-Abfrage 0:29:49 Statische Analyse 0:32:43 Zusammenfassung 0:37:28 14 Zerteilen, Suchen und Sortieren 0:39:55 Überblick 0:40:22 Zerteilen 0:45:56 Beispiel: Taschenrechner 0:57:17 Top-Down Parsing 1:02:18 Rekursive Descent Parser: Hilfsfunktionen 1:06:27 Rekursiver Abstieg: Umsetzung Regeln 1:09:59 Zusammenfassung Parsen 1:11:28 Suchen 1:11:56 Lineare Suche 1:13:14 Lineare Suche - Implementierung 1:14:00 Lineare Suche - Visualisierung 1:15:20 Binäre Suche 1:16:42 Binäre Suche - Implementierung
  continue reading

14 Episoden

Alle Folgen

×
 
Loading …

Willkommen auf Player FM!

Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.

 

Kurzanleitung