《软件分析》笔记

南京大学《软件分析》Yue Li and Tian Tan 课程主页, 视频 1. Course Introduction 课程介绍 PL 的分支 语言的分类:命令式 (C, Java)、函数式 (Haskell)、逻辑式/声明式 挑战:语言没有变,但是程序变复杂了, ...

2020 寒假编程辅导

给小朋友开的编程课的讲义和练习题 OJ: 洛谷 1/19: 课程简介、运算符 1/20: 数据类型、洛谷关卡1-1前三题(P1000, P1001, P1421) 1/21: 输入输出、选择结构、洛谷关卡1-1第四题(P1425)、关卡1-2第一题(P1422) 1/2 ...