Vorschläge - wadoku.de

無定義む･てい￨ぎ

N.

Math. Nichtdefiniertheit ; Undefiniertheit f f.

述語記号じゅつ￨ご･き￨ごう

N.

Logik, Math. Prädikatsymbol n n; Prädikatensymbol n n.

定数記号てい￨すう･き￨ごう

N.

Logik, Math. Konstantensymbol n n.

変数記号へん￨すう･き￨ごう

N.

Logik, Math. Variablensymbol n n.

数学的公理すう￨がく￨てき･こう￨り

N.

Math. mathematisches Axiom n n.

メタ定理めた･てい￨り

N.

Metatheorem n n.

メタ推論めた･すい￨ろん

N.

Metainferenz f f.

古典論理こ￨てん･ろん￨り

N.

Logik klassische Logik f f; traditionelle Logik f f.

構造規則こう￨ぞう･き￨そく

N.

Logik Strukturregel f f.

規範論理き￨はん･ろん￨り

N.

Logik deontische Logik f f.

義務論理ぎ￨む･ろん￨り

N.

Logik deontische Logik f f.

時制論理じ￨せい･ろん￨り

N.

Logik Tempuslogik f f.

矛盾許容的む￨じゅん･きょ￨よう･てき

Na.‑Adj. mit na bzw. präd. mit da etc.

Logik parakonsistent.

矛盾許容む￨じゅん･きょ￨よう

N.

Logik Parakonsistenz f f.

真矛盾主義しん･む￨じゅん･しゅ￨ぎ

N.

Logik Dialethismus m m.

矛盾許容型論理む￨じゅん･きょ￨よう￨がた･ろん￨り

N.

Logik parakonsistente Logik f f.

矛盾許容論理む￨じゅん･きょ￨よう･ろん￨り

N.

Logik parakonsistente Logik f f.

購入済みこう￨にゅう･ずみ

N.

gekauft.

関連性の論理かん￨れん￨せいのろん￨り

Logik Relevanzlogik f f.

関連性論理かん￨れん￨せい･ろん￨り

N.

Logik Relevanzlogik f f.

相関論理そう￨かん･ろん￨り

N.

Logik Relevanzlogik f f.

適切さの論理てき￨せつ￨さのろん￨り

Logik Relevanzlogik f f.

適切さ論理てき￨せつ￨さ･ろん￨り

N.

Logik Relevanzlogik f f.

実績解除じっ￨せき･かい￨じょ

N.

Videospiel Freischalten n n eines Achievements.

脂質代謝異常症し￨しつ･たい￨しゃ･い￨じょう￨しょう

N.

Med. Lipidstoffwechselstörung f f; Fettstoffwechselstörung f f; Dyslipoproteinämie f f.

死失し￨しつ

N., mit suru intrans. V.

schriftspr. Sterben n n; Vergehen n n.

宅見たくみ

N.

Familienn. Takumi (NAr) (NAr).

一手一手いっ￨て･いっ￨て

Zug m m um Zug m m.

普遍のふ￨へんの

allgemein; universell.

多様相論理た￨よう￨そう･ろん￨り

N.

Logik Multimodallogik f f.

時間論理じ￨かん･ろん￨り

N.

Logik temporale Logik f f; Zeitlogik f f.

線形論理せん￨けい･ろん￨り

N.

Logik lineare Logik f f.

超直観主義論理ちょう･ちょっ￨かん･しゅ￨ぎ･ろん￨り

N.

Logik superintuitionistische Logik f f.

普遍代数ふ￨へん･だい￨すう

N.

Math. universelle Algebra f f; allgemeine Algebra f f.

古典述語論理こ￨てん･じゅつ￨ご･ろん￨り

N.

Math. klassische Prädikatenlogik f f.

直観主義述語論理ちょっ￨かん･しゅ￨ぎ･じゅつ￨ご･ろん￨り

N.

Logik intuitionistische Prädikatenlogik f f.

中間論理ちゅう￨かん･ろん￨り

N.

Logik Zwischenlogik f f.

部分構造論理ぶ￨ぶん･こう￨ぞう･ろん￨り

N.

Logik substrukturelle Logik f f; Substrukturlogik f f.

非古典的ひ￨こ￨てん･てき

Na.‑Adj. mit na bzw. präd. mit da etc.

nichtklassisch; nicht-klassisch.

非古典ひ･こ￨てん

N.

Nichtklassik f f.

Ablage