Grundbegriffe der Informatik, Vorlesung, WS17/18

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: Induktives Vorgehen 0:17:04 Induktive Definitionen kann man zu Rechnen benutzen 0:18:12 Vollständige Induktion 0:27:13 Verallgemeinerung vollständiger Induktion 0:29:20 Beispiel 0:30:13 Ackermann-Funktion 0:49:59 Kapitel 7: formale Sprachen 0:51:36 Produkt oder Konkatenation formaler Sprachen 0:53:05 Produkte

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 Konstruktionsabbildungen 0:14:16 Lesearten 0:18:29 Konstruktion - ein Beispiel 0:22:26 Boolesche Funktionen 0:29:21 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion 0:35:02 Äquivalente Formeln 0:44:00 Modelle 0:45:40 Wichtige Spezialfälle aussagenlogischer Formeln 0:51:26 Tautolgien - viele

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:18:50 Pünktchen vermeiden 0:23:21 Umgehen mit Definitionen - am Beispiel Konkatenation 0:27:23 Das leere Wort - neutrales Element bezüglich Konkatenation 0:32:26 Eigenschaften der Konkatenation 0:44:43 Iterierte Konkatenation 0:51:23 Sprachen 0:55:43 Binäre Operationen 1:01:52 Was ist wichtig?

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 Durchschnitt 0:09:46 Beweis der Idempotenz von U 0:14:36 Mengendifferenz 0:15:19 Kardinalität einer Menge – ihre ,,Größe'' 0:18:00 Alphabet 0:22:38 ASCll – Zeichensatz und Unicode 0:25:55 ASCll – Zeichnensatz 0:27:49 Emails 0:30:24 Unicode: Code Points 0:32:05 Paare 0:34:17 Kartesisches Produkt zweier

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 Veränderung physikalischer Größen 0:23:06 analoge vs. digitale Signale 0:26:33 Inschrift 0:30:11 Übertragung und Speicherung von 'Mitteilungen': Signale und Inschriften 0:33:59 Nachricht 0:36:30 Information 0:39:24 Datum 0:40:38 Was ist wichtig? 0:43:00 Nochmal Information 0:49:36 Claude Elwood

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