述語とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 述語

述語

じゅつご

(1)文の成分の一。文中で「何がどうする」「何がどんなだ」「何が何だ」における「どうする」「どんなだ」「何だ」にあたる語または文節をいう。「花が散る」「頬(ホオ)が赤い」「あれが駅だ」における「散る」「赤い」「駅だ」の類。

(2)〔論〕

〔predicate〕

判断・命題において，主語について何事かを述べる語。賓辞。

⇔ 主語

Từ điển Nhật - Nhật

Các từ liên quan tới 述語

述語論理

述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、全称量化子 ∀

データ記述言語

データ記述言語（データきじゅつげんご）またはデータ言語とは、コンピュータにおいて扱うデータを記述するための形式言語である。コンピュータ言語の一種だが、プログラミング言語ではない。HTMLに代表されるマークアップ言語などがある。データ記述言語は、基本的にはプログラミング言語

インタフェース記述言語

インタフェース記述言語（英: Interface Description Language, IDL）はソフトウェアコンポーネント間のインタフェース記述を目的とするドメイン固有言語の総称である。インタフェース定義言語（英: Interface Definition Language）とも呼ばれる。

ハードウェア記述言語

記述言語が下工程でも重要な役割を演じることもある。一般に工程が進んで設計が詳細化していくと、設計データベースには技術固有の情報が格納されるようになっていく。技術固有のデータが増えると汎用的なハードウェア記述言語による記述では格納しきれなくなる。反復的な回路構造をハードウェア記述言語で記述

ページ記述言語

ページ記述言語と重複する用語としてプリンター制御言語があり、これにはヒューレット・パッカードのPrinter Command Language (PCL) が含まれる。アドビのPostScriptは、有力なページ記述言語の一つである。PDLをマークアップ言語化したものがページ記述マークアップ言語である。ページ記述言語の表現形式には、テキスト

一階述語論理

一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英:

仕様記述言語

仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語

高階述語論理

高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。