Grundbegriffe der Informatik, Vorlesung, WS17/18

Feb 13 2018 26 ep. 75 mins 1.3k
Grundbegriffe der Informatik, Vorlesung, WS17/18 Podcast artwork

Inhalt der Vorlesung: - Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit, Berechnungskomplexität, 'schwere' Probleme, O-Notation, Mastertheorem - Alphabete, Wörter, formale Sprachen, endliche Akzeptoren, kontextfreie Grammatiken - induktive/rekursive Definitionen, vollständige und strukturelle Induktion, Hüllenbildung - Relationen und Funktionen - Graphen - Syntax und Semantik für Aussagenlogik Weiterführende Literatur - Goos: Vorlesungen über Informatik, Band 1, Springer, 2005 - Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005 Ziel: Der/die Studierende soll - grundlegende Definitionsmethoden erlernen und in die Lage versetzt werden, entsprechende Definitionen zu lesen und zu verstehen. - den Unterschied zwischen Syntax und Semantik kennen. - die grundlegenden Begriffe aus diskreter Mathematik und Informatik kennen und die Fähigkeit haben, sie im Zusammenhang mit der Beschreibung von Problemen und Beweisen anzuwenden. Dozent: Dr. Sebastian Stüker |  Karlsruher Institut für Technologie (KIT), Institut für Anthropomatik und Robotik | Vorlesungsaufzeichnung: http://webcast.kit.edu

  Education
RSS feed Share
Copy RSS


Subscribe on Podcast Addict


01: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 18.10.2017

Oct 23 2017 18 mins  
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

02: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.10.2017

Oct 24 2017 78 mins  
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 Nac

03: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 25.10.2017

Oct 27 2017 75 mins  
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

04: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 27.10.2017

Nov 02 2017 64 mins  
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 Eigens

05: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 03.11.2017

Nov 06 2017 76 mins  
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 �

06: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 08.11.2017

Nov 11 2017 79 mins  
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

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

Nov 16 2017 61 mins  
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

08: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 15.11.2017

Nov 16 2017 85 mins  
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 Za

09: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 17.11.2017

Nov 21 2017 73 mins  
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 - i

10: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 22.11.2017

Nov 22 2017 82 mins  
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