shirabe.org
2)

述語動詞じゅつごどうし

#237,133
じゅつごどうし
Meaning
    1. linguistics
      predicate verb; predicator
      動詞どうしは述語じゅつご動詞どうしのことです。述語じゅつご動詞どうしは、主語しゅごや表あらわす時ときによって形かたちを変かえます。
      'Verb' refers to the predicate verb. Predicate verbs change their form depending on the subject and the time expressed.
Kanji
述 ジュツ mention, state, speak 語 ゴ word, speech, language 動 ドウ move, motion, change 詞 シ part of speech, words, poetry
Forms
Learn this word with smart reviews that adapt to you Save word
3)

述語論理じゅつごろんり

じゅつごろんり
Meaning
    1. ①
      logic
      predicate logic; predicate calculus
      See also: 命題論理 (めいだいろんり)
    1. ①
      EN In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infi...
      More
Kanji
述 ジュツ mention, state, speak 語 ゴ word, speech, language 論 ロン argument, discourse 理 リ logic, arrangement, reason
Forms
Learn this word with smart reviews that adapt to you Save word
6)

述語変換意味論

Meaning
    1. EN Predicate transformer semantics have been introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs".
      More
Kanji
述 ジュツ mention, state, speak 語 ゴ word, speech, language 変 ヘン unusual, change, strange 換 カン interchange, period, change 意 イ idea, mind, heart 味 ミ flavor, taste 論 ロン argument, discourse
Learn this word with smart reviews that adapt to you Save word
Results