Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Struktur (erste Stufe)

Index Struktur (erste Stufe)

Der Begriff der Struktur ist ein Grundbegriff der mathematischen Teilgebiete der Modelltheorie und der universellen Algebra.

47 Beziehungen: Addition, Algebraische Struktur, Algebraisches Hüllensystem, Aussagenlogik, Äquivalenzrelation, Bjarni Jónsson (Mathematiker), Direktes Produkt, Disjunkte Vereinigung, Elementare Äquivalenz, Elementare Klasse, Elementare Sprache, Elementare Unterstruktur, Entscheidbar, Erfüllbarkeit, Funktion (Mathematik), Ganze Zahl, Heterogene Algebra, Kartesisches Produkt, Kongruenzrelation, Konstantenexpansion, Kontradiktion, Leere Menge, Logische Formel, Mathematische Struktur, Menge (Mathematik), Modelltheorie, Multiplikation, Natürliche Zahl, Ordinalzahl, Ordnungsrelation, Prädikatenlogik erster Stufe, Produkt und Koprodukt, Rationale Zahl, Relation (Mathematik), Signatur (Modelltheorie), Springer Science+Business Media, Springer Vieweg, Stelligkeit, Tautologie (Logik), Teilgebiete der Mathematik, Tupel, Ultraprodukt, Universelle Algebra, Vergleich (Zahlen), Wahrheitswert, Wohlordnung, Wolfgang Rautenberg.

Addition

Die Addition (von addere „hinzufügen“), umgangssprachlich auch Plus-Rechnen oder Und-Rechnen genannt, ist eine der vier Grundrechenarten in der Arithmetik.

Neu!!: Struktur (erste Stufe) und Addition · Mehr sehen »

Algebraische Struktur

Der Begriff der algebraischen Struktur (oder universellen Algebra, allgemeinen Algebra oder nur Algebra) ist ein Grundbegriff und zentraler Untersuchungsgegenstand des mathematischen Teilgebietes der universellen Algebra.

Neu!!: Struktur (erste Stufe) und Algebraische Struktur · Mehr sehen »

Algebraisches Hüllensystem

Algebraische Hüllensysteme sind ein Begriff aus dem mathematischen Teilgebiet der universellen Algebra.

Neu!!: Struktur (erste Stufe) und Algebraisches Hüllensystem · Mehr sehen »

Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Neu!!: Struktur (erste Stufe) und Aussagenlogik · Mehr sehen »

Äquivalenzrelation

Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.

Neu!!: Struktur (erste Stufe) und Äquivalenzrelation · Mehr sehen »

Bjarni Jónsson (Mathematiker)

Bjarni Jónsson (1976) Bjarni Jónsson (* 15. Februar 1920 in Draghals, Island; † 30. September 2016) war ein isländisch-US-amerikanischer Mathematiker, der sich mit Logik, Universeller Algebra und Theorie der Verbände beschäftigte.

Neu!!: Struktur (erste Stufe) und Bjarni Jónsson (Mathematiker) · Mehr sehen »

Direktes Produkt

In der Mathematik ist ein direktes Produkt eine mathematische Struktur, die mit Hilfe des kartesischen Produkts aus vorhandenen mathematischen Strukturen gebildet wird.

Neu!!: Struktur (erste Stufe) und Direktes Produkt · Mehr sehen »

Disjunkte Vereinigung

Die disjunktive Vereinigung der Mengen A und B ist eine andere Menge A \sqcup B, die aus allen Elementen von A und B konstruiert wird, ohne verdoppelte Elemente aus A und B als "dieselben" zu identifizieren. Im Bild besitzt jedes Polygon ein "Etikett", welches die Unterscheidung von sonst gleichen Figuren ermöglicht. Im mathematischen Teilgebiet der Mengenlehre gibt es zwei leicht unterschiedliche Verwendungen des Begriffes disjunkte Vereinigung.

Neu!!: Struktur (erste Stufe) und Disjunkte Vereinigung · Mehr sehen »

Elementare Äquivalenz

Die elementare Äquivalenz ist ein Begriff aus der Modelltheorie, einem Teilgebiet der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Elementare Äquivalenz · Mehr sehen »

Elementare Klasse

Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Elementare Klasse · Mehr sehen »

Elementare Sprache

Eine elementare Sprache L^S (auch: Sprache erster Stufe mit der Symbolmenge S) ist eine im Rahmen der Prädikatenlogik erster Stufe definierte formale Sprache.

