0%
一些学习中遇到的数学知识
本文字数:
5.5k
阅读时长 ≈
18 分钟
《视觉SLAM十四讲 第2版》学习笔记 第3讲
本文字数:
541
阅读时长 ≈
2 分钟
《视觉SLAM十四讲 第2版》学习笔记 第2讲
本文字数:
8.2k
阅读时长 ≈
27 分钟
《视觉SLAM十四讲 第2版》学习笔记 第1讲
本文字数:
1.4k
阅读时长 ≈
5 分钟
Mac的Rodin安装教程
上篇文章写的是Windows 10下的Rodin安装,但由于Windows电脑过于沉重,而且续航不行,难以维持2个半小时的课程,故选择在Mac上安装。
Rodin安装教程(附java8安装教程)
由于本学期需要学习Event-B语言。
Event-B是一种基于传统的谓词演算和定理证明的形式化语言。
需要使用Rodin进行开发,因为下载的是3.5版本的,所以需要8以上(包含)的JRE的版本。