Vorschläge - wadoku.de

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

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.

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

N.

Logik nichtklassische Logik f f; Nichtstandardlogik f f.

ノン･スタンダード論理のん･すたんだーど･ろん￨り

N.

Logik Nichtstandardlogik f f; nichtklassische Logik f f.

ノン･スタンダードのん･すたんだーど

N.

von engl. non-standard

Nichtstandard n n.

普遍妥当のふ￨へん･だ￨とうの

allgemeingültig.

普遍妥当ふ￨へん･だ￨とう

N.

allgemeine Gültigkeit f f; Allgemeingültigkeit f f.

射影決定性公理しゃ￨えい･けっ￨てい￨せい･こう￨り

N.

Math. Axiom n n der projektiven Determiniertheit.

決定性公理けっ￨てい￨せい･こう￨り

N.

Math. Determiniertheitsaxiom n n; Axiom n n der Determiniertheit; AD n n.

射影決定性しゃ￨えい･けっ￨てい￨せい

N.

Math. projektive Determiniertheit f f.

射影階層しゃ￨えい･かい￨そう

N.

Math. projektive Hierarchie f f.

射影集合しゃ￨えい･しゅう￨ごう

N.

Math. projektive Menge f f.

スースリンすーすりん

N.

Persönlichk. Michail Jakowlewitsch Suslin (russ. Mathematiker; 1894–1919).

還元定理かん￨げん･てい￨り

N.

Math. Reduktionstheorem n n.

演繹定理えん￨えき･てい￨り

N.

Math. Deduktionstheorem n n.

補解析集合ほ￨かい￨せき･しゅう￨ごう

N.

Math. koanalytische Menge f f.

解析集合かい￨せき･しゅう￨ごう

N.

Math. analytische Menge f f.

汎用集合はん￨よう･しゅう￨ごう

N.

Math. Universalmenge f f.

Ablage