Neu!!: Struktur (erste Stufe) und Elementare Sprache · Mehr sehen »

Elementare Unterstruktur

Der Begriff elementare Unterstruktur (oder elementare Substruktur) entstammt der Modelltheorie, einem Gebiet der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Elementare Unterstruktur · Mehr sehen »

Entscheidbar

In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.

Neu!!: Struktur (erste Stufe) und Entscheidbar · Mehr sehen »

Erfüllbarkeit

Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen.

Neu!!: Struktur (erste Stufe) und Erfüllbarkeit · Mehr sehen »

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.

Neu!!: Struktur (erste Stufe) und Funktion (Mathematik) · Mehr sehen »

Ganze Zahl

natürlichen Zahlen (ℕ). Die ganzen Zahlen (auch Ganzzahlen) sind eine Erweiterung der natürlichen Zahlen.

Neu!!: Struktur (erste Stufe) und Ganze Zahl · Mehr sehen »

Heterogene Algebra

Heterogene Algebren sind im mathematischen Teilgebiet der universellen Algebra untersuchte algebraische Strukturen und stellen in gewissem Sinn eine Verallgemeinerung von universellen Algebren (zu unterscheiden von der Disziplin) dar.

Neu!!: Struktur (erste Stufe) und Heterogene Algebra · Mehr sehen »

Kartesisches Produkt

Das kartesische Produkt A \times B der beiden Mengen A.

Neu!!: Struktur (erste Stufe) und Kartesisches Produkt · Mehr sehen »

Kongruenzrelation

In der Mathematik, genauer der Algebra, nennt man eine Äquivalenzrelation auf einer algebraischen Struktur eine Kongruenzrelation, wenn die fundamentalen Operationen der algebraischen Struktur mit dieser Äquivalenzrelation verträglich sind.

Neu!!: Struktur (erste Stufe) und Kongruenzrelation · Mehr sehen »

Konstantenexpansion

Die Konstantenerweiterung oder Konstantenexpansion ist ein wichtiges Verfahren in der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Konstantenexpansion · Mehr sehen »

Kontradiktion

Eine Kontradiktion (aus, „gegen“ und, „das Sagen, Reden“; „Gegenrede, Widerspruch“) liegt in der Logik vor, wenn zwei Begriffe, Urteile oder Aussagen im Widerspruch zueinander stehen und eine gegenseitige Negation darstellen.

Neu!!: Struktur (erste Stufe) und Kontradiktion · Mehr sehen »

Leere Menge

Die leere Menge ist ein grundlegender Begriff aus der Mengenlehre.

Neu!!: Struktur (erste Stufe) und Leere Menge · Mehr sehen »

Logische Formel

Der Ausdruck logische Formel bezeichnet einen logisch sinnvollen Ausdruck, so z. B.

Neu!!: Struktur (erste Stufe) und Logische Formel · Mehr sehen »

Mathematische Struktur

Eine mathematische Struktur ist eine Menge mit bestimmten Eigenschaften.

Neu!!: Struktur (erste Stufe) und Mathematische Struktur · Mehr sehen »

Menge (Mathematik)

Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.

Neu!!: Struktur (erste Stufe) und Menge (Mathematik) · Mehr sehen »

Modelltheorie

Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Modelltheorie · Mehr sehen »

Multiplikation

Beispiel einer Multiplikation: 3\cdot4.

Neu!!: Struktur (erste Stufe) und Multiplikation · Mehr sehen »

Natürliche Zahl

reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.

Neu!!: Struktur (erste Stufe) und Natürliche Zahl · Mehr sehen »

Ordinalzahl

Ordinalzahlen von 0 bis ωω Ordinalzahlen sind mathematische Objekte, die das Konzept der Position oder des Index eines Elementes in einer Folge auf Wohlordnungen über beliebigen Mengen verallgemeinern.

Neu!!: Struktur (erste Stufe) und Ordinalzahl · Mehr sehen »

Ordnungsrelation

Ordnungsrelationen sind in der Mathematik Verallgemeinerungen der „kleiner-gleich“-Beziehung.

Neu!!: Struktur (erste Stufe) und Ordnungsrelation · Mehr sehen »

Prädikatenlogik erster Stufe

Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.

Neu!!: Struktur (erste Stufe) und Prädikatenlogik erster Stufe · Mehr sehen »

Produkt und Koprodukt

