Podcasts by Grundbegriffe der Informatik, Vorlesung, WS17/18

Grundbegriffe der Informatik, Vorlesung, WS17/18

Grundbegriffe der Informatik, Vorlesung, WS17/18

Further podcasts by Karlsruher Institut für Technologie (KIT)

Podcast on the topic Kurse

All episodes

Grundbegriffe der Informatik, Vorlesung, WS17/18
01: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 18.10.2017 from 2021-01-31T22:10:42.023393

01 | 0:00:00 Starten 0:00:08 Auseinandersetzung mit den Begriffen 0:03:33 Zukunft betreffende Vorhersagen sind schwierig 0:14:46 Ziele der Vorlesung

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
02: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.10.2017 from 2021-01-31T22:10:42.023393

02 | 0:00:00 Starten 0:00:30 Übersicht 0:01:24 Informatik 0:09:07 Informatik: Gebiete 0:17:08 Kunstwort Informatik 0:21:10 Signal - Veränderung physikalischer Größen um etwas mitzuteilen 0:21:54 V...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
03: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 25.10.2017 from 2021-01-31T22:10:42.023393

03 | 0:00:00 Starten 0:00:21 Notation ,,Kleiner'' endlicher Mengen 0:00:56 Notation ,,großer'' Mengen 0:03:22 Vereinigung und Durchschnitt zweier Mengen 0:07:08 Eigenschaften von Vereinigung und D...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
04: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 27.10.2017 from 2021-01-31T22:10:42.023393

04 | 0:00:00 Starten 0:02:12 Das Leerzeichen spielt bei uns (fast) keine Rolle 0:04:25 Wort - formal definiert als Liste von Zeichen 0:09:26 Menge aller W??rter 0:16:09 Die W??rter der L?§nge n 0:...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
05: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 03.11.2017 from 2021-01-31T22:10:42.023393

05 | 0:00:00 Starten 0:01:26 Aussagen - "objektiv" wahr oder falsch 0:04:10 Komplizierte Aussagen - aus einfacheren zusammengesetzt 0:08:18 Alphabet der Aussagenlogik 0:11:21 Konstruktio...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
06: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 08.11.2017 from 2021-01-31T22:10:42.023393

06 | 0:00:00 Starten 0:00:41 Wichtige Spezialfälle aussagenlogischer Formeln 0:01:52 Kalkül 0:02:28 Ein Beispiel für die Nützlichkeit des Kalküls 0:13:25 Was ist wichtig? 0:15:50 Kapitel 6: Indukt...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
07: Grundbegriffe der Informatik, Übung, WS 2017/18, 10.11.2017 from 2021-01-31T22:10:42.023393

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

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
08: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 15.11.2017 from 2021-01-31T22:10:42.023393

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 Wi...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
09: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 17.11.2017 from 2021-01-31T22:10:42.023393

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ä...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
10: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 22.11.2017 from 2021-01-31T22:10:42.023393

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 ...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
11: Grundbegriffe der Informatik, Übung, WS 2017/18, 24.11.2017 from 2021-01-31T22:10:42.023393

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...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
12: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 29.11.2017 from 2021-01-31T22:10:42.023393

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 Adressi...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
13: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 01.12.2017 from 2021-01-31T22:10:42.023393

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 erze...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017 from 2021-01-31T22:10:42.023393

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:1...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
15: Grundbegriffe der Informatik, Übung, WS 2017/18, 08.12.2017 from 2021-01-31T22:10:42.023393

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

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017 from 2021-01-31T22:10:42.023393

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 Substitution...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
17: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.12.2017 from 2021-01-31T22:10:42.023393

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:2...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
18: Grundbegriffe der Informatik, Übung, WS 2017/18, 22.12.2017 from 2021-01-31T22:10:42.023393

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

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
19: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 12.01.2018 from 2021-01-31T22:10:42.023393

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: Graphe...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
20: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 17.01.2018 from 2021-01-31T22:10:42.023393

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 Ka...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
21: Grundbegriffe der Informatik, Übung, WS 2017/18, 19.01.2018 from 2021-01-31T22:10:42.023393

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

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
22: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 24.01.2018 from 2021-01-31T22:10:42.023393

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 Wars...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
23: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 26.01.2018 from 2021-01-31T22:10:42.023393

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...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
24: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 31.01.2018 from 2021-01-31T22:10:42.023393

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 Akzep...

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
25: Grundbegriffe der Informatik, Übung, WS 2017/18, 02.02.2018 from 2021-01-31T22:10:42.023393

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

Listen
Grundbegriffe der Informatik, Vorlesung, WS17/18
26: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 09.02.2018 from 2021-01-31T22:10:42.023393

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 Raumkomplex...

Listen