PODCAST

Grundbegriffe der Informatik, Vorlesung, WS17/18

Karlsruher Institut für Technologie (KIT)

education higher education

All Episodes

01:04:39

26: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/02/13

26 | 0:00:00 Starten 0:00:10 Turingmaschinen 0:00:34 Platzkomplexität oder Raumkomplexität einer TM 0:01:32 Raumkomplexität der TM für Palindromerkennung 0:02:23 Zeitkomplexität versus Raumkomplexität 0:04:00 Eine Komplexitätsklasse ist eine Menge von Problemen 0:05:48 P und PSPACE - zwei wichtige Komplexitätsklassen 0:07:15 Beziehung zwischen P und PSPACE - unklar 0:09:49 Was ist wichtig 0:10:48 Achtung 0:11:09 Codierungen von Turingmaschinen 0:14:37 Beispielcodierung - Zustände 0:15:41

01:06:33

25: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/02/05

25 | 0:00:00 Starten 0:00:37 Aufgabe 6.1 0:06:56 Aufgabe 6.2 0:17:33 Aufgabe 6.3 0:34:45 Aufgabe 6.4

01:26:39

24: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/02/05

24 | 0:00:00 Starten 0:01:39 Mealy-Automaten 0:05:23 Verallgemeinerte Zustandsübergangsfunktionen 0:20:24 Moore-Automat 0:25:59 Verallgemeinerte Ausgabefunktionen g* und g** 0:30:51 Endliche Akzeptoren 0:36:55 Erkannte formale Sprache 0:54:47 Beispiel einer nicht erkennbaren Sprache 1:07:39 Regulärer Ausdruck 1:18:21 Durch R beschriebene formale Sprache 1:23:28 Ãquivalenz regulärer Ausdrücke

01:23:24

23: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/01/26

23 | 0:00:00 Starten 0:00:10 Einheit 17: Quantitative Aspekte von Algorithmen 0:01:53 Einfache Beobachtungen 0:05:08 Für die Lektüre leider unverzichtbar 0:07:01 Eine nützliche Rechenregel 0:08:26 Komplexoperationen 0:15:51 Weitere Regeln 0:17:09 Was ist wichtig 0:18:23 Multiplikation von 2 X 2-Matrizen 0:20:25 Multiplikation von n X n Matrizen mit Blockaufteilung 0:27:44 Die Idee von Volker Strassen 0:31:00 Aufwandsabschätzung für den Algorithmus von Strassen 0:34:37 Matrizenmultiplikation - geht

01:07:10

22: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/01/25

22 | 0:00:00 Starten 0:00:13 kapitel 16: Erste Algorithmen in Graphen 0:00:15 Wiederverwendung 0:11:20 Was ist wichtig 0:12:29 Algorithmus von Warshall 0:20:07 Zum Aufwand des Algorithmus von Warshall 0:21:01 Einheit 17: Quantitative Aspekte von Algorithmen 0:21:21 Überblick 0:23:25 Ressourcenverbrauch bei Berechnungen 0:23:26 Zählen arithmetischer Operationen 0:24:49 Ressourcen für Rechnungen 0:26:49 Insertionsort 0:32:46 Ressourcenverbrauch 0:35:05 Was ist wichtig 0:35:12 Wo sind wir ? 0:35:21

00:51:02

21: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/01/23

21 | 0:00:00 Starten 0:01:19 Aufgabe 5.1 0:11:02 Aufgabe 5.2 0:25:26 Aufgabe 5.3 0:35:19 Aufgabe 5.4 0:46:17 Aufgabe 5.5

01:21:21

20: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/01/18

20 | 0:00:00 Starten 0:00:18 ARMAR-6 0:06:11 Königsberg, 1652 0:06:28 Eine Anmerkung zu Relationen 0:08:14 Symmetrische Relationen 0:09:41 Äquivanelnzrelationen 0:13:08 Graphen mit knoten- oder Kantenmarkierungen 0:13:52 Graphen mit Beschriftungen 0:15:21 Beispiel 0:19:01 Färbungen von Graphen - formal 0:20:16 Gewichtete Graphen 0:21:40 Eine Grenze de üblichen Formalisierung von Graphen 0:28:00 Zusammenfassung 0:28:15 Kapitel 16 0:28:44 Überblick 0:32:04 Objekte im Rechner 0:34:02

