Inhaltsverzeichnis
26 Beziehungen: Ableitung (Logik), Algorithmus, Alphabet (Informatik), Äquivalenzrelation, Beweis (Logik), Formale Sprache, Funktion (Mathematik), Geordneter Körper, Gruppe (Mathematik), Junktor, Klasse (Mengenlehre), Konstante (Logik), Kontextfreie Sprache, Kontextsensitive Sprache, Logische Formel, Mengenlehre, Polnische Notation, Prädikatenlogik erster Stufe, Quantor, Rekursion, Rekursiv aufzählbare Sprache, Relation (Mathematik), Ring (Algebra), Sequenzenkalkül, Signatur (Modelltheorie), Variable (Mathematik).
Ableitung (Logik)
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen.
Sehen Elementare Sprache und Ableitung (Logik)
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Sehen Elementare Sprache und Algorithmus
Alphabet (Informatik)
In der Informatik und der mathematischen Logik ist ein Alphabet eine endliche Menge voneinander unterscheidbarer Symbole, die auch Zeichen oder Buchstaben genannt werden.
Sehen Elementare Sprache und Alphabet (Informatik)
Äquivalenzrelation
Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.
Sehen Elementare Sprache und Äquivalenzrelation
Beweis (Logik)
Ein Beweis ist eine Reihe von logischen Schlussfolgerungen, die die Wahrheit eines Satzes auf als wahr Angenommenes zurückführen soll.
Sehen Elementare Sprache und Beweis (Logik)
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Sehen Elementare Sprache und Formale Sprache
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Sehen Elementare Sprache und Funktion (Mathematik)
Geordneter Körper
In der Algebra, einer Teildisziplin der Mathematik, ist ein geordneter Körper (auch angeordneter Körper genannt) ein Körper zusammen mit einer totalen Ordnung „\leq“, die mit Addition und Multiplikation (das sind die »Körperoperationen«, die die »algebraische Struktur« darstellen) verträglich ist.
Sehen Elementare Sprache und Geordneter Körper
Gruppe (Mathematik)
Die Drehungen eines Zauberwürfels bilden eine Gruppe. In der Mathematik ist eine Gruppe eine Menge von Elementen zusammen mit einer Verknüpfung, die je zwei Elementen der Menge ein drittes Element derselben Menge zuordnet und dabei drei Bedingungen, die Gruppenaxiome, erfüllt: das Assoziativgesetz, die Existenz eines neutralen Elements und die Existenz von inversen Elementen.
Sehen Elementare Sprache und Gruppe (Mathematik)
Junktor
Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.
Sehen Elementare Sprache und Junktor
Klasse (Mengenlehre)
Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.
Sehen Elementare Sprache und Klasse (Mengenlehre)
Konstante (Logik)
Allgemein ist eine Konstante (von „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte Bedeutung, die im Laufe der Überlegungen unverändert bleibt“.
Sehen Elementare Sprache und Konstante (Logik)
Kontextfreie Sprache
In der Theoretischen Informatik ist eine kontextfreie Sprache (CFL) eine formale Sprache, die durch eine kontextfreie Grammatik beschrieben werden kann.
Sehen Elementare Sprache und Kontextfreie Sprache
Kontextsensitive Sprache
Die kontextsensitiven Sprachen (englisch context-sensitive languages, abgekürzt durch CSL) sind eine Klasse der formalen Sprachen, einem Teilgebiet der Theoretischen Informatik.
Sehen Elementare Sprache und Kontextsensitive Sprache
Logische Formel
Der Ausdruck logische Formel bezeichnet einen logisch sinnvollen Ausdruck, so z. B.
Sehen Elementare Sprache und Logische Formel
Mengenlehre
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.
Sehen Elementare Sprache und Mengenlehre
Polnische Notation
Polnische Notation (PN), auch Normale Polnische Notation (NPN), Präfixnotation, Ćukasiewicz-Notation oder Warschauer Normalform genannt, ist (in der Informatik und mathematischen Logik) eine klammerfreie Schreibweise für Formeln bzw.
Sehen Elementare Sprache und Polnische Notation
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Sehen Elementare Sprache und Prädikatenlogik erster Stufe
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Sehen Elementare Sprache und Quantor
Rekursion
Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.
Sehen Elementare Sprache und Rekursion
Rekursiv aufzählbare Sprache
In der theoretischen Informatik ist eine rekursiv aufzählbare Sprache (auch bekannt als semientscheidbare oder erkennbare Sprache) L dadurch definiert, dass es eine Turingmaschine gibt, die alle Wörter aus L akzeptiert, aber keine Wörter, die nicht in L liegen.
Sehen Elementare Sprache und Rekursiv aufzählbare Sprache
Relation (Mathematik)
Eine Relation („Beziehung“, „Verhältnis“) ist allgemein eine Beziehung, die zwischen Dingen bestehen kann.
Sehen Elementare Sprache und Relation (Mathematik)
Ring (Algebra)
Ein Ring ist eine algebraische Struktur, in der, wie z. B.
Sehen Elementare Sprache und Ring (Algebra)
Sequenzenkalkül
In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül formale Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen.
Sehen Elementare Sprache und Sequenzenkalkül
Signatur (Modelltheorie)
In der mathematischen Logik und insbesondere in der Modelltheorie besteht eine Signatur aus der Menge der Symbole, die in der betrachteten Sprache zu den üblichen, rein logischen Symbolen hinzukommt, und einer Abbildung, die jedem Symbol der Signatur eine Stelligkeit eindeutig zuordnet.
Sehen Elementare Sprache und Signatur (Modelltheorie)
Variable (Mathematik)
Eine Variable ist ein Name für eine Leerstelle in einem logischen oder mathematischen Ausdruck.
Sehen Elementare Sprache und Variable (Mathematik)
Auch bekannt als Atomformel, Sprache erster Stufe.