TIL

Summaries

BFSK

Formale Sprache, Abzählbarkeit

Entscheidbarkeit

Turingmaschinen

Chomsky-Hierarchien

Logik

Induktionsbeweise

Semantik formalisieren

PL Eigenschaften

Korrektheitsaussagen