01:05:54

19: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2018/01/15

19 | 0:00:00 Starten 0:00:28 Algorithmus zur Multiplikation nichtnegativer ganzer Zahlen 0:04:55 Schleifenvariante für Multiplikationsalgorithmus 0:10:53 Was ist wichtig 0:12:52 Kapitel 15: Graphen 0:14:05 Darstellung von Zusammenhängen 0:18:29 Überblick 0:20:45 Gerichteter Graph 0:24:04 Bäume kamen schon mehrfach vor 0:25:41 de Bruijn-Graphen 0:28:13 Teilgraph 0:29:54 Pfade können über mehrere Kanten führen 0:32:44 Zyklen führen zum Ausgangspunkt zurück 0:34:57 Beispiele für Pfade 0:37:04 Strenger

01:31:36

18: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/22

18 | 0:00:00 Starten 0:00:10 Aufgabe 4.1 0:12:08 Aufgabe 4.2 0:26:13 Aufgabe 4.3 0:35:11 Aufgabe 4.4 0:45:22 Aufgabe 4.5

01:26:30

17: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/22

17 | 0:00:00 Starten 0:14:00 Wo sind wir? 0:18:18 Zwei wichtige Schriften von al-Kharizmi 0:21:43 Lösen einer Sorte quadratischer Gleichung nach al-Kharazmi 0:24:11 Algorithmusbegriff informal 0:26:20 Diskussion des informellen Algorithmusbegriffs 0:35:21 Korrektheit eines Algorithmus 0:35:50 Beweis von al-Khwaraizmi 0:40:51 Beweis durch Nachrechnen 0:43:36 Eine einfache ,,Programmiersprache'' 0:46:12 Hoare-Tripel 0:47:47 mZusicherungen in Hoare-Tripeln 0:50:50 Bedeutung von Programmen 0:51:59

01:30:28

16: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/14

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

01:21:46

15: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/11

15 | 0:00:00 Starten 0:01:46 Aufgabe 3.1 0:26:54 Aufgabe 3.2 0:43:54 Aufgabe 3.3

01:27:57

14: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/07

14 | 0:00:00 Starten 0:03:00 Prädikatenlogische Formeln 0:09:54 Terme 0:22:17 Atomare Formeln 0:33:04 Prädikatenlogische Formeln 0:39:37 Was ist wichtig 0:40:40 Interpretationen 0:45:55 Val 1:03:16 Allgemeingültige Formeln 1:13:29 Modelle 1:19:09 Was ist wichtig 1:19:53 Vorkommen 1:21:45 freie und gebundene Vorkommen

01:18:54

13: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/12/04

13 | 0:00:00 Starten 0:00:24 Was ist wichtig? 0:04:26 Wo sind wir? 0:04:59 Kontextfreie Grammatik 0:07:50 Ableitungsschritt 0:10:14 Anmerkungen 0:13:16 Ableitungsfolgen 0:16:01 Jede Grammatik erzeugt eine formale Sprache 0:16:57 Beispiel einer kontextfreien Grammatik/Sprache 0:19:20 Kompaktere Notation bei vielen Produktionen 0:20:14 Java-Syntax 0:22:22 Kontextfreie Grammatiken versus Syntax von Programmiersprachen 0:23:49 Ableitungsbäume 0:28:19 Wohlgeformte/korrekte Klammerausdrücke 0:29:48

01:25:07

12: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/30

