所有公开日志
所有问题求解公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
（最新 | 最旧） 查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）- 2021年11月8日 (一) 19:33 Majun（讨论 | 贡献）上传文件:OT2-盖伟业-211240081.pptx
- 2021年11月8日 (一) 19:31 Majun（讨论 | 贡献）上传文件:1-5-Pointer-邓振霄.pptx
- 2021年11月8日 (一) 19:29 Majun（讨论 | 贡献）上传文件:指针与数组-张明轩.pptx
- 2021年11月2日 (二) 21:06 Majun（讨论 | 贡献）上传文件:2021-1-6-programming-language.zip
- 2021年11月2日 (二) 14:00 Majun（讨论 | 贡献）上传文件:尾递归-林朗.pptx
- 2021年11月2日 (二) 10:38 Majun（讨论 | 贡献）上传文件:1-4-尾递归-郑义云.pptx
- 2021年11月2日 (二) 10:26 Majun（讨论 | 贡献）上传文件:1-4-OT-structured programming陈冀轩.pptx
- 2021年11月2日 (二) 10:25 Majun（讨论 | 贡献）上传文件:211240059孙骞.pptx
- 2021年11月2日 (二) 10:23 Majun（讨论 | 贡献）上传文件:OT by 尹杰.pptx
- 2021年11月2日 (二) 10:22 Majun（讨论 | 贡献）上传文件:梁子奇11.1OT.pptx
- 2021年11月2日 (二) 10:19 Majun（讨论 | 贡献）上传文件:OT-尾递归-刘博悦.zip
- 2021年11月2日 (二) 10:16 Majun（讨论 | 贡献）上传文件:尾递归(杨梓宣).pptx
- 2021年11月2日 (二) 10:15 Majun（讨论 | 贡献）上传文件:尾递归-陈荣锴.pptx
- 2021年11月2日 (二) 10:13 Majun（讨论 | 贡献）上传文件:2021-作业反馈1-4.pptx
- 2021年10月27日 (三) 10:58 Majun（讨论 | 贡献）上传文件:2021-1-4-algorithm.zip
- 2021年10月27日 (三) 10:56 Majun（讨论 | 贡献）上传文件:2021-1-5-data-structure.zip
- 2021年10月25日 (一) 20:19 Majun（讨论 | 贡献）上传文件:如何在Coq中使用(王雷宇).pptx
- 2021年10月25日 (一) 20:00 Majun（讨论 | 贡献）上传文件:Coq李鸿毅 录像.pptx
- 2021年10月25日 (一) 19:56 Majun（讨论 | 贡献）上传文件:21毕然OT1-3-2.pptx
- 2021年10月25日 (一) 19:52 Majun（讨论 | 贡献）上传文件:COQ中数学归纳法的使用-徐沐杰.pptx
- 2021年10月25日 (一) 19:46 Majun（讨论 | 贡献）上传文件:作业反馈1-3 .pptx
- 2021年10月18日 (一) 12:02 Majun（讨论 | 贡献）上传文件:自然推理系统(刘熹橦).pptx
- 2021年10月18日 (一) 11:13 Majun（讨论 | 贡献）上传文件:1-2-自然推理系统(lcx).pptx
- 2021年10月18日 (一) 11:06 Majun（讨论 | 贡献）上传文件:自然推理系统-蔡昊润.pptx
- 2021年10月18日 (一) 11:05 Majun（讨论 | 贡献）上传文件:1-2-前束范式(朱家辰).pptx
- 2021年10月18日 (一) 11:03 Majun（讨论 | 贡献）上传文件:1-2-PNF-李杨彬.pptx
- 2021年10月18日 (一) 11:00 Majun（讨论 | 贡献）上传文件:1-2 Reasoning.pptx
- 2021年10月14日 (四) 13:09 Majun（讨论 | 贡献）上传文件:Lecture1-2什么样的推理是正确的-2021.pptx
- 2021年10月11日 (一) 10:09 Majun（讨论 | 贡献）上传文件:1-1 Why.pptx
- 2021年10月10日 (日) 21:31 Majun（讨论 | 贡献）上传文件:问题求解序言-计算思维20210923.pptx
- 2021年10月10日 (日) 21:30 Majun（讨论 | 贡献）上传文件:问题求解课程解释和约定20210923.pptx
- 2021年10月9日 (六) 09:16 Majun（讨论 | 贡献）上传文件:2021-1-3-proof.zip
- 2021年9月23日 (四) 12:18 Majun（讨论 | 贡献）上传文件:2021-1-2-reasoning.zip
- 2021年9月19日 (日) 14:25 Majun（讨论 | 贡献）上传文件:2021-1-1-why.zip
- 2021年9月15日 (三) 12:18 Majun（讨论 | 贡献）上传文件:Walter Savitch-Problem Solving with C++-Addison Wesley (2014).pdf
- 2021年6月25日 (五) 18:50 Majun（讨论 | 贡献）上传文件:计算机问题求解-算法小结.pptx
- 2021年6月25日 (五) 18:49 Majun（讨论 | 贡献）上传文件:总复习之形式化和建模.pptx
- 2021年6月10日 (四) 09:18 Majun（讨论 | 贡献）上传文件:4-12-heuristic-algorithms.zip
- 2021年6月10日 (四) 09:15 Majun（讨论 | 贡献）上传文件:4-11-randomized-algorithm.zip
- 2021年6月10日 (四) 09:01 Majun（讨论 | 贡献）上传文件:4-10-approximation-algorithm.zip
- 2021年6月10日 (四) 09:00 Majun（讨论 | 贡献）上传文件:计算机问题求解-2021-6-7-启发式算法.pptx
- 2021年6月10日 (四) 08:59 Majun（讨论 | 贡献）上传文件:计算机问题求解-2021-5-26-随机算法的基本概念.pptx
- 2021年5月20日 (四) 14:18 Majun（讨论 | 贡献）上传文件:计算机问题求解-2021-5-10-优化问题的近似解(1).pptx
- 2021年5月18日 (二) 15:47 Majun（讨论 | 贡献）上传文件:OT-屈力.pptx
- 2021年5月18日 (二) 15:43 Majun（讨论 | 贡献）上传文件:4-8-formalization.pdf
- 2021年5月18日 (二) 15:42 Majun（讨论 | 贡献）上传文件:4-7-coding.pdf
- 2021年5月10日 (一) 11:48 Majun（讨论 | 贡献）上传文件:ECC.pdf
- 2021年5月7日 (五) 14:00 Majun（讨论 | 贡献）上传文件:4-9-NP-completeness.zip
- 2021年5月7日 (五) 13:59 Majun（讨论 | 贡献）上传文件:4-8-Formalization.zip
- 2021年5月7日 (五) 13:58 Majun（讨论 | 贡献）上传文件:4-7-代数编码.zip
