【second-order_logic】什么意思_英语second-order_logic的翻译_音标_读音_用法_例句_在线翻译

second-order logic

[计] 二阶逻辑

... 二阶动力系统 second-order dynamic system 二阶逻辑 second-order logic 二阶约束品性 second-order constraint qualification ...

基于2190个网页-相关网页

短语

更多收起网络短语

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.Shapiro (1991) and Hinman (2005) give complete introductions to the subject, with full definitions.

以上来源于: WordNet

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.

这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。

youdao
Second-order dynamic fuzzy logic;

二阶动态模糊逻辑；谱理论；

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句