自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

若小仟的博客

NetLogo,Coq,Emacs,C++爱好者

  • 博客(6)
  • 资源 (4)
  • 收藏
  • 关注

原创 NetLogo学习笔记6 —— 接下来该干什么?

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

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

原创 NetLogo学习笔记5 —— 物种与传染病模型

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

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

原创 NetLogo学习笔记4 —— 可变参数与谢林模型

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

2020-07-31 16:31:10 3577

原创 NetLogo学习笔记3 —— 集合操作与生命游戏

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

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

原创 NetLogo学习笔记2 —— 第一个程序

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

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

原创 NetLogo学习笔记1 —— 初步认识

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

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

Coq中文教程.tgz

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

2020-07-27

coq-8.11.2-installer-windows-x86_64.exe

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

2020-07-21

Elisp入门(叶文彬).pdf

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

2020-03-16

win3.2解压即玩体验包(需要dos模拟器).rar

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

2019-06-22

空空如也

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

TA关注的人

提示
确定要删除当前文章?
取消 删除