| Die Mathe-Redaktion - 25.05.2013 08:31 |
Auswahl Aktion im Forum Zur Anmeldung Beiträge in den Foren Frage stellen Zum Mathe-Forum Zum Schulmathe-Forum Zum Physik-Forum Zum Informatik-Forum Suche im Forum Suche Kontakt Mail an Matroid [Keine Übungsaufgaben!] Impressum Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und die Forumregeln. Sie können Mitglied werden oder den Newsletter bestellen. Für Mitglieder Mathematisch für Anfänger
Wer ist Online Sie können Mitglied werden: Klick hier. |
Einträge zum Stichwort Reine Mathematik In Vorfreude auf die Ferien, im von der Frühlingssonne
reichlich beschienenen Bus sitzend, dachte ich
mir eine Funktion, deren Definitionsbereich zunächst,
bevor irgendetwas anderes untersucht werden sollte,
ermittelt werden musste. Während der Fahrt, als
sich der Bus dem Ziel näherte, tauft Eine Einführung und Beginn einer geplanten Reihe über Wavelets Ein Artikel über die so genannte schwache Konvergenz von Folgen und die von der schwachen Konvergenz erzeugte Topologie. In diesem Artikel soll eine möglichst vollständige Sammlung von speziellen Funktionen und ihren Eigenschaften entstehen. Mit speziellen Funktionen bezeichne ich hier Funktionen wie die Legendre-, Laguerrepolynome oder die Bessel-, sphärischharmonische- und Neumannfunktionen. Es wurde bereits hier ein Artikel über den Satz von Schröder-Bernstein geschrieben. Dieser besagt folgendes:
Gibt es Injektionen A -> B, B -> A, so gibt es eine Bijektion A -> B. Schon vor 2 Jahren hatte ich einen Artikel 'Was ist ein Matroid' geschrieben, der mir heute aber nicht mehr gefiel.Hier ist eine überarbeitet und erweiterte Fassung. Ich werde erklären, was ein Matroid ist, warum man sich damit beschäftigt und der Frage nachgehen, in welchem Sinne Matroide nützlich sind. Gruppenzwang VIII: Konvois auf der A20: Autos nur noch in Gruppen unterwegs [von Gockel]
Das Thema dieses Artikels sind interessante und nützliche Sätze über abelsche Gruppen sein: Der Struktursatz für endliche abelsche Gruppen und die Struktur der primen Restklassengruppen Gruppenzwang IX: Unfall im Genlabor: (Per)mutationen in der Bevölkerung [von Gockel]
Teil 9 der Reihe behandelt Permutationsgruppen und elementare Eigenschaften der endlichen symmetrischen Gruppen, die im Zusammenhang mit Algebra I oft gebraucht werden. Beginn einer Reihe über Zahlentheoretische Funktionen. Teil 1 beschäftigt sich mit Beispielen wie der Euler'schen Totient- und der Teileranzahl-Funktion sowie deren elementaren Eigenschaften. Darstellungstheorie endlicher Gruppen oder: auf den Charakter kommt es an
Teil 1: Lineare Darstellungen
Diese Artikelserie wird sich mit der Darstellungstheorie endlicher Gruppen beschäftigen.
Dies ist der erste von drei Teilen:
Teil 1: Lineare Darstellungen
Teil 2: Charaktertheorie
Teil 3 Darstellungstheorie endlicher Gruppen oder: auf den Charakter kommt es an
Teil 2: Charaktertheorie
Diese Artikelserie wird sich mit der Darstellungstheorie endlicher Gruppen beschäftigen.
Dies ist der zweite von drei Teilen:
Teil 1:Lineare Darstellungen
Teil 2: Charaktertheorie
Teil 3: Unt Dieser Artikel setzt Zaos' Einführung in die Kategorientheorie fort. Es werden die Begriffe Monomorphismus, Epimorphismus und Isomorphismus in beliebigen Kategorien eingeführt. Sie verallgemeinern die Begriffe Injektion, Surjektion und Bijektion. Ein wenig
Hauptachsentransformation
bei gedrehten Kegelschnitten (KS) Die Bergische Universität Wuppertal hat eine tolle Sammlung interaktiver Seiten. Hier geht es zu den Primzahlgeheimnissen
Bietet aussagekräftige Java-Applets, kurze Erklärungen, gute Verständlichkeit.
Bei den Primzahlen gibt's die Themen
- Primzahlen
- Eratosthenes
- Primzahlzwillinge
Eine Fast-Primzahl ist eine Zahl die nur 2 Teiler hat.
14=2*7
Die Zahl selber und 1 gelten nicht als Teiler.
Man kann zeigen, dass jede Fast-Primzahl
das Produkt von zwei Primzahlen sein muss.
Ein Artikel über das Sieb des Eratosthenes, Primzahlkriterien, Mersennesche Primzahlen, Vollkommene Zahlen und Zusammenhänge Nachdem mein letzter Beitrag von Fast-Primzahlen gehandelt hat, spielen jene auch hier wieder eine Rolle.
Fermat hat bewiesen, dass der Flächeninhalt eines rechtwinkeligen Dreiecks mit ganzzahligen Seiten (3²+4²=5² als Beispiel) nie eine Quadratzahl sein kann.
Ich werde nun versuchen den - hoffe Im Laufe eines Mathematikstudiums begegnen einem Studenten viele, zum Teil verschiedenartige Strukturen: Gruppen, Körper und Vektorräume in der Linearen Algebra, Stetigkeit und Konvergenz (in metrischen Räumen), differenzierbare Strukturen (in normierten Vektorräumen) in der Analysis. Später begegne Einleitung
In diesem Artikel werde ich meine Technik vorstellen, mit der man eine quadratische Funktion, die durch 0, eine frei wählbare Nullstelle und einen frei wählbaren Punkt geht, erzeugen kann. Das ganze wird anhand von Beispielen verdeutlicht.
Liebe Planetarier, Dieser Artikel ist einerseits als Fortsetzung des Artikels Kategorientheorie, in dem ich eine Einführung in die Sprache der Kategorien gab, gedacht. Andererseits will Ich ich eine Einführung in die Technik von Diagrammen und Sequenzen geben. Letztere sind sehr mächtige und effi ... Ich moechte euch ein bisschen was ueber Hamiltonkreise erzaehlen, bzw. ueber Graphen und notwendige Bedingungen fuer die Existenz von Hamiltonkreisen. Deshalb zuerst eine kleine (wirklich kleine, ich erzaehl' nur das, was wir fuer die Hamiltonkreise brauchen) Einfuehrung in die Gr ... In diesem Artikel möchte ich drei kleine Sätze über Primzahlen vorstellen.
Der Erste beantwortet die Frage: "Wann gibt es drei Primzahlen mit einer konstanten Differenz a, x, x+a und x+2a?". Der Zweite klärt eine Frage zur Faktorenzerlegung und der Dritte, das eigentliche Juwel, beinhaltet eine Ver Der Satz von Burnside charakterisiert nilpotente Gruppen mit einer Vielzahl von zueinander äquivalenten Strukturaussagen. Die 3 Isomorphiesätze werden hier bewiesen In diesem Artikel wird das Ziegenproblem genauer untersucht.
Die Aufgabenstellung:
Ein Bauer habe eine quadratische bzw. runde Wiese und eine Ziege. Die Ziege sei in der Mitte einer
Wiesenseite mit einer Leine angebunden.
Die Frage ist nun, wie lang die Leine sein muss, damit die Ziege gena Einführung in das Konzept der Gruppenoperation mit Beweis der Bahnformel, das Zentrum von p-Gruppen ist nichttrivial, Beweis der Sylow-Sätze Subnormalreihen und Ausflösbarkeit werden hier besprochen Ein wunderbarer Artikel zu Schleppkurven (Einfach-)Integralberechnung mit Hilfe eines Doppelintegrals - ein Beispiel [von cryptoworm]
Hier wird das Integral von e-x2 von -oo bis +oo ausgewertet. Irrationalität von e und pi sowie die Transzendenz von e werden hier bewiesen. Beweis der Transzendenz von pi. "Die Transzendenz von Pi Als Ferdinand LINDEMANN 1882 die Transzendenz von Pi bewies, hatte er ein zwei Jahrtausende altes Problem erledigt: Die Quadratur des Kreises, oder, in heutiger Sprache, die Konstruktion zweier Strecken mit dem Längenverhältnis Pi nur mit Zirkel und Lineal. ..." Hier werden interessante Sachen über algebraische Zahlen und deren MiPo bewiesen. " Was hat es mit dem sogenannten "Körper der algebraischen Zahlen über Q" auf sich, wie zeigt man dessen Körpereigenschaften und wie bestimmt man das Minimalpolynom einer gegebenen algebraischen Zahl?" Einführung in die Welt von transzendenten und irrationalen Zahlen Eine der allgemein unverständlichsten Logeleien ist die Tatsache, dass aus einer falschen Voraussetzung alles mögliche folgt. Einstein wurde einmal gefragt, ob er das verständlich erklären könne.
Seine Antwort: "Wenn 1+1 gleich 1 ist, bin ich der Papst."
Argumentation?? Das Brachistochronenproblem Ich möchte in diesem Artikel einen Beweis des Satzes von Schroeder-Bernstein vorstellen, den ich für sehr schön halte. Hier wird eine Verallgemeinerung des Gauss'schen Verfahrens zur Summation der Zahlen von 1 bis n besprochen. Überblick über diese eher selten verwendete Art von Funktionen "In dieser Arbeit möchte ich die diophantischen Gleichungen der
Form xn+yn=zn [...] betrachten."
- mit diesem zurückhaltenden Satz beginnt eine 23-seitige Ausarbeitung,
in der Geschichte und Beweise der Fälle n=1 bis n=7 konkret gegeben
werden und schließlich ein Überblick der weiteren Absch... stellt eine Alternative zum erweiterten euklidischen Algorithmus, der z.B. hier vorgestellt wird, dar. Dabei werden in einem euklidischen Ring R für zwei Elemente p,q ein größter gemeinsamer Teiler c von p,q und Elemente r,s mit c = rp + sq gesucht. Vollstänige Klassifizierung der endlichen Gruppen der Ordnung pq mit Primzahlen p und q. ...hat viele Anwendungen, etwa bei der Jordan'schen Normalform, beim Lösen von simultanen Kongruenzen und bei der Interpolation von Polynomen. Er ist in vielen Formen bekannt, sodass es sich lohnt, zunächst allgemeinere Untersu chungen durchzuführen. Gitter über komplexen Zahlen und ihre Verbindung zu elliptischen Kurven Ordinalzahlen und natürliche Zahlen Ordinalzahlarithmetik, Definition von Addition und Multiplikation auf Ordinalzahlen, Beweis einiger Rechengesetze Viele von euch haben bestimmt schon mal vom Vierfarbensatz gehört: Jede Landkarte lässt sich mit 4 Farben färben, so dass benachbarte Länder verschiedene Farben haben.
Der Beweis dafür ist serh schwer. Für 5 Farben geht es aber einfacher, wie Fabi hier gezeigt hat. Konstruktion der ganzen Zahlen aus den natürlichen Zahlen Einführung in diese Interessante Verbindung von Gruppen- und Graphentheorie. Konstruktion der rationalen Zahlen als Quotientenkörper Eine Kugel ist eine Kugel ist... sind zwei Kugeln?! - Der Satz von Banach-Tarski Konstruktion der reellen Zahlen durch Dedekind-Schnitte aus den rationalen Zahlen Beweis der Rechengesetze der natürlichen Zahlen anhand der Peano-Axiome. Untergruppen, Produkte von Gruppen und geliftete Charaktere [von jannna]
3. Teil der Serie "Darstellungstheorie endlicher Gruppen oder: auf den Charakter kommt es an" über Untergruppen, Produkte von Gruppen und geliftete Charaktere Dass jeder ebene Graph 5-färbbar ist, hat Fabi bereits hier bewiesen.
Aber ich werde diesen Satz auf eine andere Art und Weise beweisen.
Kombinatorischer und mit Listenfärbung Beweis der Äquivalenz von "Jeder Vektorraum hat eine Basis" und dem Auswahlaxiom. Formale und sehr ausführliche Betrachtung von Polynomringen Ein interessanter Numerik-Artikel über die Singulärwertzerlegung und ihre Anwendungen in der Numerik. Alle vollständig angeordneten Körper sind isomorph zu IR Ein Polynom in der Unbestimmten x, das vollständig in die Linearfaktoren der Nullstellen zerfällt, lässt sich ausmultiplizieren. Die Koeffizienten vor den x-Potenzen sind Polynome in den Nullstellen. Doch wie sehen diese aus? Der Unterschied von Kern und kern sowie ihr Zusammenhang zu Äquvalenzrelationen, Fasern, Faktorgruppen und Lösungräumen von LGS Geometrie der Einheitsquaternionen und ein wenig über stereographische Projektion Die Abzählbarkeit der Rationalen Zahlen zeigt Cantors Beweis Diese Ausarbeitung beschäftigt sich mit einer Theorie der Strukturen. Die Mathematik hat bereits sehr viele Strukturen hervorgebracht, die sich von Gruppen, über Körper bis zu Vektorräumen erstrecken, um nur einige wenige Bekannte zu nennen.
Allerdings werden die Strukturen immer komplexer und umfangreicher, mit verschiedensten Spezifikationen, um den Ansprüchen gerecht zu werden, die an sie gestellt werden. Die vereinheitlichte Theorie, die uns eine abstrakte Behandlung aller mathematischen Strukturen erlauben soll, ist die Kategorientheorie, mit der wir uns in diesem Artikel beschäftigen wollten. Dieser Teil der Serie behandelt topologische Gruppen und ihre Eigenschaften. Im zweiten Teil werden unitäre Gruppen untersucht und bewiesen, dass PSU(2) eine einfache Gruppe ist Überblick über die Galoistheorie für unendliche Galois- und sogar beliebige Körpererweiterungen. Dieser Artikel beschäftigt sich mit einer Einführung in die Theorie der Distributionen mit einer Motivation aus der Physik. Wie man die Gruppeneigenschaft an einem einzigen Axiom beweist. Gruppenzwang VIII - Exkurs Ein ausgelagerter Satz des achten Teils der Gruppenzwangreihe, der die Automorphismengruppen endlicher und endlich erzeugter abelscher Gruppen klassifiziert. Eine motivierende Einführung in die Theorie der nichtganzzahligen Ableitungen [von scorp]
Werte Planetenbewohner,
mit diesem Artikel möchte ich nun endlich ein zwei Jahre altes Versprechen einlösen und ein wenig über nichtganzzahlige Ableitungen berichten. (Das Thema, welches mich bei Recherchen vor drei Jahren zufällig auf den MP verschlug.)
Dieser Artikel enthält einen Beweis des Satzes von Siepiński, der besagt, dass das Auswahlaxiom aus der verallgemeinerten Kontinuumshypothese folgt. In diesem Artikel wird anschaulich erklärt, was ein Schema ist; ein zentraler Begriff der algebraischen Geometrie. Dabei werden nur die Ideen grob skizziert. Zum Verständnis sind nur algebraische und topologische Grundbegriffe nötig. Exkurs über Gruppen, Untergruppen, zyklische Untergruppen, Satz von Lagrange... Beweis des Stone'schen Darstellungssatzes für Boole'sche Algebren mit und ohne Eins. Die Fortsetzung des Artikels über Bochner-Integrale. Dieses Mal wird das Pettis-Integral vorgestellt und ein paar wesentliche Eigenschaften bewiesen. Dazu werden als Anwendung ein paar Sätze über Funktionentheorie in beliebigdimensionalen IC-Vektorräumen bewiesen. Der dritte Teil der Reihe beweist mit Mitteln der algebraischen Topologie den Brouwerschen Fixpunktsatz, den Jordanschen Kurvensatz und den Satz von der Invarianz des Gebiets. Dieser Artikel stellt den ersten Teil der Serie Algebraische Topologie dar und führt mit motivierenden Beispielen in die Ideen einiger Konstruktionen aus der Alg.Topologie ein. Beispiele aus Analysis, Funktionentheorie, Kombinatorik und anderen Bereichen werden gegeben. Im vierten Teil der Reihe wird eine konkrete Homologietheorie konstruiert, während vorher nur rein axiomatisch argumentiert wurde.
Die Beweise der Eilenberg-Steenrod-Axiome werden zumindest skizziert, wenn auch nicht vollständig ausgeführt. Untersuchung der Sinnhaftigkeit von Tensorprodukten unendlich vieler Moduln. u.A. wird neben der üblichen Definition über multilineare Abbildungen eine weitere Definition für Algebren vorgestellt und deren Auswirkungen besprochen. Fortsetzung des Artikels über universelle Eigenschaften. Es wird eine Fülle von Beispielen vorgeführt. Lineare Differentialgleichungen n. Ordnung mit konstanten Koeffizienten [von DanielW]
Die Theorie linearer Differentialgleichungen mit konstanten Koeffizienten. Angabe der Standardlösungen für die homogene Gleichung und Beweis dessen. Lösungen für die inhomogene Gleichung. Beweis des Satzes von Cayley-Hamilton durch ein Dichtsheitsargument in der Zariski-Topologie. Elfter Teil der Gruppenzwangreihe. Hier geht es um Kranzprodukte, Äquivalenz von Gruppenerweiterungen, den Satz von Kaloujnine-Krasner und es werden die Sylowgruppen der GL(n,q) sowie Sym(n) klassifiziert. Dieser Artikel ist entstanden als Antwort auf ein Problem von spitzwegerich, das <a href="viewtopic.php?topic=61766&start=0">hier behandelt wurde. Die Ausgangssituation ist die Folge (a(n)), die durch folgende Rekursion definiert ist: a(0)=1 a(1)=0 a(n+1)=a(n)+a(n-1)/((2n-1)*(2n+1)) für alle natürlichen n Die Definition der Gruppenverknüpfung auf elliptischen Kurven sowie der Nachweis der Gruppenaxiome, insbesondere des Assoziativgesetzes auf elementare Weise. Zehnter Teil der Gruppenzwang-Reihe. In diesem Artikel werden Gruppenerweiterungen und semidirekte Produkte eingeführt. Als Anwendung wird der Satz von Schur-Zassenhaus bewiesen.
Außerdem werden Darstellung häufig benötigter Gruppen als semidirekte Produkte bewiesen. Einführung in die multilineare Algebra mit einer ausführlichen Besprechung von multilinearen Abbildungen und Tensorprodukten. Artikel über die Konstruktion von IC, IH und IO aus den reellen Zahlen durch die Verdopplungskonstruktion von Cayley-Dickson. Es wird beweisen, dass IR, IC, IH, IO die einzigen reellen, normierten Divisionsalgebren sind. Vorstellung des Bochner-Integrals, einer Verallgemeinerung des Lebesgue'schen Integralbegriffs auf bestimmte vektorwertige Funktionen. Beweis einiger grundlegender Sätze dazu. Verallgemeinerung des Dualitätssatzes von Gelfand-Naimark auf kommutative C*-Algebren ohne 1. Diese sind zu lokalkompaktem Räumen dual. Ein Beweis dieser Dualität und einiger seiner Konsequenzen finet sich hier. Darstellung von Methoden zur Berechnung von Galoisgruppen, die über die üblichen Trivialitäten hinaus gehen. Artikel über topologische und speziell lokalkonvexe Vektorräume. Grundlegende Eigenschaften wie Vollständigkeit, Kompaktheit, totale Beschränktheit werden für topologische Vektorräume eingeführt. Diverse Beispiele für lokalkonvexe Räume (wie etwa Distributionenräume) werden vorgestellt. Es wird der Schauder'sche Fixpunktsatz - eine weitreichende Verallgemeinerung des Brouwer'schen Fixpunktsatzes - vorgestellt und der Spezialfall von Tychonoff bewiesen. Es werden Anwendungen in der Theorie der Differentialgleichungen vorgestellt. Einführungsartikel, Inhaltsangabe und Auftakt zur Serie über Globale Analysis von kostja und Mentat. Erster Artikel der Serie über globale Analysis. Es geht in diesem Teil um (Alternierende) Multilinearformen. Beweis, dass "Beschränkt+abgeschlossen=kompakt" in normierten Räumen genau für die endlichdimensionalen richtig ist. Außerdem wird ein Beispiel für einen nicht-normierbaren Raum gegeben, in dem die Aussage trotzdem gilt: Der Raum der holomorphen Funktionen H(U). Ein Artikel über universelle Eigenschaften, Morphismen und Objekte in der Kategorientheorie. Darstellung einer rekursiven Formel für die Summe über n^m ohne Verwendung der Bernoulli-Zahlen.
Freie Gruppen, Erzeugende und Relationen Cayley-Graphen, Satz von Schreier-Nielsen Einführung in die Theorie der Ringe und Moduln. Behandelt die Untermoduln und Ideale, Homomorphismen, Quotientenringe und -moduln, Isomorphiesätze. Inhaltsverzeichnis der Reihe Algebraische Topologie Der Artikel definiert (exakte) Sequenzen und beweist einige wichtige Sätze darüber. Darunter das Schlangenlemma, Fünfer-Lemma und das Barratt-Whitehead-Lemma. Der zweite Teil der Reihe gibt die Definition der Eilenberg-Steenrod-Axiome an und leitet einfache Aussagen aus diesen Axiomen ab. Unter anderem werden die Homologien von Sphären bestimmt und der Satz über die Invarianz der Dimension bewiesen. In diesem Artikel geht es um Kettenkomplexe und deren Homologien. In diesem zweiten Teil geht es nun darum, genauer zu erklären, was ein Schema ist. Dabei wird die Analogie zu glatten Mannigfaltigkeiten präzise gemacht. Sesquilinear- und quadratische Formen II - Basen und der Satz von Witt [von Gockel]
Beweis des Fortsetzungssatzes von Witt für alternierende und hermitesche Sesquilinearformen sowie quadratische Formen. Anwendungen. Mit Hilfe des Residuensatzes wird ζ(2) berechnet. Ein Artikel zum Satz des Jahres 2011. Fortsetzung des Artikels zur Untersuchung Gruppen kleiner Ordnung auf Einfachheit. Es wird u.A. der Satz von Frobenius über p-Nilpotenz bewiesen. Inhaltsverzeichnis der Artikelserie zu endlichen, einfachen Gruppen. Erster Teil der Reihe über Gruppenoperationen. Die Einfachheit von Alt(n) wird auf zwei verschiedene Weisen bewiesen. Eine zweiteilige Mini-Reihe über diverse Techniken, um Nichteinfachheit bei kleinen Gruppenordnungen zu erkennen. Highlight dieses Teils ist der Verlagerungssatz von Burnside. Definitionen und grundlegende Eigenschaften von Sesquilinear-, Bilinear- und hermiteschen Formen und quadratischen Formen. Klassifikation der meisten endlichdimensionalen, symplektischen/unitären/orthogonalen Räume über endlichen Körpern. Es wird außerdem die Gruppenordnung der jeweiligen Isometriegruppen hergeleitet. ... ist ein endlicher topologischer Raum, den man sich so vorstellen kann: Er hat zwar nur vier Elemente, ist aber aus Sicht der Homotopietheorie nicht vom Einheitskreis S^1. In diesem Artikel werde ich erklären, was es damit auf sich hat. Warum diese Sucht nach Rekorden bei der Berechnung weiterer Dezimalstellen von ?
Der letzte Rekord steht bei 206.158.430.000 Dezimalstellen (siehe PI news by Kanada Laboratory. Wie viel das ist, kann ich mir schon nicht mehr vorstellen. Schon 100.000 Stellen füllen viele Seiten. Wer mag kann sich d Aus der Linearen Algebra kennen wir einige :
label(1)bigdarkgreen dim(U)+dim(W)=dim(U cut W)+dim(U + W)
label(2)bigdarkgreen dim(Bild(f))+dim(Kern(f))=dim(V)
label(3)bigdarkgreen dim(V/U)+dim(U)=dim(V)
Dabei sind U,W Unterräume eines K-Vektorraumes V und Der Beweis, dass es unendlich viele Primzahlen gibt, lässt sich auch über die Mersenne-Zahlen führen, so dachte ich mir, als ich mich eine Weile mit den Mersenne-Zahlen beschäftigt hatte...
stress 1. Definition
Es sei n el IN_>0 . Dann ist M_n =2^n-1 die n-te Me Einführung in die p-adischen Zahlen, mit funktionentheoretischer Motivation und algebraischer Konstruktion, ergänzt durch Demonstration von Berechnungen durch ein Computer-Algebra-System. Ultrafilter sind sehr seltsame mengentheoretische Objekte. Kein Mensch kann sich vorstellen wie ein freier Ultrafilter aussieht. Trotzdem lässt sich damit eine Menge interessanter Mathematik betreiben. Wir verwenden Ultrafilter um eine Reihe spektakulärer Sätze zu Beweisen. Insbesondere beweisen wir Tychonoffs Produkttheorem und den Kompaktheitssatz der Aussagenlogik. Heute, Gestern, vor 2 oder 3 Tagen geändert      
|