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

TỰ ĐIỂN TỔNG HỢP

Tra từ
Các Từ điển khác
Từ điển Hán Việt Trích Dấn Từ điển Hán Việt Thiều Chửu
Từ điển Chữ Nôm Trích Dấn
Đại Nam Quấc Âm Tự Vị Từ điển Hội Khai Trí Tiến Đức
Phật Quang Đại Từ điển
Hướng dẫn
Hướng dẫn
Về Từ điển tổng hợp
Tài khoản
Đăng nhập Đăng xuất Đăng ký
Quản lý
Cấu hình tự điển Bảng thuật ngữ Nhập bảng thuật ngữ Xuất bảng thuật ngữ

ANY>>ANY

Việt

prädikatenlogik
logic vị ngữ	Từ điển KHCN Đức Anh Việt

Anh

prädikatenlogik
predicate logic	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe) Từ điển KHCN Đức Anh Việt
first order logic	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
first-order predicate calculus	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
first-order predicate logic	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
predicate calculus	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

prädikatenlogik 2.ordnung
second order logic	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
second-order predicate calculus	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
second-order predicate logic	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

Đức

prädikatenlogik
Prädikatenlogik	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe) Metzler Lexikon Philosophie Từ điển KHCN Đức Anh Việt
Prädikatenlogik 1.Ordnung	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

prädikatenlogik 2.ordnung
Prädikatenlogik 2.Ordnung	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

Pháp

prädikatenlogik
calcul de prédicats	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
calcul des prédicats	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
logique de 1er ordre	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
logique des prédicats	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

prädikatenlogik 2.ordnung
logique d'ordre 2	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
logique du deuxième ordre	Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

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

Prädikatenlogik /f (PL)/TTN_TẠO/

[EN] predicate logic (PL)

[VI] logic vị ngữ

Metzler Lexikon Philosophie

Prädikatenlogik

Teil der formalen Logik. In der P. werden einfache Aussagen entsprechend dem sprachlichen Subjekt-Prädikat-Schema zerlegt und mit einem Quantor, dem Allquantor oder dem Existenzquantor, versehen. Die P. erster Stufe bezieht die Quantoren auf die Individuensymbole, in zweiter und höherer Stufe auf die Typen von Eigenschaften als mögliche Werte. Die P. entwickelt die Gesamtheit der wahrheitserhaltenden Schlüsse von Prämissen auf Behauptungen, soweit die dabei erwähnten Urteile junktoren- oder prädikatenlogisch analysierbar sind.

PP

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

Prädikatenlogik,Prädikatenlogik 1.Ordnung /IT-TECH/

[DE] Prädikatenlogik; Prädikatenlogik 1.Ordnung

[EN] first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic

[FR] calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats

Prädikatenlogik 2.Ordnung /IT-TECH/

[DE] Prädikatenlogik 2.Ordnung

[EN] second order logic; second-order predicate calculus; second-order predicate logic

[FR] logique d' ordre 2; logique du deuxième ordre