04 | 0:00:00 Starten 0:00:21 Beispiel: Aufbau von E-Mails 0:00:21 RFC 0:00:28 E-Mail, RFC 5322 (1) 0:00:38 E-Mail, RFC 5322 (2) 0:05:04 E-Mail, RFC 5322 (3) 0:05:52 E-Mail, RFC 5322 (4) 0:07:29 Iterierte Konkatenation 0:07:47 Iterierte Konkatenation: Potenzen von Wörtern 0:11:05 Induktive Definitionen kann man zu Rechnen benutzen 0:12:23 Ein einfaches Lemma zu Längen von Wortpotenzen 0:15:37 Das einfach Lemma - einfache Fälle 0:17:08 Vollständige Induktion - kurzer Ausblick 0:19:21 Formale Sprachen 0:19:23 Sprachen 0:25:14 Formale Sprache über einem Alphabet A - eine Teilmenge L aus A* 0:28:12 Binäre Operationen 0:38:17 Was ist wichtig 0:40:27 Kapitel 5: Aussagenlogik 0:40:42 Informelles 0:40:44 Aussagen - ""objektiv"" wahr oder falsch 0:45:05 Komplizierte Aussagen - aus einfacheren zusammengesetzt 0:46:55 Grundlagen der klassischen Aussagenlogik 0:49:51 Syntax aussagenlogischer Formeln 0:52:55 Alphabet der Aussagenlogik 0:56:05 Konstruktionsabbildungen 0:58:35 Lesarten 0:59:11 Syntax - Konstruktion immer größerer Formeln 1:02:19 Konstruktion - ein Beispiel 1:02:55 Konstruktion aussagenlogischer Formeln 1:04:27 Regeln zur Einsparung von Klammern 1:08:06 Boolesche Funktionen 1:08:17 George Boole 1:09:07 Boolesche Funktionen 1:14:17 Übliche Notation für boolesche Funktionen 1:16:09 Man kann die meisten boolesche Funktionen aus wenigen ""zusammensetzen"" 1:17:25 Semantik aussagenlogischer Formeln 1:17:35 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion