在《PONS词典》中的词汇
I. fix [fɪks] 形
2. fix 俗 (flink):
短语，惯用语:
A, a <-, - [o. 俗 -s, -s]> [a:] 名词 nt
1. A (Buchstabe):
短语，惯用语:
AE <-, -[s]> 名词 f
AE 缩略自： astronomische Einheit
有关银行业、金融业和保险业的词语（PONS）
有关银行业、金融业和保险业的词语（PONS）
有关银行业、金融业和保险业的词语（PONS）
A 名词 nt INV-FIN
| ich | fixe |
|---|---|
| du | fixt |
| er/sie/es | fixt |
| wir | fixen |
| ihr | fixt |
| sie | fixen |
| ich | fixte |
|---|---|
| du | fixtest |
| er/sie/es | fixte |
| wir | fixten |
| ihr | fixtet |
| sie | fixten |
| ich | habe | gefixt |
|---|---|---|
| du | hast | gefixt |
| er/sie/es | hat | gefixt |
| wir | haben | gefixt |
| ihr | habt | gefixt |
| sie | haben | gefixt |
| ich | hatte | gefixt |
|---|---|---|
| du | hattest | gefixt |
| er/sie/es | hatte | gefixt |
| wir | hatten | gefixt |
| ihr | hattet | gefixt |
| sie | hatten | gefixt |
无例句可用
请尝试其他条目。
单语范例（未经PONS编辑处理）
Derzeit ist der Planetoid 39,88 AE von der Sonne entfernt.
de.wikipedia.org Es handelte sich um ein Einsteigermodell, das etwas preisgünstiger als die AE-1 angeboten wurde und dafür auch einfacher ausgestattet war.
de.wikipedia.org Die Abkürzung AE steht für Annoncen-Expedition, eine früher gebräuchliche Bezeichnung für Agenturen, die als Anzeigenmittler oder Werbungsmittler dienen.
de.wikipedia.org Hier wird diese Zeichen meist durch ein ae oder AE ersetzt.
de.wikipedia.org Die große Halbachse beträgt etwa 72,3 % des mittleren Erdbahnradius, das sind damit 0,723 Astronomische Einheiten (AE).
de.wikipedia.org 互联网提供的例句（未经PONS编辑处理）
[...]
www-madlener.informatik.uni-kl.de Finden Sie eine Formel A, einen Term t und eine Individuenvariable x, so dass die Substitution Ax[t] erlaubt ist, Ax[t] allgemeingültig ist, aber A nicht allgemeingültig ist.
[...]
Find a formula A, a term t and a variable x such that the substitution Ax[t] is allowed, Ax[t] is universally valid, but A is not universally valid.
[...]
www-madlener.informatik.uni-kl.de Geben Sie eine Sprache der Prädikatenlogik an, so dass jeder Term eine boolesche Formel repräsentiert.
[...][...]
Find a suitable language of predicate logic, s.t. every term represents a boolean formula.
[...][...]
www-madlener.informatik.uni-kl.de Wenden Sie diese Substitution auf die folgenden Terme und Formeln an:
[...][...]
Apply this substitution to the following formulas and terms:
[...][...]
www-madlener.informatik.uni-kl.de D.h. sind zwei Terme t1 und t2 äquivalent im Sinne der Aussagenlogik und erfüllt eine Interpretation I Ihre Axiome, dann soll I ( t1 ) = I ( t2 ) gelten.
[...][...]
I.e. if two terms t1 and t2 are equivalent in propositional logic and if an interpretation I satisfies your axioms, then I ( t1 ) = I ( t2 ) must hold.
[...][...]
www-madlener.informatik.uni-kl.de Finden Sie eine Formel A, einen Term t und eine Individuenvariable x, so dass die Substitution Ax [ t ] erlaubt ist, Ax [ t ] allgemeingültig ist, aber A nicht allgemeingültig ist.
[...]
Find a formula A, a term t and a variable x such that the substitution Ax [ t ] is allowed, Ax [ t ] is universally valid, but A is not universally valid.
浏览词典
- Atemluft
- Atemmaske
- Atemnot
- Atempause
- Atemschutzgerät
- A terme fixe
- Atheismus
- Atheist
- atheistisch
- Athen
- Athener