基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。...
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。...
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统(单片机/ARM7) 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/微机/总线”有紧密联系的相关 专业。...
本软件为材料实验机的AD转换软件内容,用KEIL软件开发...
本程序为某企业的税控机固件程序.基于东芝TMP93CS41 16位单片机编写,符合国家标准.该程序已经经过多次长期调试....
一个滚齿机 程序生成软件。里面无密码。 本程序是本人在改一般滚齿机为数控机而写的一个程序生成软件。...