文档介绍:该【BCI-代数理想问题的计算机证明的任务书 】是由【niuww】上传分享,文档一共【2】页,该文档可以免费在线阅读,需要了解更多关于【BCI-代数理想问题的计算机证明的任务书 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。BCI-代数理想问题的计算机证明的任务书任务:设计并实现一个能够自动化证明BCI-代数理想问题的计算机证明系统,该系统可以接收用户输入的BCI-代数问题,自动化地推导出BCI-代数的理想,并输出证明。具体要求:,能够接收用户输入的BCI-代数问题并进行解析。-代数的自动化证明算法,能够自动推导BCI-代数的理想,并输出证明。-代数问题中的各种操作,比如并、交、补等。,能够对输入的BCI-代数问题进行检测并输出相应的错误提示。,能够提示用户进行手动证明或者证明无法完成。,要求证明简明清晰,易于理解。-代数问题的输入,例如正则BCI、二元BCI以及其它变种。,易于维护。,包括设计思路、实现细节、使用方法等。参考资料:[1]&,AsimpleproofofaBerman-Hartmanis-Immerman-.,19(1990),773-776.[2],AproofofGoldblatt'snormalformforBCI-,117(1999),11-24.[3]&,AdisjunctivenormalformtheoremforBCI-.,22(2007),175-185.