Notes in Einführung in Logik

To Subscribe, use this Key

Uni Bonn -- SS25, Introduction to Logic collaborative deck. In case of questions, contact August: [email protected]

Status	Last Update	Fields
Published	04/08/2025	Definition: AlphabetWie werden dessen Elemente genannt?
Published	04/08/2025	Was ist ein Wort über ein Alphabet \(\Sigma\)? Was ist dessen Länge?
Published	04/08/2025	Sei \(u\) ein Wort der Länge \(n\).Wie wird es abgekürzt dargestellt für \(n\ge1\)? für \(n=0\)?
Published	04/08/2025	Notation: Menge aller Wörter
Published	04/08/2025	Definition: (formelle) Sprache
Published	04/13/2025	Was bedeutet Konkatenation, bzw. Verkettung, von zwei Wörtern \(v=v_1\dots v_m\) und \(w=w_1\dots w_n\)?
Published	04/08/2025	Was ist das Anfangs- bzw. Endstück eines Wortes?
Published	04/10/2025	Induktionsprinzip über Kalküle
Published	04/10/2025	Eine äquivalente Aussage zu "\(X\) ist durch \(K\) definierbar"mit \(K\) ein Kalkül über dem Alphabet \(\Sigma\) und \(X\subseteq\Sigma^*\)
Published	04/10/2025	Definition einer durch \(K\) definierte Sprache \(X\subseteq\Sigma^*\)mit \(K\) ein Kalkül über dem Alphabet \(\Sigma\)
Published	04/10/2025	Bedeutung von "\(w\) ist über \(K\) aus \(Z\) ableitbar"mit \(\Sigma\) ein Alphabet, \(K\) ein Kalkül über diesem, \(w\in\Sigma^*\) und…
Published	04/10/2025	Definition: Ableitung aus \(Z\) über \(K\), wo \(K\) ein Kalkül über dem Alphabet \(\Sigma\) ist und \(Z\subseteq\Sigma^*\)
Published	04/10/2025	Definition: Kalkül über einem Alphabet \(\Sigma\)
Published	04/10/2025	Notation: Ableitungsregel \((v,w)\) über dem Alphabet \(\Sigma\) mit \(v=(v_1,\dots,v_n)\) (\(n\in\mathbb{N}\))
Published	04/10/2025	Definition: Ableitungsregel (Regel) über einem Alphabet \(\Sigma\)
Published	04/10/2025	Definition: rekursiv abzählbare Sprache
Published	04/10/2025	Definition: entscheidbare sprache
Status	Last Update	Fields