文件列表
本特殊页面展示所有上传的文件。
首页 |
上一页 |
下一页 |
末页 |
| 日期 | 名称 | 缩略图 | 尺寸 | 说明 | 版本 |
|---|---|---|---|---|---|
| 2021年11月2日 (二) 10:22 | 梁子奇11.1OT.pptx （文件） |  |
278 KB | 1 | |
| 2021年11月2日 (二) 10:19 | OT-尾递归-刘博悦.zip （文件） | |
15.8 MB | 1 | |
| 2021年11月2日 (二) 10:16 | 尾递归(杨梓宣).pptx （文件） | |
240 KB | 1 | |
| 2021年11月2日 (二) 10:15 | 尾递归-陈荣锴.pptx （文件） | |
17.54 MB | 1 | |
| 2021年11月2日 (二) 10:13 | 2021-作业反馈1-4.pptx （文件） | |
343 KB | 1 | |
| 2021年10月27日 (三) 10:58 | 2021-1-4-algorithm.zip （文件） | |
427 KB | 1 | |
| 2021年10月27日 (三) 10:56 | 2021-1-5-data-structure.zip （文件） | |
1.29 MB | 1 | |
| 2021年10月25日 (一) 20:19 | 如何在Coq中使用(王雷宇).pptx （文件） | |
1.94 MB | 1 | |
| 2021年10月25日 (一) 20:00 | Coq李鸿毅 录像.pptx （文件） | |
45.11 MB | 1 | |
| 2021年10月25日 (一) 19:56 | 21毕然OT1-3-2.pptx （文件） | |
2.16 MB | 1 | |
| 2021年10月25日 (一) 19:52 | COQ中数学归纳法的使用-徐沐杰.pptx （文件） | |
30.45 MB | 1 | |
| 2021年10月25日 (一) 19:46 | 作业反馈1-3 .pptx （文件） | |
1.76 MB | 1 | |
| 2021年10月18日 (一) 12:02 | 自然推理系统(刘熹橦).pptx （文件） | |
213 KB | 1 | |
| 2021年10月18日 (一) 11:13 | 1-2-自然推理系统(lcx).pptx （文件） | |
40.41 MB | 1 | |
| 2021年10月18日 (一) 11:06 | 自然推理系统-蔡昊润.pptx （文件） | |
41.66 MB | 1 | |
| 2021年10月18日 (一) 11:05 | 1-2-前束范式(朱家辰).pptx （文件） | |
498 KB | 1 | |
| 2021年10月18日 (一) 11:03 | 1-2-PNF-李杨彬.pptx （文件） | |
4.87 MB | 1 | |
| 2021年10月18日 (一) 11:00 | 1-2 Reasoning.pptx （文件） | |
2.42 MB | 1 | |
| 2021年10月14日 (四) 13:09 | Lecture1-2什么样的推理是正确的-2021.pptx （文件） | |
7.14 MB | 1 | |
| 2021年10月11日 (一) 10:09 | 1-1 Why.pptx （文件） | |
1.34 MB | 1 | |
| 2021年10月10日 (日) 21:31 | 问题求解序言-计算思维20210923.pptx （文件） | |
1.78 MB | 1 | |
| 2021年10月10日 (日) 21:30 | 问题求解课程解释和约定20210923.pptx （文件） | |
170 KB | 1 | |
| 2021年10月9日 (六) 09:16 | 2021-1-3-proof.zip （文件） | |
472 KB | 1 | |
| 2021年9月23日 (四) 12:18 | 2021-1-2-reasoning.zip （文件） | |
412 KB | 1 | |
| 2021年9月19日 (日) 14:25 | 2021-1-1-why.zip （文件） | |
1.04 MB | 1 | |
| 2021年9月15日 (三) 12:18 | Walter Savitch-Problem Solving with C++-Addison Wesley (2014).pdf （文件） |  |
9.69 MB | 1 | |
| 2021年6月25日 (五) 18:50 | 计算机问题求解-算法小结.pptx （文件） | |
6.31 MB | 1 | |
| 2021年6月25日 (五) 18:49 | 总复习之形式化和建模.pptx （文件） | |
155 KB | 1 | |
| 2021年6月10日 (四) 09:18 | 4-12-heuristic-algorithms.zip （文件） | |
106 KB | 1 | |
| 2021年6月10日 (四) 09:15 | 4-11-randomized-algorithm.zip （文件） | |
85 KB | 1 | |
| 2021年6月10日 (四) 09:01 | 4-10-approximation-algorithm.zip （文件） | |
93 KB | 1 | |
| 2021年6月10日 (四) 09:00 | 计算机问题求解-2021-6-7-启发式算法.pptx （文件） | |
877 KB | 1 | |
| 2021年6月10日 (四) 08:59 | 计算机问题求解-2021-5-26-随机算法的基本概念.pptx （文件） | |
1,021 KB | 1 | |
| 2021年5月20日 (四) 14:18 | 计算机问题求解-2021-5-10-优化问题的近似解(1).pptx （文件） | |
1.59 MB | 1 | |
| 2021年5月18日 (二) 15:47 | OT-屈力.pptx （文件） | |
1.05 MB | 1 | |
| 2021年5月18日 (二) 15:43 | 4-8-formalization.pdf （文件） | |
92 KB | 1 | |
| 2021年5月18日 (二) 15:42 | 4-7-coding.pdf （文件） | |
197 KB | 1 | |
| 2021年5月10日 (一) 11:48 | ECC.pdf （文件） | |
22.29 MB | 1 | |
| 2021年5月7日 (五) 14:00 | 4-9-NP-completeness.zip （文件） | |
102 KB | 1 | |
| 2021年5月7日 (五) 13:59 | 4-8-Formalization.zip （文件） | |
90 KB | 1 | |
| 2021年5月7日 (五) 13:58 | 4-7-代数编码.zip （文件） | |
107 KB | 1 | |
| 2021年5月7日 (五) 13:56 | 计算机问题求解-2021-5-7-NP完全性.pptx （文件） | |
997 KB | 1 | |
| 2021年4月27日 (二) 10:32 | 4-6-encription.zip （文件） | |
109 KB | 1 | |
| 2021年4月27日 (二) 10:31 | 4-5-algorithms-of-number-theory.zip （文件） | |
109 KB | 1 | |
| 2021年4月27日 (二) 10:30 | 4-4-number-theory.zip （文件） | |
72 KB | 1 | |
| 2021年4月27日 (二) 10:29 | 计算机问题求解-2021-4-26-问题的形式化描述.pptx （文件） | |
1.18 MB | 1 | |
| 2021年4月25日 (日) 22:20 | OT1-庄泽明 .pptx （文件） | |
2.41 MB | 1 | |
| 2021年4月25日 (日) 22:12 | Pollard's rho Algorithm.pptx （文件） | |
989 KB | 1 | |
| 2021年4月25日 (日) 22:12 | OT-Pollard's rho algorithm-ymy.pptx （文件） | |
822 KB | 1 | |
| 2021年4月25日 (日) 22:12 | Multiplication-handout-宋天惠.pdf （文件） | |
427 KB | 1 |
首页 |
上一页 |
下一页 |
末页 |
