feyman物理讲义2,中文版。。。。。。。。。。。。。。。。。。。。。

北京大学数学学院和信息科学系数理逻辑课件。

Lr syntax analysis source

农夫过河问题的C源代码。