Podcasts by Grundbegriffe der Informatik, Vorlesung, WS18/19
Grundbegriffe der Informatik, Vorlesung, WS18/19
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
01: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 17.10.2018 from 2021-01-31T22:10:42.023393
01 | 0:00:00 Start 0:00:36 Kapitel 1 0:04:33 Ziele der Vorlesung 0:08:14 Kapitel 2 0:09:27 Themen dieses Kapitels 0:09:51 Informatik 0:11:27 Informatik: Aufbau 0:15:01 Kunstwort Informatik 0:15:49...
Listen02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018 from 2021-01-31T22:10:42.023393
02 | 0:00:00 Start 0:00:03 Kapitel 3: Mengen, Alphabete, Abbildungen 0:00:23 Themen dieses Kapitels 0:00:31 ASCII-Zeichensatz und Unicode 0:01:01 ASCII-Zeichensatz 0:02:06 Emails 0:04:08 Unicode:...
Listen03: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 24.10.2018 from 2021-01-31T22:10:42.023393
03 | 0:00:00 Start 0:17:21 Pünktchen vermeiden 0:18:31 Konkatenation 0:23:57 Umgehen mit Definitionen 0:29:09 Das leere Wort 0:37:11 Eigenschaften der Konkatenation 0:40:16 Beispiel: Aufbau von Em...
Listen04: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 26.10.2018 from 2021-01-31T22:10:42.023393
04 | 0:00:00 Starten 0:00:03 Kapitel 5: Aussagenlogik 0:02:21 Alphabet der Aussagenlogik 0:04:29 Konstruktionsabbildungen 0:07:24 Lesearten 0:08:09 Syntax Konstruktion immer größerer Formeln 0:19:...
Listen05: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 31.10.2018 from 2021-01-31T22:10:42.023393
05 | 0:00:00 Start 0:10:20 Auswertung von Formeln - ein Beispiel 0:12:41 Auswertung einer Formel für alle Interpretation 0:15:46 Äquivalente Formeln 0:18:59 kleine Randbemerkung - Auffassung einer...
Listen06: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 02.11.2018 from 2021-01-31T22:10:42.023393
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...
Listen07: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 07.11.2018 from 2021-01-31T22:10:42.023393
07 | 0:00:00 Start 0:02:04 Erinnerung: formale Sprache 0:05:28 Produkte formaler Sprachen – Beispiele 0:10:38 Neutrales Element für Produkt formaler Sprachen 0:13:22 Potenzen von Sprachen 0:20:34 ...
Listen08: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 09.11.2018 from 2021-01-31T22:10:42.023393
08 | 0:00:00 Start 0:00:56 Themen dieses Kapitels 0:01:05 Binärdarstellung von Zahlen 0:01:59 Hexadezimaldarstellung 0:02:55 Operationen div und mod 0:03:38 k-äre Darstellung von Zahlen 0:09:04 Za...
Listen09: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 14.11.2018 from 2021-01-31T22:10:42.023393
09 | 0:00:00 Start 0:00:33 Von Hexadezimal- zu Binärdarstellung 0:01:16 Übersetzungen 0:03:18 Wozu Übersetzungen 0:08:28 Codierungen 0:11:32 Homomorphismen 0:23:32 Präfixfreie Codes 0:26:59 Präfix...
Listen10: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 16.11.2018 from 2021-01-31T22:10:42.023393
10 | 0:00:00 Start 0:00:05 Einheit 9:Speicher 0:00:14 Überblick 0:00:55 Formalisierungen sind Spezifikationen 0:03:14 Gesamtzustand eines Speichers 0:05:10 Formalisierung von Speicher 0:06:59 Lese...
Listen11: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 21.11.2018 from 2021-01-31T22:10:42.023393
11 | 0:00:00 Start 0:00:13 Kapitel 10: Prozessor 0:00:24 Drähte 0:01:06 Register 0:01:59 Grobstruktur 0:05:07 die MIMA - ein idealisierter Prozessor 0:09:01 Vor-Neumann-Architektur vs. Harvard-Arc...
Listen12: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 23.11.2018 from 2021-01-31T22:10:42.023393
12 | 0:00:00 Start 0:02:12 Dokumente haben Inhalt, Struktur und Form 0:10:05 Struktur von Dokumenten 0:18:57 Beispiel für Tabelle in XHTML 0:30:27 Formale Sprachen kommen ins Spiel 0:33:23 Eine Gr...
Listen13: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 28.11.2018 from 2021-01-31T22:10:42.023393
13 | 0:00:00 Start 0:00:21 Kapitel 12: kontextfreie Grammatiken 0:03:57 Versuch einer formalen Sprache 0:06:27 Lösbarkeit von L 0:09:18 Beweis des Lemmas - Teil 1 0:13:41 Beweis des Lemmas - Teil ...
Listen14: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 30.11.2018 from 2021-01-31T22:10:42.023393
14 | 0:00:00 Start 0:00:05 Ableitungsbaum 0:00:42 Wohlgeformte/ korrekte Klammerausdrücke 0:01:46 Arithmetische Ausdrücke 0:01:49 Ableitungsbaum 0:04:14 Wohlgeformte/ korrekte Klammerausdrücke 0:0...
Listen15: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 05.12.2018 from 2021-01-31T22:10:42.023393
15 | 0:00:00 Start 0:01:42 Kapitel 13: Prädikatenlogik erster Stufe 0:02:09 Eine Grenze kontextfreier Grammatiken 0:03:50 Lvv - Beispielwörter 0:04:22 Lvv ist nicht kontextfrei 0:29:01 Überblick 0...
Listen16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018 from 2021-01-31T22:10:42.023393
16 | 0:00:00 Start 0:00:05 Allgemeingültige Formeln 0:05:40 Vorkommen von Variablensymbolen in Formeln 0:07:33 freie und gebundene Vorkommen von Variablensymbolen 0:16:46 Substitutionen 0:30:50 Ko...
Listen17: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 19.12.2018 from 2021-01-31T22:10:42.023393
17 | 0:00:00 Start 0:00:41 Gerichtete Graphen 0:14:08 Ungerichtete Graphen 0:25:12 Ungerichtete Bäume 0:30:42 Symmetrische Relationen 0:32:12 Äquivalenzrelationen 0:36:15 Erste Algorithmen in Grap...
Listen18: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 21.12.2018 from 2021-01-31T22:10:42.023393
18 | 0:00:00 Start 0:00:05 Einfachster Algorithmus für die Wegmatrix 0:12:27 Es geht noch besser – erst mehr denken dann weniger rechnen 0:21:11 Algorithmus von Warshall 0:27:56 Quantitative Aspek...
Listen19: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 09.01.2019 from 2021-01-31T22:10:42.023393
19 | 0:00:00 Start 0:00:25 Groß-O-Notation 0:15:24 Groß-O-Notation: Notation für obere und untere Schranken des Wachstums 0:25:37 Groß-O-Notation: Eine grauenhafte Schreibweise 0:35:40 Groß-O-Nota...
Listen20: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 16.01.2019 from 2021-01-31T22:10:42.023393
20 | 0:00:00 Start 0:00:15 Überblick 0:01:58 2x2 Matrizenmultiplikation 0:06:47 Die Idee von Volker Strassen 0:09:23 Aufwandsabschätzung für den Algorithmus von Strassen 0:13:22 Matrizenmultiplika...
Listen21: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 18.01.2019 from 2021-01-31T22:10:42.023393
21 | 0:00:00 Start 0:00:30 mMealy-Automaten 0:04:21 Verallgemeinerte Zusatndsübergangsfunktionen 0:06:09 Verallgemeinerte Ausgabefunktionen 0:07:47 Was ist wichtig 0:10:21 Moore-Automat 0:12:43 Ve...
Listen22: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 23.01.2019 from 2021-01-31T22:10:42.023393
22 | 0:00:00 Start 0:00:40 Endliche Automaten 0:02:22 Beispiel einer nicht erkennbaren Sprache 0:13:53 Zusammenfassung / Was ist wichtig ? 0:16:19 Turingmaschinen 0:19:33 Eine Turingmaschine im Bi...
Listen23: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 25.01.2019 from 2021-01-31T22:10:42.023393
23 | 0:00:00 Start 0:00:05 Turingmaschinen 0:04:32 Unentscheidbare Probleme 0:04:59 Beispielcodierung 0:16:51 Das Halteproblem 0:19:24 Beweis mit Diagonalisierung 0:30:28 Weitere unentscheidbare P...
Listen24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019 from 2021-01-31T22:10:42.023393
24 | 0:00:00 Start 0:00:39 Wiederholung(Turingmaschinen) 0:02:42 Endliche Automaten 0:03:56 Reguläre Ausdrücke 0:07:50 Klammereinsparungsregeln 0:12:41 Durch R Beschriebene formale Sprachen / Beis...
Listen25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019 from 2021-01-31T22:10:42.023393
25 | 0:00:00 Start 0:00:22 Äquivalenzrelationen 0:01:41 Kongruenz ganzer Zahlen modulo n 0:04:05 Bild einer Äquivalnzrelation 0:12:15 Was ist wichtig 0:13:40 Äquivalenzrelationen auf mengen mit St...
Listen26: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 06.02.2019 from 2021-01-31T22:10:42.023393
26 | 0:00:00 Start 0:00:30 Halbordnungen 0:09:59 Minimale und maximale Elemente/ Beispiel 0:18:32 Untere und obere Schranken/-Beispiel 0:23:29 Supremum und Infimum/-Beispiele 0:36:03 Monotone Abbi...
Listen