哇，多年以后当我的对象指着我的鼻子问我怎么证明我没有第二个对象的时候，我一定会想起所有N系统的证明都有否定引入。牛逼，数理逻辑这一块还是有说法的，把学生训练成人机了都快。蕴含和等价两个连接词的含义不能直接用，析取三段论不能直接用，德摩根不能直接用，拒取式不能直接用，假言易位不能直接用，那我问你，我头 >>更多

比隔壁离散数学强。喜欢壳方法的小朋友们你们好啊，我是壳主，我会打松果糖豆闪电鞭。AI时代，算法为王，要想称王，神机秒算。科学理论，科学实验，科学计算，AI4Science。绝对误差，相对误差，截断误差，舍入误差。近数怪，小母怪，大吃小怪，蜘蛛怪，还有零蛋怪。做串串，造楼梯，期末NO.1一尺之棰，日取 >>更多

崔金明老师今年是第一年自己带课，确实有一些地方讲得不够明白，但是能看出来备课是下了功夫的。时不时还会掏出来几个好玩的光学小玩具（激光笔、狭缝、方解石），不过后面讲到量子部分应该就掏不出来了（刚开始几节课老师为了让大家听课会提问，还让助教记了名字说能加平时分，不过后面慢慢也就不是很提问了。说回这门课本 >>更多