青年中文monadic的意思
monadic中文翻譯：
adj.單細胞生物的；單孢體的
gonadic───性腺的
monodic───adj.挽歌的；獨唱的
monacidic───單酸的
monadical───單一的
maenadic───前王朝
monadism───n.單元論；單子論體系
monastic───adj.修道院的；僧尼的；廟宇的；n.僧侶；修道士
tornadic───adj.龍卷風的，颶風的；旋風的
monacid───adj.一酸的；一價的；n.一元酸
How to use an Alex monadic lexer with Happy?───如何使用一個亞歷克斯一元詞法分析器與快樂嗎？
In this paper we analyze the relation of some special domains and its monadic polynomial rings.───給出一些特殊的整環與它的一元多項式環之間的關系。
Modular monadic slicing for programs with Pointers.───指針程序的模塊單子切片。
They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.───它們對應一元謂詞邏輯，而布爾代數對應于命題邏輯，而多元代數對應于一階邏輯。
Likewise, monadic Boolean algebras supply the algebraic semantics for S5.───類似的，一元布爾代數為S5提供了代數語義。
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.───模態邏輯S5，被看作S4中一個理論，是一元布爾代數的模型，如同模態邏輯S4是內部代數的模型。
Monadic Boolean algebras also have an important connection to modal logic.───一元布爾代數還與模態邏輯有重要聯系。
Hence S5-algebra is a synonym for monadic Boolean algebra.───所以S5-代數是一元布爾代數的同義詞。
Simply Talking about Application of Monadic Linear Regression Analysis, Straight Line Interpolation in Jack Calibration───淺談一元線性回歸分析、直線插值法在千斤頂標定中的應用
Sentencedict.com is a online sentence dictionary, on which you can find good sentences for a large number of words.
Why are monadic predicates not sufficient for a complete description of the world?
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.
Hence S5-algebra is a synonym for monadic Boolean algebra.
The calculations of extreme value for monadic and binary function are essential problem in mathematical analysis , which can apply to calculate maximum and minimum.
To use monadic means is difficult to correctly locate hidden water flowing subsided columns.
Modular monadic slicing for programs with pointers.
Monadic Boolean algebras have an important connection to topology.
Likewise, monadic Boolean algebras supply the algebraic semantics for S5.