
步骤跳跃 · 分项说明
概念说明
步骤跳跃不是写得简略,而是后一步用了前一步的结论却丢掉了它的有效范围:前一步只在某条件下成立,后一步按无条件使用。
判断方法
常见误解是把没解释为什么当成步骤跳跃。判断时取相邻两句做变换测试:从前一句到后一句,需要执行哪一个具体动作,是代入、替换、计算还是取样;再到前文找这个动作有没有被写出。动作已写出而只是理由简略的,属于说明省略;后句结果无法由前句经已写动作得到,才记为步骤跳跃。相邻两句跨越不同主题时,先确认它们是否属于同一过程,不能直接判跳。
适用边界
常见误解是只要过程写得不够细就判跳跃。此判断只适用于一条有先后依赖的转换链,且读者需要按它得到同一状态;并列备选、不同主题的插叙,以及作者明确只给结果的汇总,不在范围内。过程里省略的是不改变状态的等价改写或已约定的记法,不应算缺口;缺了它就无法确定下一状态,才进入判断。即便确认一处缺口,也只说明该处复现困难,不能据此判定最终结果错误。



读者评论
说实话我不太认同,有些方法听着好,做起来太费时间了
问一下,练的时候要不要给自己计时,还是顺其自然更好
看完顺手把明天要练的排了个顺序,心里一下清楚了
说实话看到一半有点犯困,但内容是真有用,硬撑着看完的
试了两天,感觉自己以前练得太糊弄了