高階述語論理的日文

• 高阶逻辑

• "一階述語論理" 日文翻译 :    一阶逻辑
• "二階述語論理" 日文翻译 :    二阶逻辑
• "述語" 日文翻译 :    じゅつご1 0 述 語 【名】 (语法)述语;谓语;(逻辑)宾辞
• "統語論" 日文翻译 :    语法学
• "論理" 日文翻译 :    ろんり 1 論 理 【名】 逻辑;道理;规律
• "高階微分" 日文翻译 :    こうかいびぶん高阶微分。
• "高階栄子" 日文翻译 :    高阶荣子
• "高階関数" 日文翻译 :    高阶函数
• "ループ述語" 日文翻译 :    循环谓词
• "述語記号" 日文翻译 :    じゅつごきごう谓语符号。
• "データ記述語" 日文翻译 :    data きじゅつご数据描述符。
• "正論理" 日文翻译 :    せいろんり正逻辑(电路)。
• "論理if文" 日文翻译 :    ろんりIFぶん逻辑条件语句。
• "論理iocs" 日文翻译 :    ろんりIOCS逻辑输入输出控制系统。
• "論理和" 日文翻译 :    "或"
• "論理学" 日文翻译 :    ろんりがく 3 論 理学 【名】 逻辑学
• "論理式" 日文翻译 :    公式 (数理逻辑)
• "論理的" 日文翻译 :    ろんりてき 0 論 理的 【形動】 逻辑的;逻辑性的
• "セグメント記述語" 日文翻译 :    段描述字
• "ベクトル記述語" 日文翻译 :    vector きじゅつご向量描述字。
• "レコード記述語" 日文翻译 :    记录描述字
• "3値論理" 日文翻译 :    三值逻辑
• "ブール論理" 日文翻译 :    布尔逻辑
• "ホーア論理" 日文翻译 :    Hoare逻辑
• "高障害" 日文翻译 :    こうしょうがい2 3 高 障 害 【名】 高栏
• "高雄" 日文翻译 :    gao1xiong2 [地名]高雄 [关]台湾

• 高階述語論理の英語1. higher-order predicate calculus 2. higher-order predicate logic