formalize是什么意思 formalize在线中文翻译

formalize 英 [ˈfɔ:məlaɪz] 美 [ˈfɔ:rməlaɪz]

formalize 词典解释

1. 形式化
   ...目前为止,我们的一阶逻辑可以形式化(formalize)一些日常生活中的句子,把它变成一阶逻辑当中的语句,像是什麼所有男生都喜欢女生之类的....
2. 正式确认
   ...hrtimer API 正式确认(formalize)了绝对时间和相对时间之间的区别,要求调用者指定类型. cleanup_module 函数提供了这个 API 的其他几个功能,其中之一是 list_for_each 宏,这个宏简化了列表迭代. 对于这个宏,...
3. 使正式
   ...formalization 形式化 | formalize 使正式 | formally 正式地...

1. declare or make legally valid
   Synonym: validate formalise
2. make formal or official
   e.g. We formalized the appointment and gave him a title
   Synonym: formalise

formalize [ˈfɔ:məlaɪz]