|
| | | Diff | Volume | Size | Title |
5 | 5 | | 1 k | 1019 | 69 k | Direktiven zur Winterwehrkrafterhaltung (1942) |
2 | 12 | | 5.8 k | 5.7 k | 5.7 k | "Interview II" |
2 | 13 | | 1.6 k | 1.7 k | 13 k | Schreiben und Lernen im Web 2.0 |
1 | 27 | | 2.9 k | 3.3 k | 2.8 k | Gruppentheorie/Kommutativ/Endlich erzeugt/Hauptsatz/Fakt/Beweis |
3 | 3 | | 950 | 950 | 131 k | Direktiven zur Maschinenpflege unter Winterbedingungen (1942) |
1 | 6 | | 7.3 k | 7.2 k | 7.2 k | "Interview I" |
1 | 1 | | 12 k | 12 k | 12 k | Bloggen |
1 | 13 | | 5 k | 4.9 k | 4.9 k | Modultheorie/Z/Elementarteilersatz/Fakt/Beweis |
1 | 7 | | 5.1 k | 5 k | 5 k | Zahlen/Terme/Einführung/Textabschnitt |
2 | 2 | | 886 | 888 | 886 | Matrizenmultiplikation/Assoziativität/Aufgabe |
1 | 3 | | 6.2 k | 6.1 k | 6.1 k | "2. Interview" |
1 | 9 | | 1.9 k | 1.9 k | 3.6 k | Graduiertenkolleg Osnabrück: Kombinatorische Strukturen in Algebra und To… |
1 | 5 | | 4.2 k | 4.1 k | 4.1 k | "Interview III" |
1 | 16 | | 2.8 k | 2.8 k | 2.7 k | Modultheorie/Z/Elementarteilersatz/2x3/Beispiel |
1 | 5 | | 3.6 k | 3.6 k | 3.6 k | Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/F… |
1 | 4 | | 1.3 k | 5.3 k | 1.3 k | Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/T… |
1 | 4 | | 3.8 k | 3.7 k | 3.7 k | Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt/Beweis |
1 | 10 | | 1.4 k | 1.4 k | 1.4 k | Modultheorie/Z/Elementarteilersatz/Fakt |
1 | 7 | | 2.6 k | 2.7 k | 2.5 k | Polynomdivision/(4+3i)x^3+x^2+5i durch (1+i)x^2+x -3+2i/Beispiel |
2 | 3 | | 33 | 47 | 894 | Matrizen/IxJ/nxm/Definition |
2 | 3 | | 20 | 46 | 2.2 k | Vektorraum/Einführendes Beispiel/Glühwein/Beispiel |
2 | 2 | | 0 | 12 k | 5.8 k | Hans Castorps Schneetraum: Das Fin de Siècle |
2 | 2 | | 43 | 49 | 1.3 k | Reelle Zahlen/Folge/Limes und Konvergenz/Definition |
1 | 1 | | 5.7 k | 5.5 k | 5.5 k | A Portal to Media Literacy |
1 | 4 | | 2 k | 2 k | 2 k | Mathematische Logik/Modellbeziehung/Definition |
1 | 3 | | 2.7 k | 2.6 k | 2.6 k | Prädikatenlogik/Koinzidenzlemma/Fakt/Beweis |
1 | 5 | | 1.1 k | 1.1 k | 1.1 k | Erster Gödelscher Unvollständigkeitssatz/Aufzählbar und Repräsentierungen… |
1 | 8 | | 2 k | 2 k | 2 k | Untergruppen von Z^m/Endlich erzeugt/Fakt/Beweis |
1 | 3 | | 3.3 k | 3.2 k | 3.2 k | P-adische Zahlen/Definition der beta Funktion/Textabschnitt |
1 | 7 | | 1.6 k | 1.6 k | 1.6 k | Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition |
1 | 2 | | 2.8 k | 2.8 k | 2.8 k | "3. Interview" |
1 | 3 | | 2 k | 2 k | 2 k | Goldbach-Problem/Maschineller Zugang/Textabschnitt |
1 | 5 | | 2.2 k | 2.1 k | 2.1 k | "Interview Proband 2" |
1 | 4 | | 2.3 k | 2.3 k | 2.3 k | "Interview Proband 1" |
1 | 5 | | 1.1 k | 1 k | 1 k | Genetischer Code/Alphabet/ACGU/Beispiel |
1 | 3 | | 1.9 k | 1.8 k | 1.8 k | Prädikatenlogik/Modellbeziehung/Angeordneter Körper/Beispiel |
2 | 3 | | 0 | 532 | 374 | Betrag/R/Buch/Aufgabe |
1 | 2 | | 2.3 k | 2.3 k | 2.3 k | Prädikatenlogik/Ableitungskalkül/Surjektivität/Verknüpfung/Beispiel |
1 | 3 | | 1.5 k | 1.5 k | 1.5 k | Prädikatenlogik/Koinzidenzlemma/Fakt |
1 | 4 | | 1.8 k | 1.8 k | 1.7 k | Prädikatenlogik/Quantoren/Tautologien/Ableitungen/Fakt/Beweis |
1 | 4 | | 1.2 k | 1.1 k | 3.2 k | Heute-Morgen-Verhältnis |
1 | 2 | | 1.8 k | 1.8 k | 1.8 k | Beschleunigte Maschine/Gedankenexperiment/Aufgabe |
1 | 3 | | 1.7 k | 1.6 k | 1.6 k | Erster Gödelscher Unvollständigkeitssatz/Aufzählbar und Repräsentierungen… |
1 | 3 | | 1.6 k | 1.6 k | 1.6 k | Registermaschine/Zahlen/Befehle/Programm/Definition |
1 | 4 | | 1.4 k | 1.4 k | 1.3 k | Modultheorie/Modul/Definition |
1 | 2 | | 1.7 k | 1.7 k | 1.7 k | Aussagenlogik/Erste Stufe/Identität/Syntaktische Tautologien/Zugehörige S… |
1 | 3 | | 1 k | 1 k | 1 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/… |
1 | 3 | | 1.5 k | 1.5 k | 10 k | Was ist ein gutes Foto? |
1 | 3 | | 1.5 k | 1.4 k | 1.4 k | Alphabet erster Stufe/A/Interpretation für Terme/Definition |
1 | 3 | | 1.4 k | 1.4 k | 1.4 k | Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion… |
1 | 2 | | 1.6 k | 1.5 k | 1.5 k | Population/Vermehrung und Absterben/Aufgabe |
1 | 2 | | 1.5 k | 1.5 k | 1.5 k | Existenzeinführung/Antezedenz/Keine interne Tautologie/Bemerkung |
1 | 2 | | 1.5 k | 1.5 k | 1.5 k | Abbildung/Quadrieren/Injektiv und surjektiv/Beispiel |
1 | 3 | | 1.3 k | 1.3 k | 1.3 k | Registermaschine/Einzelbefehle/Übergang/Arithmetische Repräsentierung/Tex… |
1 | 2 | | 1.4 k | 1.4 k | 1.4 k | Basiswechsel/123/471/025 und 024/661/35-2/Punkt mit Koordinaten 254/Allge… |
1 | 4 | | 1.1 k | 1 k | 1 k | Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion… |
2 | 2 | | 25 | 25 | 2.2 k | Direktiven zum Winterkrieg |
1 | 2 | | 1.4 k | 1.3 k | 1.3 k | Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion… |
1 | 2 | | 1.3 k | 1.3 k | 1.3 k | Basiswechsel/7-4/81 und 46/73/Punkt mit Koordinaten -25/Allgemein/Aufgabe |
1 | 2 | | 1.3 k | 1.3 k | 1.3 k | Registermaschine/Größenvergleich von zwei Registerinhalten/Beispiel |
1 | 2 | | 1.8 k | 1.7 k | 1.7 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Aufzählbar/Fakt… |
1 | 2 | | 1.3 k | 1.2 k | 1.2 k | Zahlentheorie/Peano-Axiome/Operation/Erste Stufe/Axiom |
1 | 2 | | 1.2 k | 1.2 k | 1.2 k | Sprache erster Stufe/Interpretation/Verknüpfungssymbol/Verknüpfung/Beispiel |
1 | 2 | | 1.2 k | 1.2 k | 1.2 k | Term/Weder Variable noch Konstante/Gesamtstelligkeit und Grundtermanzahl/… |
1 | 2 | | 1.2 k | 1.1 k | 1.4 k | Seminar Algebra (Osnabrück 2011-2012)/Vorträge |
1 | 2 | | 1.7 k | 1.6 k | 1.6 k | "Interview Proband 4" |
1 | 2 | | 1.1 k | 1.1 k | 1.1 k | Arithmetische Sprache/Term oder nicht Term/Aufgabe |
1 | 2 | | 1 k | 1 k | 1 k | Elementarmatrizen/Ring/Definition |
1 | 2 | | 1.5 k | 1.4 k | 1.4 k | Dialog- / Konversationsorientiertes Schreiben |
1 | 1 | | 2.9 k | 2.8 k | 2.8 k | Das Schreiben kurzer Texte |
1 | 2 | | 1.2 k | 1.2 k | 1.2 k | Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt/Beweis |
2 | 3 | | 0 | 1.6 k | 19 k | Fachbereich Geschichte/Kolloquium/Archiv/2007 |
1 | 2 | | 1.1 k | 1.1 k | 1.1 k | Theorie/Erster Stufe/Ableitbar/Aufzählbar, vollständig, widerspruchsfrei/… |
1 | 2 | | 1.1 k | 1.1 k | 1.1 k | Registermaschine/Multiplikation von zwei Registerinhalten/Beispiel |
1 | 3 | | 924 | 924 | 924 | Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt |
1 | 2 | | 962 | 962 | 962 | Registermaschine/Übertragung von einem Registerinhalt ohne leeren/Beispiel |
1 | 2 | | 927 | 927 | 927 | Rechenfehler/Bemerkung |
1 | 3 | | 858 | 860 | 858 | Erster Gödelscher Unvollständigkeitssatz/Arithmetisch/Wahr nicht beweisba… |
1 | 5 | | 747 | 891 | 747 | Prädikatenlogik/Größerrelation/Formalisiere/Aufgabe |
1 | 2 | | 889 | 889 | 889 | Zahlentheorie/Peano-Axiome/Nachfolger/Erste Stufe/Axiom |
1 | 2 | | 875 | 875 | 875 | Registermaschine/Gleichheit von zwei Registerinhalten/Beispiel |
1 | 1 | | 2.1 k | 2 k | 2 k | "Interview Proband 3" |
1 | 2 | | 848 | 848 | 848 | Unentscheidbarkeit der Arithmetik/Registermaschine/Fakt |
1 | 2 | | 844 | 848 | 844 | Erster Gödelscher Unvollständigkeitssatz/Arithmetisch/Wahr nicht beweisba… |
1 | 3 | | 910 | 910 | 910 | Matrix/Z/Rang/Definition |
1 | 2 | | 818 | 818 | 818 | Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition |
1 | 4 | | 632 | 1.2 k | 632 | Modultheorie/Untermodul/Definition |
1 | 3 | | 763 | 763 | 763 | Prädikatenlogik/Quantoren/Tautologien/Ableitungen/Fakt |
1 | 2 | | 792 | 800 | 792 | Lineares Gleichungssystem/Mit Parameter/Lösungsgröße/Aufgabe |
1 | 2 | | 785 | 785 | 785 | Prädikatenlogik/Erfüllbar/Durch Modell/Definition |
1 | 2 | | 781 | 781 | 781 | Prädikatenlogik/Erste Stufe/Identität/Syntaktische Tautologien/Sequenzenk… |
1 | 3 | | 613 | 613 | 613 | Lineares Gleichungssystem/Schneeglöckchen und Mistelzweige/Aufgabe |
1 | 3 | | 733 | 733 | 733 | Registermaschine/Addition von zwei Registerinhalten/Beispiel |
1 | 3 | | 635 | 1.2 k | 635 | Modultheorie/Erzeugendensystem/Definition |
1 | 2 | | -768 | 768 | 6.3 k | "1. Interview" |
1 | 3 | | 755 | 1.3 k | 755 | Modultheorie/Endlicher Modul/Definition |
1 | 1 | | 1.7 k | 1.7 k | 1.7 k | Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt |
1 | 3 | | 715 | 715 | 715 | Band um Erde/Ein Meter mehr/Tier drunter durch/Aufgabe |
1 | 2 | | 745 | 745 | 745 | Verschiedene Teilmengen im R^2/Skizziere/3/Aufgabe |
1 | 3 | | 700 | 700 | 700 | Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion… |
1 | 2 | | 719 | 721 | 719 | Theorie der Abbildungen/n-stellige Funktion/Definition |
1 | 3 | | 802 | 802 | 802 | Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Definition |
1 | 2 | | 703 | 703 | 703 | Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition |
1 | 4 | | 606 | 652 | 8.9 k | Annäherung an eine Kunstdefinition |
1 | 2 | | 694 | 694 | 694 | Lineare Abbildung/Auf Basis/(2,1,3) nach (4,7) und (0,4,2) nach (1,1) und… |
1 | 3 | | 767 | 767 | 767 | Theorie/Erster Stufe/Ableitbar/Axiomatisierbar/Entscheidbar/Definition |
1 | 1 | | 1.4 k | 1.3 k | 1.3 k | Lineare Abbildung/Eindimensional/Proportionalität und Dreisatz/Beispiel |
1 | 1 | | 1.4 k | 1.3 k | 1.3 k | Unentscheidbarkeit der Arithmetik/Registermaschine/Fakt/Beweis |
1 | 1 | | 1.3 k | 1.3 k | 1.3 k | Halteproblem/Registermaschine/Eingabe der Programmnummer/Unentscheidbarke… |
1 | 2 | | 646 | 646 | 646 | Freier Fall/Konstante Erdbeschleunigung/Kein Luftwiderstand/Aufgabe |
1 | 4 | | 562 | 562 | 562 | Erfolgreiches E-Mail-Marketing |
1 | 2 | | 637 | 637 | 637 | Halteproblem/Registermaschine/Eingabe der Programmnummer/Unentscheidbarke… |
1 | 5 | | 616 | 678 | 616 | Modultheorie/Linear unabhängig/Definition |
1 | 3 | | 569 | 569 | 569 | Registermaschine/Übertragung von einem Registerinhalt mit leeren/Beispiel |
1 | 1 | | 1.1 k | 1.1 k | 1.1 k | Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition |
1 | 2 | | 720 | 720 | 720 | Registermaschine/Teilmenge der natürlichen Zahlen/Entscheidbarkeit/Defini… |
1 | 1 | | 1 k | 1 k | 1 k | Prädikatenlogik/Folgerung/Über Modelle/Definition |
1 | 3 | | 419 | 419 | 419 | Goldbach-Vermutung/Schaubild/Bedeutung/Aufgabe |
1 | 2 | | 584 | 584 | 584 | Arithmetik/Erster Stufe/Ableitbar/Nicht aufzählbar/Nicht axiomatisierbar/… |
1 | 3 | | 523 | 525 | 523 | Term/Variablenmenge/Funktionssymbole/Grundmenge/Phantasie/Beispiel/Aufgabe |
1 | 2 | | 667 | 777 | 667 | Theorie/Erster Stufe/Ableitbar/Definition |
1 | 3 | | 371 | 421 | 371 | Drehung um 45/Finde Matrixbeschreibung/Elementargeometrisch/Aufgabe |
1 | 3 | | 371 | 421 | 371 | Drehung um 30/Finde Matrixbeschreibung/Elementargeometrisch/Aufgabe |
1 | 4 | | 209 | 219 | 2.6 k | Fachbereich Linguistik |
1 | 6 | | 364 | 364 | 4.6 k | Schäublone |
1 | 2 | | 624 | 668 | 624 | Reelle Funktion/Sekante/Als Gerade/Definition/en |
1 | 3 | | 461 | 461 | 461 | Untergruppen von Z^m/Endlich erzeugt/Fakt |
1 | 2 | | 499 | 499 | 499 | Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion… |
1 | 1 | | 970 | 970 | 970 | Zweiter Gödelscher Unvollständigkeitssatz/Entscheidbar und Peano-Arithmet… |
1 | 1 | | 965 | 965 | 965 | Basisaustauschsatz/Standardbasis im R^4/Beispiel/Aufgabe |
1 | 2 | | 561 | 579 | 561 | Kurvendiskussion/e^(-2x)-2e^(-x)/x nichtnegativ/Morse-Potential/Aufgabe |
1 | 1 | | 939 | 939 | 939 | Prädikatenlogik/Freie und gebundene Variablen/Textabschnitt |
1 | 1 | | 902 | 902 | 902 | Term/Links und rechts/Möglichkeiten/Aufgabe |
1 | 2 | | 396 | 396 | 396 | Registermaschine/Leeren eines Registers/Beispiel |
1 | 1 | | 868 | 868 | 868 | Matrizen/IxJ/nxm/Ring/Definition |
1 | 1 | | -2.1 k | 2 k | 1.4 k | Kategorie:Vorlage:Land mit Flagge |
1 | 1 | | 837 | 837 | 837 | Matrizenprodukt/Obere Dreiecksmatrix/5/Nulldiagonale/Nilpotent/Aufgabe |
1 | 1 | | 817 | 817 | 817 | Matrizenprodukt/Obere Dreiecksmatrix/4/Nulldiagonale/Nilpotent/Aufgabe |
1 | 1 | | 813 | 813 | 813 | Körper/2 Elemente/Lineares Gleichungssystem/Aufgabe |
1 | 3 | | -125 | 133 | 725 | Proseminar Algebra (Osnabrück WS 2011-2012) |
1 | 1 | | 776 | 776 | 776 | Registermaschine/Unbedingter Sprungbefehl/Beispiel |
1 | 2 | | 365 | 365 | 365 | Mersenne-Primzahl/Unendlich/Problem |
1 | 1 | | 733 | 733 | 733 | Lineare Abbildung/R nach R/Physikalische Beispiele/Proportionalität/Aufgabe |
1 | 3 | | 66 | 66 | 3.9 k | Term/Variablenmenge/Funktionssymbole/Grundmenge/Phantasie/Beispiel |
1 | 1 | | 729 | 729 | 729 | Einelementiges Alphabet/Strich/Wörter/Beispiel |
1 | 1 | | 727 | 727 | 727 | Arithmetik/Erster Stufe/Ableitbar/Nicht aufzählbar/Nicht axiomatisierbar/… |
1 | 1 | | 722 | 722 | 722 | Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Nicht entscheidbar/Bemerkung |
1 | 1 | | 716 | 716 | 2.3 k | Reelle Zahlen/Anordnungsaxiome/Archimedes/Folgerungen/Fakt/Beweis |
1 | 3 | | 46 | 46 | 561 | Komplexe Zahl/Komplexe Konjugation/Definition |