这是一门十分的课程，别的我不知道，反正小测十分的长 >>更多

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

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