简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。
简介：介绍一种新的珠算除法──珠算减加式除法滕迪安珠算减加式除法是一种新颖除法。它的优点在于用减加法代替除法运算，不用日决，见于打子，简单、准确、方便、快捷。珠算减加式除法的运算方法：从被除数的首位（不够减，则在后位）减除数首位（或几遍除首），然后加上除数...
简介：对于三机器自由作业加工总长问题，如果工件仅有两个到达时间，我们证明了稠密时间表的性能比为5/3。
论谓词逻辑推理中的量词加免法则
介绍一种新的珠算除法──珠算减加式除法
有到达时间的三机器自由作业稠密时间表性能比
