XeLabs/cs-self-learning
2
0
Fork 0
mirror of https://github.com/PKUFlyingPig/cs-self-learning.git synced 2026-06-24 02:16:58 +08:00
Code Issues Projects Releases Packages Wiki Activity

[COURSE] Add CS3110 Cornell University modify format

Browse source
This commit is contained in:
wangyx 2023-08-15 20:44:58 +08:00
parent e34d8bf3d5
commit 5698df84ba
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/编程入门/CS3110.en.md
View file

@ -3,7 +3,7 @@
## Descriptions
- Offered by: Cornell University
- Prerequisites: basic knowledge about imperative programming，such as C, Python，Java
- Prerequisites: basic knowledge about imperative programming，such as C, Python, Java
- Programming Languages: OCaml
- Difficulty: 🌟🌟🌟
- Class Hour: 40 hours
@ -20,7 +20,7 @@ The main instructor, Michael Ryan Clarkson, with years of immersion in programmi
### A Brief History of CS 3110
CS3110 is a course meticulously crafted by Cornell University over more than 20 years. Initially inspired by MIT 6.001 SICP, it has been enriched with stricter methodologies and materials, encompassing functional programming, environment modeling, data structures, algorithms, and language implementation. In 2008, its formal title changed to CS3110, transitioning to the OCaml language. In the fall of 2018, the process of writing the [course textbook](https://cs3110.github.io/textbook) began. The current course instructor announced [course videos](https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU) on YouTube in 2021.
CS3110 is a course meticulously crafted by Cornell University over more than 20 years. Initially inspired by MIT6.001 SICP, it has been enriched with stricter methodologies and materials, encompassing functional programming, environment modeling, data structures, algorithms, and language implementation. In 2008, its formal title changed to CS3110, transitioning to the OCaml language. In the fall of 2018, the process of writing the [course textbook](https://cs3110.github.io/textbook) began. The current course instructor announced [course videos](https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU) on YouTube in 2021.
## Course Resources

10
docs/编程入门/CS3110.md
View file

@ -10,24 +10,24 @@
### 课程评价： modern SICP
如果说编程入门的最好的课程是SICP。在其之后，就是CS3110。
如果说编程入门的最好的课程是 SICP。在其之后，就是 CS3110。
如果你不知道什么叫函数式编程语言，或者只是听过这个名词，那么这门课程，正如它的名字，会让你体会到什么叫正确，高效和美。
CS3110不仅局限于函数式编程，更是将理论和实用充分结合。课程内容更进一步，涵盖了OCaml语言基础，数据结构和算法，测试开发，形式证明，语言特性实现等诸多内容。而且内容之间并不割裂，而是递进和互补，非常值得学习。
CS3110 不仅局限于函数式编程，更是将理论和实用充分结合。课程内容更进一步，涵盖了 OCaml 语言基础，数据结构和算法，测试开发，形式证明，语言特性实现等诸多内容。而且内容之间并不割裂，而是递进和互补，非常值得学习。
主讲老师Michael Ryan Clarkson，浸淫编程多年，用词简单，表述清晰，内容环环相扣和剖析一针见血。课程视频甚至用来练听力，听不懂开英文字幕理解起来毫不费力。
主讲老师 Michael Ryan Clarkson，浸淫编程多年，用词简单，表述清晰，内容环环相扣，剖析一针见血。课程视频甚至用来练听力，听不懂开英文字幕理解起来毫不费力。
### 课程简史，摘自课程教材
CS3110是康奈尔大学打磨20余年的课程。最初发源于MIT6.001 SICP，在其基础上增加更严格方法和材料，涵盖函数式编程，环境模型，数据结构，算法和语言实现。2008年，正式名称改为CS3110，改用OCaml语言。2018年秋季，开始编写[课程教材](https://cs3110.github.io/textbook)。现任课程的主讲老师于2021年在youtube上公布了[课程视频](https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU)。
CS3110 是康奈尔大学打磨 20 余年的课程。最初发源于 MIT6.001 SICP，在其基础上增加更严格方法和材料，涵盖函数式编程，环境模型，数据结构，算法和语言实现。2008 年，正式名称改为 CS3110，改用 OCaml 语言。2018 年秋季，开始编写[课程教材](https://cs3110.github.io/textbook)。现任课程的主讲老师于 2021 年在 youtube 上公布了[课程视频](https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU)。
## 课程资源
- 课程视频油管: <https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU>
- 课程视频B站: <https://www.bilibili.com/video/BV1dv4y127Ui/>
- 课程教材：<https://cs3110.github.io/textbook>
- 课程作业：课程教材中exercises自选，难度1至4星，注意3星至4星的难度跨越很大。
- 课程作业：课程教材中 exercises 自选，难度 1 至 4 星，注意 3 星至 4 星的难度跨越很大。
## 资源汇总