“2019级--小班讨论 (第一学期)”的版本间的差异

来自问题求解
跳转至： 导航、 搜索
（→‎学习周历）
Whf（讨论 | 贡献）
（→‎学习周历）
第74行： 第74行：
 
|  
 
|  
 
* Pointers and Arrays
 
* Pointers and Arrays
−
# 诸高骅
+
# [[Media:2019-1-5-Pointer-诸高骅.zip | 诸高骅]]
−
# 严泽宇
+
# [[Media:2019-1-5-Pointer-严泽宇.pptx | 严泽宇]]
 
* Sequential Containers in C++ STL
 
* Sequential Containers in C++ STL
−
# 黄泽雨
+
# [[Media:2019-1-5-STL-黄泽雨.pptx | 黄泽雨]]
−
# 曹雨森
+
# [[Media:2019-1-5-STL-曹雨森.pptx | 曹雨森]]
 
|
 
|
 
|-
 
|-

2019年11月9日 (六) 21:57的版本

学习周历

2019级问题求解课程第一学期学生名单-20190925-分班表

日期 论题 Open Topics
  • 1: 227（马）
  • 2: 228 (魏)）
 扩展材料

(供感兴趣的同学自学使用)

2019-10-10

1-1-why

  • 假币问题
  1. 高灏
  2. 戴一帆
  • 汉诺塔问题
  1. 林海波
  2. 朱宇博
 
 理解解题思路，完善解题细节
2019-10-17 1-2-reasoning
  • 命题逻辑的自然推理系统 + Coq
  1. 陈弘毅
  2. 吴煜青
  • 前束范式
  1. 贾林杰
  2. 张浩宇
2019-10-24 1-3-proof
  • Induction + Coq
  1. 李晗
  2. 曹恒源
  • Double Counting
  1. 浦亮
  2. 周晓
  • Chapter 30 ``Cayley's formula for the number of trees of ``Proofs from THE BOOK (Fourth Edition)
 再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。
  • 《逻辑的引擎》前三章
2019-10-31 1-4-algorithm
  • 尾递归
  1. 姚梦雨
  2. 刘闵
  • 结构化程序设计
  1. 彭泽
  2. 马文洁
2019-11-07 1-5-data-structure
  • Pointers and Arrays
  1. 诸高骅
  2. 严泽宇
  • Sequential Containers in C++ STL
  1. 黄泽雨
  2. 曹雨森
2019-11-14 1-6-programming-language
  • 正则表达式
  2. 吴煜青
  • 程序设计语言的语义
  1. 张涛
  2. 乔志鹏
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2019级--小班讨论_(第一学期)&oldid=3501”