12 | 0:00:00 Starten 0:00:10 Laden mit indirekter Adressierung - Beispiel. Programm 0:00:59 MIMA-Befehle(1a) - Datentransport akku 0:02:17 MIMA-Befehle (1b) - Datentransport mit indirekter Adressierung 0:03:19 MiMa- Befehle (2a) - für die ALU 0:05:06 Arithmetik - Beispiel- Programm 0:05:48 MIMA-Befehle (2b) - mehr für die ALU 0:08:47 Programmabarbeitung - normalerweise ganz einfach 0:09:46 Sprünge ändern die normale Reihenfolge der Programmabarbeitung 0:10:44 Rückwertssprünge gehen natürlich

01:29:43

11: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/28

0:00:00 Starten 0:00:53 Aufgabe 2.1: Aussagenlogische Formeln 0:07:42 Aufgabe 2.2 0:19:17 Aufgabe 2.3 0:41:12 Aufgabe 2.4 0:51:28 Aufgabe 2.5 0:54:47 Aufgabe 2.6 1:09:13 Aufgabe 2.7 1:15:55 Aufgabe 2.8

01:22:57

10: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/23

10 | 0:00:00 Starten 0:03:36 Überblick 0:04:31 Wo sind wir? 0:04:39 Bit und Byte 0:09:16 Kleiner ung großer Speicher 0:15:30 Dezimale Größenpräfixe 0:18:43 Binäre Größenpräfixe 0:22:58 Wir halten fest 0:23:35 Formalisierungen sind Spezifikationen - auch im Zusammenfassung mit Speicher 0:25:46 Gesamtzustand eines Speichers 0:28:13 Formalisierung von Speicher 0:30:58 Lesen aus dem Speicher - Formalisierung als Abbildung 0:33:10 Bemerkungen zu memread 0:35:12 Schreiben in den Speicher - ein weing

01:13:27

09: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/21

09 | 0:00:00 Starten 0:00:10 Darstellung auch negativer Zahlen 0:02:24 Zweierkomplement-Darstellung - für negative und nichtnegative Zahlen 0:05:10 Das ist wichtig 0:07:43 Von Hexadezimal- zu Binärdarstellung 0:09:49 Übersetzungen - bedeutungserhaltende Abbildungen von Wörtern auf Wörter 0:13:49 Trans2,16 - eine Übersetzung 0:15:28 Wozu Übersetzungen 0:21:08 Codierungen - injektive Übersetzungen 0:23:52 Wie spezifiziert man eine Übersetzung? 0:24:40 Homomorphismen - mit Konkatenation verträgliche

01:25:53

08: Grundbegriffe der Informatik, Vorlesung, WS...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/16

08 | 0:00:00 Starten 0:04:25 Von Wörten zu zahlen und zurück 0:05:49 Wo sind wir? 0:06:53 Dezimaldarstellung von Zahlen 0:24:13 Induktive Definitionen - ,,über die Wortlänge'' 0:26:24 Gottfried Wilhelm Leibniz: zwei Ziffern reichen aus! 0:33:21 Binäardarstellung von Zahlen 0:35:59 Hexadezimaldarstellung oder Sedezimaldarstellung 0:37:59 Ein kleines Problem 0:40:36 Ist jede Zahl darstellbar? 0:41:50 k-äre Darstellung von Zahlen 0:48:16 Operation div und mod 0:52:48 Die Definition von Reprk ist

01:01:44

07: Grundbegriffe der Informatik, Übung, WS 2017/18,...

Grundbegriffe der Informatik, Vorlesung, WS17/18 ·

2017/11/16

07 | 0:00:00 Starten 0:00:45 Aufgabe 1.1 0:12:53 Aufgabe 1.2 0:19:24 Aufgabe 1.3 0:28:12 Aufgabe 1.5 0:41:30 Aufgabe 1.6 0:55:47 Aufgabe 1.4

26 results

Grundbegriffe der Informatik, Vorlesung, WS17/18

All Episodes

Similar Podcasts

Science Talk

Albert Einstein College of Medicine

五分钟心理学

柠檬心理

Daily Facts

Amalia Dupray and Montgomery Jones.

Les dents et dodo

BFMTV

Veterinary Clinical Podcasts

The Royal Veterinary College