列表 第页
自然数上的"强"(或"完全")归纳法是指,当证明n上的归纳步时,可以假定对任何k都成立Theorem strong_induction:forall P : nat -> Prop,(forall n : nat, (forall k : nat, (k P k)) -> P n) ->forall...阅读全文
高三英语学习方法总结1英语是一门语言应用的学科,又因为它是外语,很多老师都说英语在高中阶段对学生的要求是很低的,但对于我这样本身英语基础很差的学生来说,整个高中真是苦不堪言,我对英语的希望只是不给我拉分就非常满意了,但非常出乎意外的是高考中我得了141分,可以说三年的付出最终得到回报,所以我的几点建议可供那些基础不好...阅读全文
1、人生比你想象的要短。——《百年孤独》2、可以不忠,但不可以背信弃义。——《霍乱时期的爱情》3、创造是用生命去交换比生命更长久的东西。——《要塞》4、做喜欢的事情,不算熬。——《最好的我们》5、当事情太过神秘时,人...阅读全文