V
主页
京东 11.11 红包
康奈尔大学《OCaml编程|CS3110:OCaml Programming: Correct + Efficient + Beautiful》中英字幕
发布人
https://cs3110.github.io/textbook/cover.html https://github.com/featherwit001/CS3110_OCaml_Programming 如果说编程入门的最好的课程是 SICP。在其之后,就是 CS3110。如果你不知道什么叫函数式编程语言,或者只是听过这个名词,那么这门课程,正如它的名字,会让你体会到什么叫正确,高效和美。CS3110 不仅局限于函数式编程,更是将理论和实用充分结合。课程内容更进一步,涵盖了 OCaml 语言基础,数据结构和算法,测试开发,形式证明,语言特性实现等诸多内容。而且内容之间并不割裂,而是递进和互补,非常值得学习。 主讲老师 Michael Ryan Clarkson,浸淫编程多年,用词简单,表述清晰,内容环环相扣,剖析一针见血。课程视频甚至用来练听力,听不懂开英文字幕理解起来毫不费力。
打开封面
下载高清视频
观看高清视频
视频下载器
密歇根大学《创造性编程(创意、面向对象、debug、QA)|Creative Coding: Hands-On Python》中英字幕
密歇根大学《解剖学(人体神经,胃肠道、生殖和内分泌系统)|Anatomy》中英字幕
密歇根大学《Python3编程(课程1、2、3)》|Python 3 Programming(Python for everyone进阶)(中英字幕)
MIT《计算机图形学|MIT 6.837 Introduction to Computer Graphics (fall 2021)》中英字幕(deepseek
宾夕法尼亚大学《GPU编程和框架|upenn CIS 5650 GPU Programming and Architecture Fall 2023》中英字幕
斯坦福大学《计算机科学的概率论|CS109 Introduction to Probability for Computer Scientists 22》豆包
斯坦福大学《算法博弈论|Stanford Algorithmic Game Theory CS364A, Fall 2013》中英字幕(deepseek)
杜克大学《Rust编程(Linux命令行工具、LLMOps)|Rust programming》中英字幕
伯克利音乐学院《FL Studio 基础知识|FL Studio Basics》中英字幕
密歇根大学《Model Thinking 模型思维》中英字幕
宾夕法尼亚大学《游戏化(将游戏元素和数字游戏设计技术应用于非游戏问题)|gamification》中英字幕
宾夕法尼亚大学《科学哲学|Philosophy of Science》中英字幕
伯克利音乐学院《音乐教育教师(流行音乐、爵士、编曲、音乐制作)|Music Education for Teachers》中英字幕
UCB《离散数学和概率论|CS70 Discrete Mathematics and Probability Theory 2015》中英字幕
哈佛大学《给律师的计算机科学|CS50’s Computer Science for Lawyers 2019》中英字幕【豆包翻译】
亚利桑那州立大学《商务英语(管理、财务、营销、毕业项目)|Business English》中英字幕
香港中文大学《信息论Information Theory》中英字幕
UCB《计算机安全|CS 161 Fall 2023 | Computer Security at UC Berkeley》Calude-3.5翻译
NCSU CSC 565《图论|Graph Theory 2020 by Don Sheehy》中英字幕(GPT-4翻译)
悉尼大学《微积分入门|Introduction to Calculus》中英字幕
约翰霍普金斯大学《GPU编程(并发编程、并行编程、面向企业、CUDA高级库)|GPU Programming》
普林斯顿大学《算法分析|Analysis of Algorithms》中英字幕
沃顿商学院《病毒式营销及如何打造具有传染力的内容|Viral Marketing and How to Craft Contagious Content》
密歇根大学《了解精神病|Understanding Psychosis 》中英字幕
苏黎世联邦理工《数字设计与计算机体系结构|ETH Zurich Digital Design and Computer Architecture 23 sp》
吴恩达《AI for everyone》给所有人的AI课(中英字幕)
普林斯顿大学《全球系统性风险|Global Systemic Risk》中英字幕
哈佛大学《CS50X 计算机科学导论 C语言|Harvard CS50 Fall 2024 - Lecture 1 - C》中英字幕(deepseek翻译
普林斯顿大学《计算机科学:以目的为导向的编程(Java)|Computer Science: Programming with a Purpose》中英字幕
约翰霍普斯金大学《代数:从基础到高级|Algebra: Elementary to Advanced》中英字幕
密歇根大学《设计师的Python编程课(Python基础、数据结构、创造性项目)|Programming for Designers》中英字幕
宾夕法尼亚大学《积极心理学基础(应用与干预/品格毅力/抗逆力/设计生活追求幸福)|Foundations of Positive Psychology》中英字幕
AIMS《拓扑学与几何学|Topology & Geometry by Dr Tadashi Tokieda 2014》中英字幕(深度
《有效沟通:写作、设计和演讲|Effective Communication: Writing, Design, and Presentation》英中字幕
斯坦福大学《学术写作|Writing in the Sciences》中英字幕
密歇根大学《亚历山大技巧:平衡姿势轻松舒适Alexander Technique: Balanced Posture for Ease and Comfort》
约翰霍普金斯大学《循证毒理学|Evidence-based Toxicology》(中英字幕)deepseek翻译
普林斯顿大学《解析组合学|Analytic Combinatorics》中英字幕
芝加哥大学LEADERSHIP LAB_《有效写作的技巧|The Craft of Writing Effectively》中英字幕
宾夕法尼亚大学《因果推断速成课程|A Crash Course in Causality》中英字幕