satz-für-satz-übersetzung
1Satz — Satz: Das nur dt. Substantiv mhd. saz, satz ist eine Bildung zu dem unter ↑ setzen behandelten Verb. Die Fülle der Einzelbedeutungen des Wortes lässt sich in den meisten Fällen auf die zwei Grundbedeutungen »Tätigkeit des Setzens« und »das… …
2Satz vom Affen — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem …
3Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …
4Satz von Borsuk-Ulam — Der Satz von Borsuk Ulam besagt, dass jede stetige Funktion von einer n Sphäre in den n dimensionalen euklidischen Raum ein Paar von antipodalen Punkten auf denselben Punkt abbildet. (Zwei Punkte einer Sphäre heißen antipodal, wenn sie in genau… …
5Satz von Riemann-Roch — Der Satz von Riemann Roch (nach dem Mathematiker Bernhard Riemann und seinem Schüler Gustav Roch) ist eine zentrale Aussage der Theorie kompakter riemannscher Flächen. Er gibt an, wie viele linear unabhängige meromorphe Funktionen mit… …
6Satz von Banach-Mazur — Der Satz von Banach Mazur aus dem Jahre 1933, benannt nach Stefan Banach und Stanisław Mazur, ist ein klassischer Satz aus dem Teilgebiet der Funktionalanalysis. Unter den separablen Banachräumen gibt es welche, die eine Kopie jedes anderen… …
7Satz von Chen — Der Satz von Chen – benannt nach dem Mathematiker Chen Jingrun – ist ein Satz aus der Zahlentheorie. Er wird meist wie folgt angegeben: Jede hinreichend große gerade Zahl kann als Summe einer Primzahl und einer Zahl mit höchstens zwei… …
8Satz von Shamir — In der theoretischen Informatik ist Vollständigkeit eine Eigenschaft von Problemen in Bezug auf eine Komplexitätsklasse. Intuitiv ist ein Problem dann vollständig für eine bestimmte Komplexitätsklasse, wenn kein anderes Problem der Klasse… …
9Maschinelle Übersetzung — (MÜ oder MT für engl. machine translation), auch automatische Übersetzung, bezeichnet die Übersetzung von Texten aus einer Ausgangssprache (in der MÜ als Quellsprache bezeichnet) in eine Zielsprache mit Hilfe eines Computerprogrammes. MÜ ist ein… …
10Automatische Übersetzung — Maschinelle Übersetzung (MÜ oder MT für engl. machine translation), auch automatische Übersetzung, bezeichnet die Übersetzung von Texten aus einer Ausgangssprache (in der MÜ als Quellsprache bezeichnet) in eine Zielsprache mit Hilfe eines… …
