DDTP - Übersetzung für einen Theorembeweiser

28/08/2011 - 19:20 von Martin Eberhard Schauer | Report spam
Hallo,

wir arbeiten an der Übersetzung für eprover (1). Zwei Sàtze sind für den
Nicht-Mathematiker nicht trivial.

E is a fully automatic theorem prover for full first-order logic with
equality.

... and implements a variant of the superposition calculus.

Was sind gebràuchliche/verstàndliche Übersetzungen für first-order logic
und superposition calculus?

Ein gespanntes Danke im voraus,
Martin

1: http://ddtp.debian.net/ddtss/index....1314548792


To UNSUBSCRIBE, email to debian-l10n-german-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: http://lists.debian.org/4E5A780C.7070009@gmx.de
 

Lesen sie die antworten

#1 Erik Esterer
31/08/2011 - 16:50 | Warnen spam
Hallo Martin,
Am 28. August 2011 19:17 schrieb Martin Eberhard Schauer
:
                              Hallo,

wir arbeiten an der Übersetzung für eprover (1). Zwei Sàtze sind für den
Nicht-Mathematiker nicht trivial.

E is a fully automatic theorem prover for full first-order logic with
equality.

... and implements a variant of the superposition calculus.

Was sind gebràuchliche/verstàndliche Übersetzungen für first-order logic
und superposition calculus?



Weil mein Vorschlag für first-order logic noch nicht eingebaut ist: In
der englsichen Wikipedia ist der Einleitungssatzganz passend: »In
mathematical logic, predicate logic is the generic term for symbolic
formal systems like first-order logic, second-order logic, many-sorted
logic or infinitary logic.«[1] Wenn wir also »first-order logic« mit
»Pràdikatenlogik« übersetzen, dann wird es verallgemeinert - man weiß
nicht ob es erster oder höherer Stufe ist. Daher sollte es mMn mit
»Pràdikatenlogik erster Stufe« übersetzt werden.[2]

leo.org kennt als Übersetzung für first-order logic sowohl
Pràdikatenlogik als auch Pràdikatenlogik erster Stufe.[3]

Grüße
Erik

[1] https://secure.wikimedia.org/wikipe...cate_logic
[2] https://secure.wikimedia.org/wikipe...katenlogik
[3] http://dict.leo.org/ende?lp=ende&am...st%20order


To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Archive: http://lists.debian.org/CAGfRU9V1f0HNr+

Ähnliche fragen