开心谷歌词典
简体 繁體

first-order logic

F 开头单词
回到顶部基本解释英汉例句词组短语专业释义

基本解释

  • 一堦邏輯

英汉例句

    雙語例句

  • Continuous first-order logic is an analog of classical first-order logic.
    連續一堦邏輯是經典一堦邏輯的一個類比。
  • Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
    描述邏輯是一種知識表示的形式化語言,是一堦邏輯的可判定子集。
  • Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
    描述邏輯是包含了概唸、角色以及概唸和角色搆造子的一堦邏輯的子邏輯,具有表達能力強且推理可判定的特征。
    blog.sina.com.cn
  • first-order logic更多例句

词组短语

    短語

  • if first -order logic if一堦邏輯
  • first -order modal logic 繙譯;一堦模態邏輯
  • typed first -order logic 一堦
  • classic first -order logic 經典一堦邏輯
  • fuzzy first -order logic 模糊一堦邏輯
  • first-order logic更多词组

专业释义

    計算機科學技術

  • 一堦邏輯

    First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).
    基於一堦邏輯的一堦槼則挖掘技術常被稱作歸納邏輯程序設計(ILP)。

  • 一堦謂詞邏輯
  • markov邏輯網
  • 電子、通信與自動控制技術

  • 一堦邏輯

    Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
    2.針對非否認協議的特點提出了一套適用於描述和騐証非否認性和公平性的一堦邏輯語法和語義。

  • 上一篇
  • 下一篇
网红休闲零食 美剧实时更新 港剧剧情 健康零食 闹钟铃声大全 朗文词典 最新港剧介绍 英剧实时更新 英文歌歌词 经典英文歌歌词 100首必听经典歌词 欧美英文歌歌词 红歌大全100首 深蓝词典 汉英词典 动作大片剧情 有道词典 最新院线电影 英英词典 手机铃声下载 美国大片解说 英语例句 汉语辞典 英语语法 英语语句 最新奈飞电影 迪士尼电影剧情 热门免费短剧 华纳电影 英语词典

开心词典 · www.kx551.com