Mathematische Notation lesen: Symbole, Indizes, Summen und Quantoren
Ein Glossar mit etwa vierzig Symbolen, mit dem du jede Definition der Reihe KI-Grundlagen liest — von Indizes und griechischen Buchstaben über ∑ und argmin bis ∀ und ∃. Mit Spickzettel am Ende.
Serie KI-Grundlagen Teil 4 von 52
- Landkarte der künstlichen Intelligenz: was was ist und wie alles zusammenpasst
- Eine kurze Geschichte der künstlichen Intelligenz: von Turing bis zu Sprachmodellen
- Daten, Modell, Training, Inferenz: die Grundbegriffe an einem einzigen Beispiel
- Mathematische Notation lesen: Symbole, Indizes, Summen und Quantoren
- Mengen und Relationen: der Baukasten, aus dem Definitionen in der KI bestehen
- Funktionen und Abbildungen: warum jedes KI-Modell eine Funktion ist
- Logik und Beweise: die Regeln, nach denen KI schließt
- Graphen und Bäume: die Struktur, auf der Suche und neuronale Netze stehen
- Lineare Algebra für maschinelles Lernen: Vektoren, Matrizen und warum KI vor allem multipliziert
- Ableitungen, Gradient und Kettenregel: wie ein Modell herausfindet, in welche Richtung es lernen soll
- Gradientenabstieg: wie ein Modell lernt
- Was ist Wahrscheinlichkeit: vom Würfelwurf zu den Kolmogorow-Axiomen
- Bedingte Wahrscheinlichkeit und der Satz von Bayes: wie du deine Einschätzung änderst, wenn du etwas Neues erfährst
- Zufallsvariable und Verteilungsfunktion: eine Funktion, die alles über eine Verteilung verrät
- Dichtefunktion und Wahrscheinlichkeitsfunktion: warum eine stetige Zufallsvariable in einem Punkt die Wahrscheinlichkeit null hat
- Erwartungswert, Varianz und Kovarianz: wo eine Verteilung liegt, wie breit sie ist und was womit zusammenhängt
- Überblick über Wahrscheinlichkeitsverteilungen: Bernoulli-, Binomial-, Poisson-, Gleich-, Normal- und Exponentialverteilung
- Gesetz der großen Zahlen und zentraler Grenzwertsatz: Warum sich Durchschnitte so vorhersagbar verhalten
- Statistik und Parameterschätzung: Maximum Likelihood, MAP und Konfidenzintervalle
- Informationstheorie: Entropie, Kreuzentropie und KL-Divergenz — woher Verlustfunktionen kommen
- Zustandsraumsuche: BFS, DFS, UCS und A* mit Animationen
- Spiele und Gegner: Minimax, Alpha-Beta-Suche und Monte Carlo Tree Search
- Constraint Satisfaction: Backtracking, Constraint-Propagierung und AC-3 an Sudoku und einer Karte tschechischer Regionen
- Logik und wissensbasierte Systeme: Vorwärts- und Rückwärtsverkettung, Resolution und Expertensysteme
- Planung: STRIPS, die Blockwelt, Heuristiken aus Relaxierung und Planung in KI-Agenten
- Lokale Suche und simulierte Abkühlung: ein Handlungsreisender durch die tschechischen Regionalhauptstädte
- Genetische Algorithmen: Population, Kreuzung, Mutation und Selektion am Rucksack für die Wanderung
- Evolutionsstrategien und genetische Programmierung: von der 1/5-Erfolgsregel zum Keplerschen Gesetz
- Ameisenkolonieoptimierung: wie eine Pheromonspur einen kurzen Weg findet
- Partikelschwarmoptimierung: Trägheit, eigene Erfahrung und die Erfahrung des Schwarms
- Neuroevolution: Evolution der Gewichte und der Gestalt neuronaler Netze und der Algorithmus NEAT
- Fuzzy-Mengen und Zugehörigkeitsfunktionen: wie man „etwas warm“ aufschreibt
- Fuzzy-Logik und Wahrscheinlichkeit: warum „etwas warm“ nicht „wahrscheinlich warm“ bedeutet
- Fuzzy-Logik: t-Normen, Implikationen und WENN–DANN-Regeln
- Fuzzy-Regelung: Mamdani und Sugeno vom Ventilator bis zum Pendel auf dem Wagen
- Fuzzy-Clustering: der Algorithmus fuzzy c-means und Punkte zwischen den Clustern
- Neuro-Fuzzy-Systeme (ANFIS): Fuzzy-Regeln, die aus Daten lernen
- Markow-Ketten: Übergangsmatrix, stationäre Verteilung und PageRank
- Hidden-Markov-Modelle: der Viterbi-Algorithmus und das unehrliche Kasino
- Bayessche Netze: warum das Gras nass ist und was das für den Rasensprenger bedeutet
- Der Kalman-Filter: wie man aus ungenauen Messungen schätzt, wo ein Auto ist und wie schnell es fährt
- Arten des maschinellen Lernens: überwacht, unüberwacht, halbüberwacht und mehr
- Prompts, Kontext und RAG: wie man einem Modell die richtigen Informationen gibt
- Variational Autoencoder (VAE): neue Bilder aus einem stetigen latenten Raum
- Generative Adversarial Networks (GAN): der Fälscher gegen den Detektiv
- Diffusionsmodelle: wie aus reinem Rauschen ein Bild wird
- Markow-Entscheidungsprozesse: Zustände, Aktionen, Belohnungen und Bellman-Gleichungen
- Q-Learning und DQN: den Wert von Aktionen lernen, von der Tabelle bis zum neuronalen Netz
- Policy Gradient und PPO: die Strategie direkt lernen
- Wie ein KI-Agent funktioniert: ein Sprachmodell in einer Schleife mit Werkzeugen
- Programmieren mit KI-Agenten: Auftrag, Tests und Kontrolle
- Bewertung und Sicherheit von KI-Systemen: wie man misst und wie man überwacht
Der ganze Lehrplan der Serie 52 von 83 Themen fertig
- Wie man Indizes, griechische Buchstaben, ∑, argmin, ∀ und ∃ liest — und was sie in der KI meist bedeuten.
- Ein Vorgehen, mit dem du jede Definition in Teile zerlegst und in Worte übersetzt.
- Einen Spickzettel mit allen Symbolen, die dir in der Reihe begegnen.
Mathematische Notation sieht aus wie eine Geheimschrift, ist aber nur eine Abkürzung. Der Satz „addiere die Quadrate aller Zahlen in der Liste“ lässt sich als ∑i xi2 schreiben und bedeutet genau dasselbe — nur ist er kürzer und lässt sich nicht auf zwei Arten verstehen.
Es gibt überraschend wenige Symbole, die dir in Artikeln über künstliche Intelligenz begegnen — etwa vierzig. Hier gehen wir sie in Gruppen durch, sagen bei jedem, wie man es liest, und am Ende lesen wir ein paar echte Definitionen aus anderen Teilen der Reihe. Einen Spickzettel mit allen Symbolen findest du im letzten Kapitel.
1. Warum Mathematik Symbole verwendet
Natürliche Sprache ist mehrdeutig. „Jeder Student hat ein Buch gelesen“ kann heißen, dass jeder ein anderes Buch gelesen hat, oder dass alle dasselbe gelesen haben. In der Notation sind ∀s ∃k und ∃k ∀s zwei verschiedene Sätze, und niemand verwechselt sie. Notation ist präzise, kurz und international — eine Formel aus einem chinesischen Lehrbuch liest du genauso wie eine aus einem deutschen.
Eine Formel erfasst man nicht auf einen Blick wie ein Bild, man liest sie wie einen Satz — von links nach rechts, Symbol für Symbol. Stößt du auf ein unbekanntes Symbol, schlag es einfach im Spickzettel nach und „übersetze“ es in Worte. Nach ein paar Definitionen geht das von selbst.
2. Variablen, Indizes und griechische Buchstaben
Eine Variable ist ein Buchstabe, der für eine Zahl oder ein anderes Objekt steht: x, y, n. Sie wird kursiv geschrieben. Wenn es mehrere Werte gibt, unterscheiden wir sie durch einen Index — eine kleine Zahl oder einen Buchstaben rechts unten:
- x1, x2, x3 — der erste, zweite, dritte Wert („x eins, x zwei…“),
- xi — der „i-te“ Wert („x i“), wobei i jede beliebige Zahl sein kann,
- Ai,j — der Eintrag in der i-ten Zeile und j-ten Spalte einer Tabelle (Matrix),
- x(i) — das i-te Beispiel in den Daten; die Klammer unterscheidet den Index von der Potenz x2.
Ein Strich oder ein Dach über einem Buchstaben macht aus einer Variablen eine verwandte: s′ („s Strich“) ist der nächste Zustand nach s, ŷ („y Dach“) ist eine Schätzung des wahren Werts y, und x̄ („x quer“) ist der Mittelwert. Ein Stern kennzeichnet das Beste: θ* („Theta Stern“) sind die optimalen Parameter, C* die optimalen Kosten.
Lateinische Buchstaben gibt es nur wenige, also leiht sich die Mathematik griechische. In der KI haben einige eine feste Bedeutung — wenn du sie siehst, weißt du meistens, worum es geht:
| Zeichen | Gelesen | Bedeutet meistens |
|---|---|---|
| α | Alpha | Lernrate, Schrittweite eines Algorithmus |
| β | Beta | ein Parameter (zum Beispiel Momentum) |
| γ | Gamma | Diskontfaktor — wie sehr die Zukunft zählt |
| δ, Δ | Delta | eine kleine Änderung, eine Differenz |
| ε | Epsilon | eine sehr kleine positive Zahl; Wahrscheinlichkeit zufälliger Erkundung |
| η | Eta | Lernrate im Gradientenabstieg |
| θ | Theta | Modellparameter — die „Stellschrauben“, die gelernt werden |
| λ | Lambda | Stärke der Regularisierung |
| μ | My | Erwartungswert, Mittelwert; Mittelpunkt eines Clusters |
| π | Pi | Policy (Strategie) des Agenten (und auch die Zahl 3,14…) |
| σ | Sigma | Standardabweichung; die Sigmoidfunktion |
3. Mengen in der Notation
Eine Menge ist eine Gruppe von Elementen; sie wird in geschweifte Klammern geschrieben: {1, 2, 3} oder {↑, →, ↓, ←}. Mit großen Doppelstrich-Buchstaben werden bekannte Zahlenmengen bezeichnet: ℕ natürliche Zahlen (1, 2, 3, …), ℤ ganze, ℝ reelle Zahlen. ℝn sind alle Listen aus n reellen Zahlen — Vektoren.
- x ∈ S — „x ist Element von S“, gehört zu S; x ∉ S — gehört nicht dazu,
- A ⊆ B — „A ist Teilmenge von B“, alles aus A ist auch in B,
- A ∪ B — Vereinigung (was in mindestens einer liegt), A ∩ B — Schnittmenge (was in beiden liegt),
- A × B — kartesisches Produkt: alle Paare (a, b),
- ∅ — die leere Menge, |S| — die Anzahl der Elemente,
- {x ∈ ℝ : x > 0} — „die Menge aller reellen x, für die gilt x > 0“; der Doppelpunkt (oder ein senkrechter Strich) wird „für die gilt“ gelesen.
Runde Klammern bedeuten dagegen eine geordnete Gruppe, bei der die Reihenfolge zählt: (3, 1) ist nicht dasselbe wie (1, 3). So schreibt man Paare, Koordinaten und n-Tupel — zum Beispiel ein Suchproblem als Sechstupel (S, s0, A, T, G, c). Mengen und Relationen bekommen einen eigenen Teil der Reihe.
4. Summe und Produkt: ∑ und ∏
Definition — Summe und Produkt
∑i=mn ai = am + am+1 + … + an, ∏i=mn ai = am · am+1 · … · an.
Die Variable unter dem Zeichen (i) ist der Laufindex; die untere Grenze m sagt, wo man anfängt, die obere Grenze n, wo man aufhört. Für m > n ist die Summe 0 und das Produkt 1.
Das große Sigma ∑ ist eine Schleife „für i von 1 bis n addiere“.
Das große Pi ∏ macht dasselbe, nur wird multipliziert. Wer programmiert, kennt das als
for i in range(1, n + 1): total += a[i].
Nehmen wir die Liste x = (3, 1, 4, 1, 5), also x1 = 3, x2 = 1 usw. Dann gilt:
∑i=15 xi = 3 + 1 + 4 + 1 + 5 = 14
∑i=13 xi2 = 32 + 12 + 42 = 9 + 1 + 16 = 26
∏i=13 xi = 3 · 1 · 4 = 12
(1/5) ∑i=15 xi = 14 / 5 = 2,8 — der Mittelwert x̄
Die letzte Zeile ist die Formel, die dir am häufigsten begegnet: (1/n) ∑ ist der Mittelwert. Fehlen bei einer Summe die Grenzen (∑i), wird über alle i summiert, die sinnvoll sind — typischerweise über alle Beispiele in den Daten.
5. Funktionen, Pfeile und argmin
f(x) liest man „f von x“ — der Wert der Funktion f für die Eingabe x. Die Schreibweise f : X → Y („f von X nach Y“) sagt, woher die Funktion ihre Eingaben nimmt und wohin ihre Ausgaben gehören: f : ℝ2 → {0, 1} nimmt ein Zahlenpaar und gibt 0 oder 1 zurück — das ist ein Klassifikator für Punkte in der Ebene.
- x ↦ x2 — „x wird abgebildet auf x Quadrat“; Beschreibung einer Funktion ohne Namen,
- fθ(x) — eine Funktion, deren Verhalten die Parameter θ bestimmen („f Theta von x“),
- g ∘ f — Verkettung: erst f, dann g, also g(f(x)),
- θ ← θ − η ∇J — der Pfeil nach links ist eine Zuweisung im Algorithmus: „der neue Wert von θ ist…“; := bedeutet „ist definiert als“.
Definition — min, max, argmin, argmax
minx ∈ X f(x) ist der kleinste Wert, den f auf der Menge X annimmt.
argminx ∈ X f(x) ist dasjenige x (oder die Menge aller solchen x), an dem f diesen kleinsten Wert annimmt. Entsprechend max und argmax.
min beantwortet die Frage „wie tief kommt man?“, argmin die Frage „wo ist das?“. Für f(x) = (x − 2)2 ist min f = 0, aber argmin f = 2. Ein Modell zu trainieren heißt, das argmin zu suchen — uns interessiert nicht, wie klein der Fehler ist, sondern welche Parameter ihn liefern.
6. Logische Verknüpfungen und Quantoren
| Schreibweise | Gelesen | Beispiel |
|---|---|---|
| ¬P | nicht P | ¬(x > 3) ist dasselbe wie x ≤ 3 |
| P ∧ Q | P und Q | x > 0 ∧ x < 1 — x liegt zwischen 0 und 1 |
| P ∨ Q | P oder Q (oder beides) | x < 0 ∨ x > 1 |
| P ⇒ Q | wenn P, dann Q | x > 2 ⇒ x2 > 4 |
| P ⇔ Q | P genau dann, wenn Q | x2 = 0 ⇔ x = 0 |
| ∀x : P(x) | für alle x gilt P | ∀x ∈ ℝ : x2 ≥ 0 |
| ∃x : P(x) | es gibt ein x, für das P gilt | ∃x ∈ ℕ : x > 100 |
Definition — Negation von Quantoren
¬(∀x : P(x)) ⇔ ∃x : ¬P(x) und ¬(∃x : P(x)) ⇔ ∀x : ¬P(x).
„Es stimmt nicht, dass alle Schwäne weiß sind“ bedeutet „es gibt einen Schwan, der nicht weiß ist“. Um eine „für alle“-Aussage zu widerlegen, genügt ein einziges Gegenbeispiel — und genau so wird in der Mathematik oft bewiesen.
Vorsicht bei der Implikation ⇒: Sie behauptet nur, dass Q gilt, wenn P gilt. Über den Fall, dass P nicht gilt, sagt sie nichts. Aus x > 2 ⇒ x2 > 4 folgt nicht, dass x2 > 4 ⇒ x > 2 — nimm einfach x = −3.
7. Weitere Zeichen, die dir begegnen
- |x| — Betrag (|−3| = 3); ‖x‖ — Länge eines Vektors (Norm),
- ⌊x⌋, ⌈x⌉ — Abrunden und Aufrunden, Gaußklammern (⌊2,7⌋ = 2, ⌈2,1⌉ = 3),
- ≈ — ungefähr gleich; ∝ — proportional („wächst genauso wie“); ≫ — sehr viel größer,
- ∞ — unendlich; [0, 1] — Intervall einschließlich der Randpunkte, (0, 1) — ohne sie,
- ∇f („Nabla f“) — Gradient, die Richtung des steilsten Anstiegs; ∂f/∂x — partielle Ableitung,
- O(n2) — „O von n Quadrat“: wie schnell Laufzeit oder Speicher eines Algorithmus wachsen,
- P(A | B) — Wahrscheinlichkeit von A, wenn wir wissen, dass B eingetreten ist („P von A gegeben B“); 𝔼[X] — Erwartungswert,
- w⊤ — Transponierung: aus einer Zeile wird eine Spalte und umgekehrt; w⊤x ist das Skalarprodukt.
8. Lies eine ganze Definition
Jetzt setzen wir alles zusammen. Das ist die Definition des Trainings eines Modells aus dem Teil über die Arten des maschinellen Lernens. Die farbigen Zahlen gehören zu den Erläuterungen darunter:
- θ* — „Theta Stern“: die besten Modellparameter, die wir suchen.
- argminθ — „dasjenige θ, für das der folgende Ausdruck am kleinsten ist“.
- (1/n) ∑i=1n — der Durchschnitt über alle n Beispiele in den Daten.
- L( … ) — die Verlustfunktion: wie viel ein Fehler kostet.
- fθ(xi) — was das Modell mit den Parametern θ auf die i-te Eingabe antwortet.
- yi — die richtige Antwort zur i-ten Eingabe.
Die besten Modellparameter sind die, mit denen das Modell im Durchschnitt über alle Trainingsdaten den kleinsten Fehler zwischen seiner Antwort und der richtigen macht.
Und noch eine, aus dem Teil über Suche — die Prioritätsfunktion des Algorithmus A*:
f(n) = g(n) + h(n)
Gelesen „f von n gleich g von n plus h von n“: Die geschätzten Kosten des ganzen Wegs über den Zustand n sind die Kosten, die wir bis n schon bezahlt haben (g), plus eine Schätzung, wie viel noch fehlt (h). Dasselbe Vorgehen funktioniert für jede Definition: die Hauptbeziehung finden (=, ≤, ⇔), beide Seiten in Teile zerlegen und jeden Teil in Worte übersetzen.
9. Spickzettel
| Symbol | Gelesen | Bedeutung |
|---|---|---|
| xi | x i | das i-te Element |
| ŷ, x̄, θ* | y Dach, x quer, Theta Stern | Schätzung, Mittelwert, Optimum |
| ∈, ∉ | Element von, nicht Element von | ist, ist nicht Element einer Menge |
| ⊆, ∪, ∩, × | Teilmenge, vereinigt, geschnitten, kreuz | Mengenoperationen |
| ℕ, ℤ, ℝ, ℝn | N, Z, R, R hoch n | natürliche, ganze, reelle Zahlen, Vektoren |
| ∑, ∏ | Summe, Produkt | addiere, multipliziere über einen Index |
| f : X → Y | f von X nach Y | eine Funktion mit ihren Ein- und Ausgaben |
| argmin, argmax | Argument des Minimums, Maximums | wo der kleinste, größte Wert liegt |
| ←, := | wird zugewiesen, ist definiert als | neuer Wert, Definition |
| ¬, ∧, ∨ | nicht, und, oder | logische Verknüpfungen |
| ⇒, ⇔ | wenn–dann, genau dann wenn | Implikation, Äquivalenz |
| ∀, ∃ | für alle, es gibt | Quantoren |
| |x|, ‖x‖ | Betrag, Norm | Größe einer Zahl, Länge eines Vektors |
| ≈, ∝, ≫ | ungefähr, proportional, sehr viel größer | Vergleich |
| ∇, ∂ | Nabla, partiell | Gradient, Ableitung nach einer Variablen |
| O(·) | groß O | Wachstumsordnung von Laufzeit oder Speicher |
| P(A | B), 𝔼 | Wahrscheinlichkeit von A gegeben B, Erwartungswert | Wahrscheinlichkeit |
10. Zusammenfassung
- Mathematische Notation ist die Abkürzung eines Satzes: Man liest sie von links nach rechts, Symbol für Symbol.
- Indizes unterscheiden Werte, griechische Buchstaben haben in der KI feste Bedeutungen (θ Parameter, η Lernrate, γ Diskont).
- ∑ ist eine Schleife, die addiert; (1/n) ∑ ist der Mittelwert; argmin sucht die Stelle, nicht den Wert.
- ∀ und ∃ machen aus Eigenschaften präzise Aussagen; um ein „für alle“ zu widerlegen, genügt ein Gegenbeispiel.
Mit diesem Wortschatz kannst du alle Definitionen der Reihe lesen. Wenn du auf ein Symbol stößt, das hier fehlt, schreib uns — wir ergänzen es.
Siehst du das anders? Schreib an support@coden-app.com.