文件名称：bunny:代数恒等式蕴涵理论探索代码
文件大小：39KB
文件格式：ZIP
更新时间：2024-07-24 21:11:52
Python
兔子 在这里您可以找到我用于探索代数恒等式的蕴涵理论的代码。 蕴涵理论是在给定数据域中成立的所有蕴涵的集合。 这里的数据域是代数恒等式。 Project 包含类型 (2, 1, 0) - 二元、一元、Nulary 运算的代数属性探索的代码，这就是它们被称为 BUNnies 的原因。 数据由三部分组成： 兔子; 身份（最初的大小为 5）； 兔子和身份之间的关系：如果身份存在于兔子中，则兔子与身份有关。 兔子的例子： f2 0 1 0 0 1 1 0 1 f1 0 1 1 0 f1 0 身份示例： -x = a*(-x)，其中 x - 变量，a = f0：一元运算或常数，-x = f1(x)：一元运算，x*y = f2(x,y)：二元运算，括号定义顺序。 用于构建身份的语言在包含解析器的相应模块 term_parser.py 中有更详细的描述。
【文件预览】：
bunny-master
----bunny_hello.png(16KB)
----bunny()
--------p9m4socket.py(348B)
--------main.py(7KB)
--------tests()
--------identity.py(13KB)
--------__init__.py(0B)
--------p9m4.py(6KB)
--------bunny.py(32KB)
----.gitignore(341B)
----README.md(2KB)
----utils()
--------ids5plus.txt(4KB)
--------ids5.txt(1KB)
--------ids6.txt(6KB)
--------ids4.txt(235B)