上午李勃华讲课,一些数学思想,解不定方程,佩尔方程等,解不定方程的方法似乎不错.后来时间太多,他又讲了Onlogn的证明,线性规划等.下午周源讲数理逻辑,很大一块是命题演算,绝对复杂~公理只有三条~连A->A都很难证~晚上终于有了这些天第一次上机!大家都抓紧吃晚饭,完了直冲机房.又用Linux~我做了CEOI的一题-关键网线,复习了欧拉路,又实践了解不定方程(还不对).累~by mobile