1.
Einleitung
2.
Informatik 2
2.1.
Einführung
2.2.
Grundlagen I
2.2.1.
Übung 01
2.3.
Grundlagen II
2.4.
Listen & Arrays
2.5.
Sortieren I
2.6.
Sortieren II
2.7.
Sortieren III
2.8.
Heaps I
2.9.
Heaps II
2.10.
Suchbäume I
2.11.
Suchbäume II
2.12.
Hashing I
2.13.
Hashing II
2.13.1.
Übung 07
2.14.
Graphdarstellung
2.15.
Graphdurchläufe
2.15.1.
Übung 08
2.16.
Starke Zusammenenshangkomponenten
2.17.
Kürzester Weg
2.17.1.
Übung 09
2.17.2.
Übung 10
2.17.3.
Übung 11
2.17.4.
Übung 12
2.18.
Tracker
3.
Logik
3.1.
A1: Aussagenlogik
3.2.
A2: Modellierung, Äquivalenzen und Normalformeln
3.3.
A3: Erfüllbarkeit aussagenlogischer Formeln
3.4.
A4: Vollständigkeit und Endlichkeitssatz
3.5.
A5: Praktisches SAT-Solving
3.6.
B1: Grundlagen der Modallogik
3.6.1.
Übung 04
3.7.
B2: Erfüllbarkeit in der Modallogik
3.8.
B3: Anwendung Formale Verifikation
3.8.1.
Übung 05
3.9.
C1: Grundlagen der Predikatenlogik
3.10.
C2: Modellierung und Normalformen
3.10.1.
Übung 06
3.11.
C3: Erfüllbarkeit: Grundresolution
3.11.1.
Übung 07
4.
Web Engineering
4.1.
HTML
4.2.
CSS
4.3.
JavaScript I
4.4.
Formelsammlung
5.
Software Engineering
5.1.
Hausaufgaben
6.
Rechnerarchitektur
6.1.
Zusammenfassung
7.
Datenbanksysteme
7.1.
What is Data
7.2.
Logical Database Modeling
7.3.
Constraings and Dependencies
7.4.
Relational Algebra and Calculus
7.5.
SQL as DQL
7.6.
Programming Database Applications
7.7.
Storage and Index Structures
7.7.1.
Example: Slotted Pages
7.7.2.
Example: B-Bäume
7.8.
Query Optimization and Execution
7.9.
Transactions, Serializbility and the ACID Principle
Light
Rust
Coal
Navy
Ayu
Latte
Frappé
Macchiato
Mocha
[ Angewandte Informatik ]
Logik in der Informatik
Prof. Dr. Thomas Zeume
SS 2024