Từ điển tổng hợp

formel
Công thức	Thuật ngữ hóa học Đức-Anh-Việt Thuật ngữ công nghệ sinh học Đức-Anh-Việt Từ điển KHCN Đức Anh Việt Từ điển Đức Việt - Nguyễn Thu Hương
thể thức	Thuật ngữ công nghệ sinh học Đức-Anh-Việt Từ điển Đức Việt - Nguyễn Thu Hương
quy tắc	Từ điển KHCN Đức Anh Việt
cách thức	Từ điển Đức Việt - Nguyễn Thu Hương
mệnh lệnh	Từ điển Đức Việt - Nguyễn Thu Hương
chỉ thị	Từ điển Đức Việt - Nguyễn Thu Hương
lời nói ngắn gọn	Từ điển Đức Việt - Nguyễn Thu Hương
thể thức trong đua xe gắn máy hay ô tô	Từ điển Đức Việt - Nguyễn Thu Hương
công thức pha chế	Từ điển dệt may Đức-Anh-Việt

formel
Formula	Thuật ngữ hóa học Đức-Anh-Việt Từ điển Polymer Anh-Đức Thuật ngữ công nghệ sinh học Đức-Anh-Việt Lexikon xây dựng Anh-Đức Thuật ngữ kỹ thuật ô tô Đức-Anh Từ điển KHCN Đức Anh Việt Từ điển dệt may Đức-Anh-Việt
expression	Thuật ngữ kỹ thuật ô tô Đức-Anh
well-formed formula	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
rule	Từ điển KHCN Đức Anh Việt
recipe	Từ điển dệt may Đức-Anh-Việt

formel
Formel	Thuật ngữ hóa học Đức-Anh-Việt Metzler Lexikon Philosophie Từ điển Polymer Anh-Đức Thuật ngữ công nghệ sinh học Đức-Anh-Việt Lexikon xây dựng Anh-Đức Thuật ngữ kỹ thuật ô tô Đức-Anh Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe) Từ điển KHCN Đức Anh Việt Lexikon khoa học tổng quát Pháp-Đức Từ điển Đức Việt - Nguyễn Thu Hương Từ điển dệt may Đức-Anh-Việt Thuật ngữ - Điện Điện Tử - Đức Anh Việt (nnt)
Rezept	Từ điển dệt may Đức-Anh-Việt
Spannungsfall	Thuật ngữ - Điện Điện Tử - Đức Anh Việt (nnt)

formel
expression bien formée	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
formule bien formée	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
formule	Lexikon khoa học tổng quát Pháp-Đức

Từ điển Đức Việt - Nguyễn Thu Hương
eine chemische Formel	một công thức hóa học.
Rennwagen der F.l	xe ô tô đua thề thức

Thuật ngữ - Điện Điện Tử - Đức Anh Việt (nnt)

Spannungsfall,Formel

[EN] – drop, formula

[VI] Sự sụt điện áp, công thức

Spannungsfall,Formel

[EN] Voltage drop, formula

[VI] Sụt điện áp, công thúc

Từ điển dệt may Đức-Anh-Việt

Formel,Rezept

[EN] formula, recipe

[VI] công thức pha chế,

Từ điển Đức Việt - Nguyễn Thu Hương

Formel /['formal], die; -, -n/

thể thức; cách thức;

Formel /['formal], die; -, -n/

công thức;

eine chemische Formel : một công thức hóa học.

Formel /['formal], die; -, -n/

mệnh lệnh; chỉ thị; lời nói ngắn gọn;

Formel /['formal], die; -, -n/

(Motor sport) thể thức trong đua xe gắn máy hay ô tô (Rennformel);

Rennwagen der F.l : xe ô tô đua thề thức

Lexikon khoa học tổng quát Pháp-Đức

Formel

formule

Formel

Từ điển KHCN Đức Anh Việt

Formel /f/M_TÍNH/

[EN] rule

[VI] quy tắc

Formel /f/TOÁN/

[EN] formula

[VI] công thức

Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

Formel /IT-TECH/

[DE] Formel

[EN] well-formed formula

[FR] expression bien formée; formule bien formée

Thuật ngữ kỹ thuật ô tô Đức-Anh

Formel

expression

Formel

formula

Lexikon xây dựng Anh-Đức

Formel

formula

Formel

Thuật ngữ công nghệ sinh học Đức-Anh-Việt

Formel

[DE] Formel

[EN] Formula

[VI] công thức, thể thức

Từ điển Polymer Anh-Đức

formula

Formel;

Metzler Lexikon Philosophie

Formel

Unter einer F. versteht man eine Zeichenfolge einer formalen Sprache, die dort die Funktion eines Satzes oder einer Aussage übernimmt und somit semantisch mit einem Wahrheitswert belegt werden kann. Die F.n einer formalen Sprache gehorchen eindeutigen Bildungsregeln, die im Allgemeinen einen induktiven Aufbau der Formelmenge ergeben. Die Basis bilden dabei die logisch einfachen Atomformeln, die nicht das Ergebnis der Anwendung logischer Konstanten auf andere F.n sind. In der Aussagenlogik bleiben Atomformeln unanalysiert, während sie in der Prädikatenlogik als aus Prädikaten und Termen zusammengesetzt verstanden werden. Die sich durch endlichmalige Anwendung der logischen Konstanten aus den Atomformeln ergebenden F.n werden als wohlgeformt bezeichnet. Sie bilden somit die kleinste Menge, die sämtliche Atomformeln enthält und unter Anwendung der logischen Konstanten abgeschlossen ist. Sog. geschlossene F.n sind solche, die keine freien Variablen enthalten, in denen also alle vorkommenden Variablen durch einen Quantor oder einen anderen variablenbindenden Operator gebunden sind. In ähnlicher Weise wird eine F. einer modallogischen Sprache als vollständig modalisiert bezeichnet, wenn jede in ihr vorkommende Atomformel im Bereich eines Modaloperators steht.

UM

Thuật ngữ hóa học Đức-Anh-Việt

Formel

[DE] Formel

[EN] Formula

[VI] Công thức