In der Kategorientheorie sind Produkt und Koprodukt zueinander duale Konzepte, um Familien von Objekten einer Kategorie ein Objekt zuzuordnen.

Neu!!: Struktur (erste Stufe) und Produkt und Koprodukt · Mehr sehen »

Rationale Zahl

natürlichen Zahlen (ℕ) gehören. Eine rationale Zahl ist eine reelle Zahl, die als Verhältnis zweier ganzer Zahlen dargestellt werden kann.

Neu!!: Struktur (erste Stufe) und Rationale Zahl · Mehr sehen »

Relation (Mathematik)

Eine Relation („Beziehung“, „Verhältnis“) ist allgemein eine Beziehung, die zwischen Dingen bestehen kann.

Neu!!: Struktur (erste Stufe) und Relation (Mathematik) · Mehr sehen »

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.

Neu!!: Struktur (erste Stufe) und Signatur (Modelltheorie) · Mehr sehen »

Springer Science+Business Media

Springer Science+Business Media S.A. mit Sitz in Luxemburg und operativem Hauptbüro in Berlin und Heidelberg war ein internationaler Wissenschaftsverlag für Bücher, Zeitschriften und Online-Medien.

Neu!!: Struktur (erste Stufe) und Springer Science+Business Media · Mehr sehen »

Springer Vieweg

Springer Vieweg ist ein Verlag für klassische und digitale Lehr- und Fachmedien im Bereich Technik mit Sitz in Wiesbaden.

Neu!!: Struktur (erste Stufe) und Springer Vieweg · Mehr sehen »

Stelligkeit

Der Begriff Stelligkeit (auch Arität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw.

Neu!!: Struktur (erste Stufe) und Stelligkeit · Mehr sehen »

Tautologie (Logik)

Eine Tautologie (von ταὐτό t’autó „dasselbe“ und -logie), auch Verum („wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist.

Neu!!: Struktur (erste Stufe) und Tautologie (Logik) · Mehr sehen »

Teilgebiete der Mathematik

Dieser Artikel dient dazu, einen Überblick über die Teilgebiete der Mathematik zu geben.

Neu!!: Struktur (erste Stufe) und Teilgebiete der Mathematik · Mehr sehen »

Tupel

Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.

Neu!!: Struktur (erste Stufe) und Tupel · Mehr sehen »

Ultraprodukt

Ein Ultraprodukt ist ein Konstrukt auf dem Gebiet der Modelltheorie, einem Teilgebiet der Mathematik.

Neu!!: Struktur (erste Stufe) und Ultraprodukt · Mehr sehen »

Universelle Algebra

Die universelle Algebra (auch allgemeine Algebra) ist ein Teilgebiet der Mathematik, genauer der Algebra, das sich mit allgemeinen algebraischen Strukturen und ihren Homomorphismen sowie gewissen Verallgemeinerungen befasst.

Neu!!: Struktur (erste Stufe) und Universelle Algebra · Mehr sehen »

Vergleich (Zahlen)

Die Ordnung der reellen Zahlen wird durch die Zahlengerade veranschaulicht. Nach rechts werden die Zahlen größer, nach links kleiner. In der Mathematik lassen sich Zahlen aus bestimmten Zahlbereichen, etwa denen der natürlichen, ganzen, rationalen oder reellen Zahlen, auf festgelegte Weise vergleichen.

Neu!!: Struktur (erste Stufe) und Vergleich (Zahlen) · Mehr sehen »

Wahrheitswert

Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.

Neu!!: Struktur (erste Stufe) und Wahrheitswert · Mehr sehen »

Wohlordnung

Eine Wohlordnung auf einer Menge S ist eine totale Ordnung, bei der jede nichtleere Teilmenge von S ein kleinstes Element bezüglich dieser Ordnung hat, also eine totale fundierte Ordnung.

Neu!!: Struktur (erste Stufe) und Wohlordnung · Mehr sehen »

Wolfgang Rautenberg

Wolfgang Rautenberg Wolfgang Rautenberg (* 27. Februar 1936 in Potsdam;Kürschners Deutscher Gelehrten-Kalender. 14. Ausgabe. De Gruyter, Berlin / New York 1983, Band 3, S. 3298. † 4. September 2011 in Berlin) war ein deutscher Mathematiker und Logiker.

Neu!!: Struktur (erste Stufe) und Wolfgang Rautenberg · Mehr sehen »

Leitet hier um:

Relationale Struktur, Relationensystem.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »