ประโยคภาษาจีน : 中文句子 |
---|
zài 在 lí sàn shù xué 离散数学 hé 和 jī chǔ kè 基础课 chéng zhōng 程中 yǐn rù 引入 shí tài 时态 luó ji 逻辑 lìng 令 yì xiē 一些 gōng jù 工具 néng 能 chǔ lǐ 处理 bìng xíng 并行 |
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency. |