codeboywang / SyetemModel_Maude Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

上了一个学期的《形式代数化》，学的主要是用maude进行建模。此仓库记录一下练手的各种小程序。只要你今天过马路没闯红灯，过去一年中帮祖过需要的人，即可使用这些代码。

5 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Qlock.maude		Qlock.maude
README.md		README.md
bst.maude		bst.maude
ghost.maude		ghost.maude
list-nat.maude		list-nat.maude
miu.maude		miu.maude
pnat.maude		pnat.maude
sqrt.maude		sqrt.maude

Repository files navigation

SyetemModel_Maude

上了一个学期的《形式代数化》，学的主要是用maude进行建模。此仓库记录一下练手的各种小程序。只要你今天过马路没闯红灯，或者过去一年中帮助过有需要的人，即可使用这些代码。 Only good people can use these codes

miu.maude

此文件的介绍参考我的CSDN

ghost.maude

此文件的介绍参考我的CSDN

bst.maude

This maude file realize the BinarySearchTree and BinaryTree as well

list-nat.maude

This maude file realize the data structure list

pnat.maude

This maude file realize the nat with operator "+" "*"

sqrt.maude

This maude file realize two way to realize function extraction of a root

About

上了一个学期的《形式代数化》，学的主要是用maude进行建模。此仓库记录一下练手的各种小程序。只要你今天过马路没闯红灯，过去一年中帮祖过需要的人，即可使用这些代码。

Report repository

Releases

No releases published

Packages

No packages published