第197行: |
第197行: |
| | | |
| ==课程详情== | | ==课程详情== |
− | <blockquote>
| |
− | ==[https://campus.swarma.org/course/2723 范畴论入门系列课程(第一季)]==
| |
− | <blockquote>
| |
− | ===课程介绍===
| |
− | 范畴论提供了系统、精确、抽象的跨领域科学方法论。不同知识领域的问题按照特定的范畴来组织,范畴论通过函子来连接不同领域的不同范畴,实现跨领域的研究。函子把源范畴的结构映射到目标范畴。复杂的范畴可能转化到简单的范畴,陌生的范畴可能转化到熟悉的领域中的范畴,抽象的范畴可能转化到易于计算的范畴。
| |
− |
| |
− | 范畴论尽可能地用函子来构造这种跨范畴的联系,构造一个好的函子,把原有领域范畴重要的结构信息,更多地保持到目标范畴中。具体构造时就需要特定领域的知识了。
| |
− |
| |
− | 在范畴论发明前,并没有系统化的跨领域联系的方法论,许多科学的进展都依靠科学家天才的联想能力。比如Galois对群和域这两个范畴的联想,促进了数论和群论的大幅发展。如今在范畴论中这种联想系统化地发展成为了Galois连接。
| |
− |
| |
− | 与自然语言描述为主的科学哲学不同,范畴论是数学领域抽象程度的顶峰,是可以以公式或者其它数学表达方式明确指导具体研究的。学习范畴论,相当于学到了系统、精确、抽象的科学方法论,并可以直接付诸于各领域考察的问题,寻求跨领域的解决之道。
| |
− |
| |
− | 本课程中,尽量从较低的起点出发,在补充具体的数学知识过程中,让大家熟悉范畴化的思维方式,为理解抽象的范畴论概念积累实例。系列课程完成后,学员将能够了解范畴论的基本知识,包括范畴、函子、对偶、极限,并且在代数、拓扑等方面有范畴论角度的理解。
| |
− |
| |
− | ===讲师介绍===
| |
− |
| |
− | *J-CAT 猫圈 :教育法尝试者,同时给小学、中学、大学、研究生、科研人员授课,寻找从基础到前沿的最短路径。研究兴趣包括:范畴论、动力系统、人工智能。
| |
− |
| |
− | ===课程大纲===
| |
− | 课程暂定为两季。为了适应广大非数学专业爱好者的需要,第一季尽量从较低的起点出发,在补充具体的数学知识过程中,让学员熟悉范畴化的思维方式,为理解抽象的范畴论概念积累实例。第一季完成后,学员将能够了解范畴论的基本知识,包括范畴、函子、对偶、极限,并且在代数、拓扑等方面有范畴论角度的理解。第二季则在前面的基础上,更加侧重用专业的方式展开更高层次的范畴论知识。第二季完成后,学员将能够了解范畴论中的函子范畴、可表函子、伴随函子等较为抽象的概念,并且能够熟悉张量、同调、层等概念的范畴化表述。
| |
− |
| |
− | 完成本课程,可以没有障碍地了解现代代数、拓扑、范畴等领域的许多基本概念,为进一步的学习和结合自我兴趣的研究打下基础。更重要的是可以理解范畴论的思维方式,掌握创新的工具。
| |
− |
| |
− | 通行的范畴论教学方式是面向数学专业高年级本科生、研究所和科研人员的,入手的门槛较高。考虑到范畴论爱好者的起点,我们采用了不一样的教学方案。在第一季中,最初,我们会在集合和线性代数这两个分支中提取类似的问题,用范畴论来给出统一的描述,让学员感受到范畴论的思维方式和抽象能力(第1课)。之后我们会展开讲集合相关的范畴、代数相关的范畴,一边了解范畴论的概念,一边在具体的数学问题中积累例子,同时掌握具体的代数结构,如群、环、模、线性空间等(第2,3,4课)。进而我们会着重谈线性结构中体现的范畴。矩阵是天生具有行列对偶性的数学结构,讨论矩阵可以自然地引出许多范畴论的概念(第5,6,7,8课)。此外我们还会在集合的基础上引出拓扑,并且用范畴的方式介绍如何将拓扑这样的几何问题转化到同调群这样的代数范畴去解决(第9,10,11,12课)。
| |
− |
| |
− | 第一季
| |
− | #线性代数——范畴的视角
| |
− | #集合范畴和等价关系
| |
− | #偏序集范畴
| |
− | #Abel群范畴
| |
− | #线性空间的范畴化构造
| |
− | #Hom函子
| |
− | #线性空间的对偶性
| |
− | #正向极限与逆向极限
| |
− | #正合
| |
− | #从集合到拓扑空间
| |
− | #自由函子
| |
− | #从几何到代数——同调群的构造
| |
− | 第二季(暂拟)
| |
− | #张量代数
| |
− | #Abel范畴
| |
− | #层——函子化地构造几何学
| |
− | #函子范畴
| |
− | #可表函子
| |
− | #伴随函子
| |
− | #幺半范畴
| |
− | #Kan扩张
| |
− | #Topos
| |
− | #高阶范畴
| |
− |
| |
− | ===报名方式===
| |
− | 请同学们在添加助教微信前,填写课程登记表单: https://campus.swarma.org/form/activity/33
| |
− |
| |
− | 填加助教微信,拉你入群:WeChatID:wch19970213
| |
− |
| |
− | 添加助教微信时,备注:“范畴论”。可快速获取课程动态,不错过每一次直播。
| |
− |
| |
− | 微信二维码:
| |
− | [[文件:WeChatID-wch19970213.png|左|缩略图|269x269像素]]
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
− | </blockquote></blockquote><blockquote>
| |
− | ==[https://campus.swarma.org/course/1095 NetLogo多主体建模入门]==
| |
− | <blockquote>
| |
− | ===课程介绍===
| |
− | 你还在为如何入门复杂性科学而苦恼吗?其实,最好的入门手段就是自己亲手在计算机中搭建一个复杂系统。NetLogo就是一个非常好的入门工具,它可以让你通过简单的设置和代码编写就能搭建出一个超酷炫的多主体仿真(模拟)程序。
| |
− |
| |
− | 多主体仿真(模拟)是什么鬼?所谓的主体(Agent)就是指计算机中的一个智能”小机器人“,别误解,它可没那么复杂,它可以是一个懂得花钱买东西的小人儿,可以是一只鸟儿,也可以是一块笨笨的方格。总之,一个主体就是你可以用NetLogo的几行代码指挥的任何一个独立的单元。而所谓的多主体仿真(模拟)就是把一大堆这样的简单的玩意儿凑到一起,而实现一个有趣的功能,可以是一个人工市场,可以是一个活灵活现的鸟群,也可以是一个超级好玩的游戏。总之,多主体仿真(模拟)就是一个利用简单的玩意儿们搭建出来的复杂系统。
| |
− |
| |
− | 什么?你觉得这些太高大上,而你是一个编程菜鸟?没关系,NetLogo就是专门为你这种菜鸟设计的。NetLogo的前身是为乐高机器人开发的Logo语言,其特点就是简单易学,上手飞快。特别是对于没有任何编程经验的初学者来说,NetLogo的语法更像是自然语言(英语)一样,欢快流畅。另外,该软件绿色环保,甚至最新版本可以无需安装而在网页环境下运行。
| |
− |
| |
− | 《NetLogo多主体建模入门》这个课程就是通过数个案例教会大家如何去动手搭建一个多主体仿真模型,以及如何利用NetLogo软件实现这些模型,是一门既有理论又有实操的入门课程。它将会循序渐进地给你介绍如何使用NetLogo软件,如何通过算法来理解数值微分、数值积分,甚至求解微分方程、动力系统。通过学习,你就能搭建一个人工生命的世界,一个人工经济系统,以及一个人工生态系统。通过计算模拟,你还能理解到什么叫做捕食与被捕食的依存关系,病毒如何沿着网络进行传播甚至大爆发,你还能对人类财富不平等的起源拥有全新的洞察。其实,所有这一切真没有那么复杂,无非就是几行NetLogo的代码而已。而所有这些不同领域的知识都可以从玩弄这些代码得到。
| |
− |
| |
− | ===讲师介绍===
| |
− |
| |
− | *张江:北京师范大学系统科学学院教授、集智俱乐部创始人、集智学园创始人。研究方向包括复杂网络与机器学习、复杂系统分析与建模、计算社会科学。目前主要的研究课题是复杂系统自动建模。
| |
− |
| |
− | ===课程大纲===
| |
− |
| |
− | #认识多主体模拟
| |
− | #认识NetLogo
| |
− | #用“生命游戏”认识Patch
| |
− | #从Langton的蚂蚁看Turtle与Patch的交互
| |
− | #从羊-草生态系统深入Turtle与Plot画图
| |
− | #玩具经济模型与 Turtles间的互动
| |
− | # 从玩具经济模型学文件导出与复杂曲线绘制
| |
− | #从玩具经济模型学习如何使用行为空间做实验
| |
− | #透过人工鸟群Boid模型学习List的使用
| |
− | #网络上病毒传播的SIR模型 用Links建模网络动力学
| |
− | #重访羊-草模型与系统动力学建模
| |
− |
| |
− | ===报名方式===
| |
− | 请同学们在添加助教微信前,填写课程登记表单: https://campus.swarma.org/form/activity/29
| |
− |
| |
− | 填加助教微信,拉你入群:WeChatID:wch19970213
| |
− |
| |
− | 添加助教微信时,备注:“NetLogo”。可快速获取课程动态,不错过每一次直播。
| |
− |
| |
− | 微信二维码:
| |
− | [[文件:WeChatID-wch19970213.png|左|缩略图|269x269像素]]
| |
− |
| |
− |
| |
− |
| |
− |
| |
− |
| |
| | | |
− | </blockquote></blockquote>
| |
− | <blockquote>
| |
− | ==[https://campus.swarma.org/course/2835 AnyLogic入门系列课程]==
| |
− | <blockquote>
| |
− | ===课程介绍===
| |
− | 本课程中,介绍了多方法建模仿真软件AnyLogic,通过本教程的学习,大家可以完成简单地铁车站、候车大厅等类型的行人仿真项目,培养大家熟练掌握AnyLogic的信心。
| |
− |
| |
− | ===讲师介绍===
| |
− |
| |
− | *杨老师:该讲师为AnyLogic的讲师。北京格瑞纳电子产品有限公司资深工程师,从事系统仿真领域仿真建模开发二十余年。
| |
− |
| |
− | ===课程简介===
| |
− | 多方法建模仿真软件AnyLogic自2003年进入中国以来,得到了越来越多的客户支持与认可。此软件不仅支持多主体(Agent)仿真建模,可以用于复杂系统;也支持离散事件仿真,可以用于各种生产、物流、业务流程的模拟;还支持系统动力学仿真,主要用于社会、经济等领域,同时还能混合建模。拥有超强的二次开发能力;可以导出为独立运行的模块,支持集成到其他系统中。具有流程库、物料库、流体库、行人库、轨道库、道路交通库,支持社会力模型进行行人仿真,具有丰富的外部数据接口,可以直接读写文本文件、Excel文件、数据库文件,具有GIS模块,超强的建模功能,所以应用领域涉及广泛,包括生产制造、可靠性分析、物流与供应链、交通运输、业务流程、服务系统、行人动态、战场指挥和控制、公共政策、市场博弈等等。
| |
− |
| |
− | 本期课程,我们主要以AnyLogic的行人库为对象,讲解AnyLogic的建模方法和平台特点,初步引入了Agent仿真的概念和操作。通过本教程的学习,大家可以完成简单地铁车站、候车大厅等类型的行人仿真项目,培养大家熟练掌握AnyLogic的信心。对于建模过程中的常见错误,教程做了详细讲解,带您走进AnyLogic仿真的世界。
| |
− |
| |
− | ===课程大纲===
| |
− |
| |
− | #简述AnyLogic使用方法
| |
− | #行人仿真空间逻辑
| |
− | #多层建筑行人疏散仿真
| |
− | #轨道交通仿真入门
| |
− | #简单的车站模型 (上)
| |
− | #简单的车站模型 (下)
| |
− |
| |
− | ===资料链接===
| |
− | 安装包下载链接为(包Window、Mac、Linuv): [https://campus.swarma.org/course/2835 link]</blockquote></blockquote><blockquote>
| |
| ==[https://campus.swarma.org/course/2328 网络科学导论 | 网络科学集智课堂第二期]== | | ==[https://campus.swarma.org/course/2328 网络科学导论 | 网络科学集智课堂第二期]== |
| <blockquote> | | <blockquote> |
第474行: |
第332行: |
| | | |
| | | |
− | </blockquote></blockquote> | + | </blockquote></blockquote><blockquote> |
| + | ==[https://campus.swarma.org/course/2723 范畴论入门系列课程(第一季)]== |
| + | <blockquote> |
| + | ===课程介绍=== |
| + | 范畴论提供了系统、精确、抽象的跨领域科学方法论。不同知识领域的问题按照特定的范畴来组织,范畴论通过函子来连接不同领域的不同范畴,实现跨领域的研究。函子把源范畴的结构映射到目标范畴。复杂的范畴可能转化到简单的范畴,陌生的范畴可能转化到熟悉的领域中的范畴,抽象的范畴可能转化到易于计算的范畴。 |
| + | |
| + | 范畴论尽可能地用函子来构造这种跨范畴的联系,构造一个好的函子,把原有领域范畴重要的结构信息,更多地保持到目标范畴中。具体构造时就需要特定领域的知识了。 |
| + | |
| + | 在范畴论发明前,并没有系统化的跨领域联系的方法论,许多科学的进展都依靠科学家天才的联想能力。比如Galois对群和域这两个范畴的联想,促进了数论和群论的大幅发展。如今在范畴论中这种联想系统化地发展成为了Galois连接。 |
| + | |
| + | 与自然语言描述为主的科学哲学不同,范畴论是数学领域抽象程度的顶峰,是可以以公式或者其它数学表达方式明确指导具体研究的。学习范畴论,相当于学到了系统、精确、抽象的科学方法论,并可以直接付诸于各领域考察的问题,寻求跨领域的解决之道。 |
| + | |
| + | 本课程中,尽量从较低的起点出发,在补充具体的数学知识过程中,让大家熟悉范畴化的思维方式,为理解抽象的范畴论概念积累实例。系列课程完成后,学员将能够了解范畴论的基本知识,包括范畴、函子、对偶、极限,并且在代数、拓扑等方面有范畴论角度的理解。 |
| + | |
| + | ===讲师介绍=== |
| + | |
| + | *J-CAT 猫圈 :教育法尝试者,同时给小学、中学、大学、研究生、科研人员授课,寻找从基础到前沿的最短路径。研究兴趣包括:范畴论、动力系统、人工智能。 |
| + | |
| + | ===课程大纲=== |
| + | 课程暂定为两季。为了适应广大非数学专业爱好者的需要,第一季尽量从较低的起点出发,在补充具体的数学知识过程中,让学员熟悉范畴化的思维方式,为理解抽象的范畴论概念积累实例。第一季完成后,学员将能够了解范畴论的基本知识,包括范畴、函子、对偶、极限,并且在代数、拓扑等方面有范畴论角度的理解。第二季则在前面的基础上,更加侧重用专业的方式展开更高层次的范畴论知识。第二季完成后,学员将能够了解范畴论中的函子范畴、可表函子、伴随函子等较为抽象的概念,并且能够熟悉张量、同调、层等概念的范畴化表述。 |
| + | |
| + | 完成本课程,可以没有障碍地了解现代代数、拓扑、范畴等领域的许多基本概念,为进一步的学习和结合自我兴趣的研究打下基础。更重要的是可以理解范畴论的思维方式,掌握创新的工具。 |
| + | |
| + | 通行的范畴论教学方式是面向数学专业高年级本科生、研究所和科研人员的,入手的门槛较高。考虑到范畴论爱好者的起点,我们采用了不一样的教学方案。在第一季中,最初,我们会在集合和线性代数这两个分支中提取类似的问题,用范畴论来给出统一的描述,让学员感受到范畴论的思维方式和抽象能力(第1课)。之后我们会展开讲集合相关的范畴、代数相关的范畴,一边了解范畴论的概念,一边在具体的数学问题中积累例子,同时掌握具体的代数结构,如群、环、模、线性空间等(第2,3,4课)。进而我们会着重谈线性结构中体现的范畴。矩阵是天生具有行列对偶性的数学结构,讨论矩阵可以自然地引出许多范畴论的概念(第5,6,7,8课)。此外我们还会在集合的基础上引出拓扑,并且用范畴的方式介绍如何将拓扑这样的几何问题转化到同调群这样的代数范畴去解决(第9,10,11,12课)。 |
| + | |
| + | 第一季 |
| + | #线性代数——范畴的视角 |
| + | #集合范畴和等价关系 |
| + | #偏序集范畴 |
| + | #Abel群范畴 |
| + | #线性空间的范畴化构造 |
| + | #Hom函子 |
| + | #线性空间的对偶性 |
| + | #正向极限与逆向极限 |
| + | #正合 |
| + | #从集合到拓扑空间 |
| + | #自由函子 |
| + | #从几何到代数——同调群的构造 |
| + | 第二季(暂拟) |
| + | #张量代数 |
| + | #Abel范畴 |
| + | #层——函子化地构造几何学 |
| + | #函子范畴 |
| + | #可表函子 |
| + | #伴随函子 |
| + | #幺半范畴 |
| + | #Kan扩张 |
| + | #Topos |
| + | #高阶范畴 |
| + | |
| + | ===报名方式=== |
| + | 请同学们在添加助教微信前,填写课程登记表单: https://campus.swarma.org/form/activity/33 |
| + | |
| + | 填加助教微信,拉你入群:WeChatID:wch19970213 |
| + | |
| + | 添加助教微信时,备注:“范畴论”。可快速获取课程动态,不错过每一次直播。 |
| + | |
| + | 微信二维码: |
| + | [[文件:WeChatID-wch19970213.png|左|缩略图|269x269像素]] |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | |
| + | </blockquote></blockquote><blockquote> |
| + | ==[https://campus.swarma.org/course/2835 AnyLogic入门系列课程]== |
| + | <blockquote> |
| + | ===课程介绍=== |
| + | 本课程中,介绍了多方法建模仿真软件AnyLogic,通过本教程的学习,大家可以完成简单地铁车站、候车大厅等类型的行人仿真项目,培养大家熟练掌握AnyLogic的信心。 |
| + | |
| + | ===讲师介绍=== |
| + | |
| + | *杨老师:该讲师为AnyLogic的讲师。北京格瑞纳电子产品有限公司资深工程师,从事系统仿真领域仿真建模开发二十余年。 |
| + | |
| + | ===课程简介=== |
| + | 多方法建模仿真软件AnyLogic自2003年进入中国以来,得到了越来越多的客户支持与认可。此软件不仅支持多主体(Agent)仿真建模,可以用于复杂系统;也支持离散事件仿真,可以用于各种生产、物流、业务流程的模拟;还支持系统动力学仿真,主要用于社会、经济等领域,同时还能混合建模。拥有超强的二次开发能力;可以导出为独立运行的模块,支持集成到其他系统中。具有流程库、物料库、流体库、行人库、轨道库、道路交通库,支持社会力模型进行行人仿真,具有丰富的外部数据接口,可以直接读写文本文件、Excel文件、数据库文件,具有GIS模块,超强的建模功能,所以应用领域涉及广泛,包括生产制造、可靠性分析、物流与供应链、交通运输、业务流程、服务系统、行人动态、战场指挥和控制、公共政策、市场博弈等等。 |
| + | |
| + | 本期课程,我们主要以AnyLogic的行人库为对象,讲解AnyLogic的建模方法和平台特点,初步引入了Agent仿真的概念和操作。通过本教程的学习,大家可以完成简单地铁车站、候车大厅等类型的行人仿真项目,培养大家熟练掌握AnyLogic的信心。对于建模过程中的常见错误,教程做了详细讲解,带您走进AnyLogic仿真的世界。 |
| + | |
| + | ===课程大纲=== |
| + | |
| + | #简述AnyLogic使用方法 |
| + | #行人仿真空间逻辑 |
| + | #多层建筑行人疏散仿真 |
| + | #轨道交通仿真入门 |
| + | #简单的车站模型 (上) |
| + | #简单的车站模型 (下) |
| + | |
| + | ===资料链接=== |
| + | 安装包下载链接为(包Window、Mac、Linuv): [https://campus.swarma.org/course/2835 link]</blockquote></blockquote><blockquote> |
| + | </blockquote></blockquote><blockquote> |
| + | ==[https://campus.swarma.org/course/1095 NetLogo多主体建模入门]== |
| + | <blockquote> |
| + | ===课程介绍=== |
| + | 你还在为如何入门复杂性科学而苦恼吗?其实,最好的入门手段就是自己亲手在计算机中搭建一个复杂系统。NetLogo就是一个非常好的入门工具,它可以让你通过简单的设置和代码编写就能搭建出一个超酷炫的多主体仿真(模拟)程序。 |
| + | |
| + | 多主体仿真(模拟)是什么鬼?所谓的主体(Agent)就是指计算机中的一个智能”小机器人“,别误解,它可没那么复杂,它可以是一个懂得花钱买东西的小人儿,可以是一只鸟儿,也可以是一块笨笨的方格。总之,一个主体就是你可以用NetLogo的几行代码指挥的任何一个独立的单元。而所谓的多主体仿真(模拟)就是把一大堆这样的简单的玩意儿凑到一起,而实现一个有趣的功能,可以是一个人工市场,可以是一个活灵活现的鸟群,也可以是一个超级好玩的游戏。总之,多主体仿真(模拟)就是一个利用简单的玩意儿们搭建出来的复杂系统。 |
| + | |
| + | 什么?你觉得这些太高大上,而你是一个编程菜鸟?没关系,NetLogo就是专门为你这种菜鸟设计的。NetLogo的前身是为乐高机器人开发的Logo语言,其特点就是简单易学,上手飞快。特别是对于没有任何编程经验的初学者来说,NetLogo的语法更像是自然语言(英语)一样,欢快流畅。另外,该软件绿色环保,甚至最新版本可以无需安装而在网页环境下运行。 |
| + | |
| + | 《NetLogo多主体建模入门》这个课程就是通过数个案例教会大家如何去动手搭建一个多主体仿真模型,以及如何利用NetLogo软件实现这些模型,是一门既有理论又有实操的入门课程。它将会循序渐进地给你介绍如何使用NetLogo软件,如何通过算法来理解数值微分、数值积分,甚至求解微分方程、动力系统。通过学习,你就能搭建一个人工生命的世界,一个人工经济系统,以及一个人工生态系统。通过计算模拟,你还能理解到什么叫做捕食与被捕食的依存关系,病毒如何沿着网络进行传播甚至大爆发,你还能对人类财富不平等的起源拥有全新的洞察。其实,所有这一切真没有那么复杂,无非就是几行NetLogo的代码而已。而所有这些不同领域的知识都可以从玩弄这些代码得到。 |
| + | |
| + | ===讲师介绍=== |
| + | |
| + | *张江:北京师范大学系统科学学院教授、集智俱乐部创始人、集智学园创始人。研究方向包括复杂网络与机器学习、复杂系统分析与建模、计算社会科学。目前主要的研究课题是复杂系统自动建模。 |
| + | |
| + | ===课程大纲=== |
| + | |
| + | #认识多主体模拟 |
| + | #认识NetLogo |
| + | #用“生命游戏”认识Patch |
| + | #从Langton的蚂蚁看Turtle与Patch的交互 |
| + | #从羊-草生态系统深入Turtle与Plot画图 |
| + | #玩具经济模型与 Turtles间的互动 |
| + | # 从玩具经济模型学文件导出与复杂曲线绘制 |
| + | #从玩具经济模型学习如何使用行为空间做实验 |
| + | #透过人工鸟群Boid模型学习List的使用 |
| + | #网络上病毒传播的SIR模型 用Links建模网络动力学 |
| + | #重访羊-草模型与系统动力学建模 |
| + | |
| + | ===报名方式=== |
| + | 请同学们在添加助教微信前,填写课程登记表单: https://campus.swarma.org/form/activity/29 |
| + | |
| + | 填加助教微信,拉你入群:WeChatID:wch19970213 |
| + | |
| + | 添加助教微信时,备注:“NetLogo”。可快速获取课程动态,不错过每一次直播。 |
| + | |
| + | 微信二维码: |
| + | [[文件:WeChatID-wch19970213.png|左|缩略图|269x269像素]] |
| + | |
| + | |
| + | |
| + | |
| | | |
| | | |