Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Wortwolke – Lemmata

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Diese Wortwolke basiert auf dem automatischen Lemmatisierungsverfahren historischer Texte (CAB), das im DTA für die Textsuche angewandt wird. Die Lemmatisierung fasst sowohl Transliterationen (also bspw. ſ → s) als auch grammatische Formen (Teil, Theil, Theile, Theiles, ...) zusammen. Die Wortidentifikation (Tokenisierung) erfolgt mittels DTA-Tokwrap. Die Fontgröße der einzelnen Lemmata in der Wortwolke ist proportional zu deren Frequenz im Dokument. Lemmata, die im Dokument weniger als dreimal vorkommen, werden nicht dargestellt.


'i )(0 )(a ); )i + 0' 0'; 1 1' 10 11 12 13 14 15 16 17 18 19 1; 2 20 21 22 23 24 25 26 27 28 29 3 30 32 4 5 6 7 8 9 = A A; Abbildung Ai Algebra Annahme Anwendung Argument Art Au Aufgabe Auflösung Auge Ausdruck Aussage B. Bd. Bedingung Begriff Behauptung Bemerkung Beweis Buchstabe D Darstellung Dedekind Definition Denkbereich Disziplin Element Elementepaar Elimination Ergebnis F F(u) Faktor Fall Falle Fassung Festsetzung Forderung Form Formel Frage Funktion Gespann Gestalt Gleichung Glied I Inbezug Inversionsproblem Inversionstheorem J K Kalkul Kategorie Kette Klammer Knüpfung Koeffizient Kolonne Kraft L Leerstelle Leerzeile Leser Lösung Lösungsform M Matrix Modul Modulknüpfung Multiplikation Name Negation Operation Parameter Peirce Probe Problem Produkt Proposition Prädikat Prämisse Punkt Q. R Reihe Relation Relativ Resp. Resultante Rücksicht S. Satz Schema Schluß Seite Sinn Spezies Stelle Subjekt Substitution Subsumtion Suffix Summe Symbol System Tat Teil Term Theorem Theorie U Unbekannte Vollzeile Voraussetzung W. Weg Weise Wert Wort Wurzel X Y Z Z; Zahl Zeichen Zeile Zyklus a a. a0 a0; a1 a; ab aber ableiten absolut alle allgemein als alsdann also am an analog ander andere angeben auch auf aufgrund aus ausgezeichnet b b; bei beide beim bekannt beliebig bereits besetzt besitzen bestehen bestimmt beweisen bezeichnen bezüglich bilden binär bis bleiben bloß bn brauchen bringen c c; d d. da dabei dagegen damit danach dann darstellen darum dass dazu demnach denken denn desgleichen die diejenige diese dieselbe doch drei dritt dual durch dürfen e. eben ebenso einander eindeutig eine einfach einzeln endlich enthalten entsprechend entweder er erfüllen ergeben erhalten erkennen erscheinen ersetzen erst erstere erweisen es et_cetera etc. etwa etwas eventuell f f(u) f(x falls ferner finden folgen folgend fundamental führen für ganz gar geben gegeben gehen gehören gelingen gelten gemäß genügen gerade gewinnen gewiß gleich groß gut h. haben heißen hier hiernach hinstellen i i; ich identisch ihr ij im immer in indem individuell irgend j ja je jede jedoch jen jene jetzt k keine kommen können l lassen leicht letzte letztere liefern liegen links machen man mehr mindestens mit mithin mittels mögen müssen n nach natürlich nehmen nennen neu nicht nichts noch nun nunmehr nur nämlich oben obig oder ohne r recht rechtfertigen rechts relativ resp. sagen schließen schon schreiben sehen sehr sein seine selber selbst setzen sich sie sintemal so sobald sodass sofern sogleich solch sollen somit sondern sowie sowohl speziell statt stehen stellen stets stimmen sämtliche tun u u; um umgekehrt unabhängig unbegrenzt und unmittelbar uns unsere unter unterscheiden v vermögen verschieden verschwinden verstehen verwandeln viel vielleicht vielmehr vier voll vollständig vom von von- vor vorig vorkommen vornherein vorstehend vorstellen was wegen weil weit weiter welche welchen wenigstens wenn werden wesentlich wie wieder wir wirklich wo wobei wohl wollen womit wonach worin während x x; xn xn; y y; z z. z; zeigen zn zu zugleich zum zunächst zur zusammen zwar zwei zweit zwischen § · Äquivalenz ähnlich äquivalent über überhaupt übrig Α Β Π Σ