若小仟-CSDN博客

其实，到这里，你基本学完了NetLogo多主体建模的基本语法现在，你需要的是阅读帮助文档的能力

2020-08-08 21:11:53 949 2

这次，我们要学习NetLogo中物种的概念，并实现一个 “SIR传染病模型”

2020-08-02 21:42:16 4968 1

这回，我们学习如何在模型运行时改变参数，以及实现谢林模型

2020-07-31 16:31:10 3904 1

这一次，我们来编写一个好玩的东西 —— 康威生命游戏

2020-07-29 22:35:18 4190 2

这回我们将了解一个NetLogo模型的基本要素还有如何编写NetLogo模型

2020-07-28 09:44:10 3815 1

初步介绍NetLogo仿真软件的安装和使用

2020-07-27 20:48:59 7391 7

Coq形式化验证的的中文教程，index.html是入口，对应的*.v文件是课程作业习题需要配合Coq使用！

2020-07-27

Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！

2020-07-21

Emacs，著名的集成开发环境和文本编辑器。Emacs被公认为是最受专业程序员喜爱的代码编辑器之一。本文档为Emacs所使用的脚本语言（Elisp）的参考手册，使用Elisp可以扩展Emacs的功能。

2020-03-16

Windows 3.2中文版发布于1994年，它是美国微软公司研发的一款基于MS-DOS的操作系统，Windows 3.2相当于Windows 3.1的一个中文版本。由于Windows 3.2消除了语言障碍，降低了学习门槛

2019-06-22

TA创建的收藏夹 TA关注的收藏夹

TA关注的人