Abelsche Gruppe
Ist eine kommutative Halbgruppe mit Nullelement, welches sich aus der Inversen bildet. weiter lesen
Abschätzungen
Dreiecksungleichung Bernoullische Ungleichung Integral Fakultät Logarithmus Dualbasis-Potenzierung weiter lesen
Absorption
Absorption bedeutet, dass der Durchschnitt von M mit der Vereinigung von M und N gleich M ist. Genauso ist die Vereinigung von M mit dem Durchschnitt von M und N gleich M. weiter lesen
abzählbar
Ein Menge ist dann abzählbar (unendlich), wenn es eine bijektive Funktion gibt, welche die Elemente auf die natürlichen Zahlen abbildet. weiter lesen
algebraische Struktur
eine Menge heisst algebraische Struktur, wenn sie mindestens eine Verknüpfung hat. Beispiel: Die Menge der natürlichen Zahlen mit der Verknüpfung Addition und Multiplikation weiter lesen
Allaussage
Beispiel: Aussage: Alle Tage haben 24 Stunden. ein Element: Morgen ist ein Tag. Schluss: Morgen hat 24 Stunden. -------------------------------------- Aussage: Für alle Natürliche Zahlen gilt, dass die... weiter lesen
Antisymmetrie
Wenn M Teilmenge von N ist. Und N Teilmenge von N. Dann gilt M=N. Die Mengen sind Eigenschaftsgleich und Umfangsgleich. weiter lesen
Archimedes Axiom
heisst Archimedisches Axiom weiter lesen
bijektiv
es gibt genau ein Urbild (siehe injektiv und surjektiv) weiter lesen
Churchsche These
Die Klasse der im intuitiven Sinn berechenbaren Funktionen ist gleich der Klasse der my-rekursiven Funktionen. weiter lesen
De Morgansche Formeln
Das Komplement von M geschnitten N ist gleich dem Komplement von M vereinigt mit dem Komplement von N. Und umgekehrt... :) weiter lesen
deterministischer endlicher Automat
Finite State Maschine (FSM) oder Deterministic Finite Automation (DFA) wird von einem Fünf-Tuppel von Informationen beschrieben. //fixme!! M=(Q,"Alphabet","sigma?",q_0,F) * Q ist eine endliche Menge von Zuständen... weiter lesen
injektiv
maximal ein Urbild (ein-eindeutig) weiter lesen
kommutativ
siehe Kommutativität weiter lesen
Turing Maschine
Ein 1936 von Alan Turing beschriebenes mathematisches Modell einer Maschine, die eine Klasse von berechenbaren Funktionen bildet. weiter lesen
