时态逻辑造句怎么写

在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。