Grundbegriffe der Informatik, Vorlesung, WS 2020/21
28 videos • 46,588 views • by KIT Lehre und Wissen
1
GbI_01: Einführung und Organisatorisches
KIT Lehre und Wissen
Download
2
GbI_02: Mengenlehre
KIT Lehre und Wissen
Download
3
GbI_03: Übung 1, Mengenlehre, Konkatenation
KIT Lehre und Wissen
Download
4
GbI_04: Übung 2: Relationen und Abbildungen
KIT Lehre und Wissen
Download
5
GbI_05: Organisatorisches, Übung 3: Wörter und binäre Operationen
KIT Lehre und Wissen
Download
6
GbI_06: Übung 4, Aussagenlogik
KIT Lehre und Wissen
Download
7
GbI_07: Übung 5: Aussagenlogik (2) – Semantik
KIT Lehre und Wissen
Download
8
GbI_08: Übung 6: vollständige Induktion, (27.11.2020)
KIT Lehre und Wissen
Download
9
GbI_09: Übung 7: formale Sprachen (02.12.2020)
KIT Lehre und Wissen
Download
10
GbI_10: Übung 8: Zahlendarstellung (1) (04.12.2020)
KIT Lehre und Wissen
Download
11
GbI_11: Kodierungen, Übersetzungen, Homomorphismen (09.12.2020)
KIT Lehre und Wissen
Download
12
GbI_12: Übung 9: Übersetzungen
KIT Lehre und Wissen
Download
13
GbI_13: Kodierungen, MIMA, MIMA-Beispielprogramme (16.12.2020)
KIT Lehre und Wissen
Download
14
GbI_14: Übung 12: Prozessor (Teil 1), (18.12.2020)
KIT Lehre und Wissen
Download
15
GbI_15: MIMA Befehlssatz, Kontextfreie Grammatiken, Ableitungsbäume, Relationen (23.12.2020)
KIT Lehre und Wissen
Download
16
GbI_16: Übung 14: Kontextfreie Grammatiken (8.1.2021)
KIT Lehre und Wissen
Download
17
GbI_17: Übung 15: kontextreie Sprachen, reflexiv-transitive Hülle (13.01.2021)
KIT Lehre und Wissen
Download
18
GbI_18: Übung 16: Prädikatonlogik (Grundlagen)_15.01.2021
KIT Lehre und Wissen
Download
19
GbI_19: Übung 17, Prädikatenlogik (Substitutionen), 20.01.2021
KIT Lehre und Wissen
Download
20
GbI_20: Übung 1, Hoare-Kalkül, Vorlesung:Kapitel 16: Erste Algorithmen in Graphen (22.012021)
KIT Lehre und Wissen
Download
21
GbI_21: Übung 19: Graphen (Teil 1) / Einheit 17: Quantitative Aspekte von Algorithmen, 27.01.2021
KIT Lehre und Wissen
Download
22
GbI_22: Übung 20, Graphen (Teil 2), 29.01.2021
KIT Lehre und Wissen
Download
23
GbI_23: Übung 20: O-Kalkül (03.02.2021)
KIT Lehre und Wissen
Download
24
GbI_24: Übung 22: O-Kalkül (Teil 2) (05.02.2021)
KIT Lehre und Wissen
Download
25
GbI_25: Übung 23: endliche Automaten (10.02.2021)
KIT Lehre und Wissen
Download
26
GbI_26: Übung 24: Turing-Maschinen (12.02.2021)
KIT Lehre und Wissen
Download
27
GbI_27: Übung 25: Berechenbarkeit (17.02.2021)
KIT Lehre und Wissen
Download
28
GbI_28: Übung 26: reguläre Ausdrücke, rechtslineare Grammatiken (19.02.2021)
KIT Lehre und Wissen
Download