Symbolic-Logic-源码
符号逻辑
对于谓词逻辑或句子逻辑
infixtopolish（wff）是一个使用infix表示法wff并输出波兰语表示法的函数
Polishtoinfix（wff）是一种采用波兰表示法wff并输出后缀表示法的函数
infix_wff_check（wff）检查一下中缀符号句子是否格式正确
wffcheck（wff）检查波兰语符号句子的格式是否正确
运算符为：〜，＆，v，>，<>，（3x）[存在]，（4x）[通用量词]。 您也可以为量词输入unicode字符。 请注意，您不能将“ v”用作变量或名称，因为它用于析取。
开始增加在变量或对象后使用星号的功能，以增加变量和对象名的数量，但尚未完成。
文件下载
资源详情
[{"title":"（ 2 个子文件 3KB ） Symbolic-Logic-源码","children":[{"title":"Symbolic-Logic-main","children":[{"title":"predicate_logic.py <span style='color:#111;'> 6.78KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 789B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]
评论信息
其他资源
- 游戏架构设计与策划基础
- 推荐系统文件生产的程序
- Fluent两相流设置教程
- java足球联赛管理系统
- linux系统下实现聊天室
- php会员管理系统源码
- 区域生长算法的MATLAB编程实现
- qtpandas1.04.7z
- 内存加载动态库（dll）
- jsp学生课绩管理系统（源代码+论文）.zip
- 迪文调试助手6.1
- PK2010 油气集输工程软件包
- 每日的挑战-源码
- 实验室表达电影-源码
- MBR_dev_resize.py
- 虚拟串口vspdxp
- labview远程视频监控，通过网口接收网络流视频数据。
- 开源FPGA比特比挖矿
- 哈工大密码学作业题目
- Kinect+OpenNI获取深度图和颜色图(最新)
- java核心技术（卷1）源码 第10版
- 狼人杀游戏源码
- apache-tomcat-6
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明