符号逻辑：语法、语义和证明.pdf
本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言不能完全充分表
证明
公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或
应用Bootstrap方法的空间相关性检验 : 数理证明与模拟分析.pdf
本书将基础理论研究与实际应用工具相结合，应用一种非参数方法——Bootstrap方法解决空间经济计量分析中的空间相关性检验难题。
方程求解与机器证明 : 基于MMP的问题求解.pdf
本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
泄露攻击下可证明安全的公钥密码机制.pdf
本书主要介绍在信息泄露环境下安全公钥加密机制的构造，共8章。第1章介绍抗泄露密码学的研究背景及意义；第2章介绍相关的数学基础及安全性假设；第3章介绍相关密码学工具的形式化定义及安全模型；第4章介绍抗泄露公钥加密机制的构造方法；第5章介绍抗泄露基于身份加密机制的构造方法；第6章介绍
自适应WAP中小学在线教育学习云平台最新社区V1.0版
自适应WAP中小学在线教育学习云平台最新社区V1.0版---------------------------该系统属于在线网校整站系统、html5响应式，企业商学院、职业考证、中小学、党校、政府企业都可以使用，可以适合各行业的学习平台。 响应式自适应各种移应用终端，同一个后台，数据即时同步，方便操作。 注：可以直接部署（内涵部署[教程](https://izyfx.com/tag/34)）也
ASP最新中小学在线学习云平台社区版系统源码 自适应WAP
ASP最新中小学在线学习云平台社区版系统源码 自适应WAP-----------------------------该系统属于在线网校整站系统、html5响应式，企业商学院、职业考证、中小学、党校、政府企业都可以使用，可以适合各行业的学习平台。 响应式自适应各种移应用终端，同一个后台，数据即时同步，方便操作。 注：可以直接部署（内涵部署[教程](https://izyfx.com/tag/3
PESCMS Ticket客服工单系统 v1.3.11
PESCMS Ticket客服工单系统(下称PT)是一款基于GPLv2协议发布的开源客服工单系统。除了传统的站内工单提交模式，我们以全新的设计理念，基于Javascript语言开发的跨域工单提交。实现在任何系统、任何页面，只需要调用一句Javascript代码，即可生成工单系统！ PESCMS Ticket客服工单系统运行环境： PHP 7.0及以上版本 Mysql 5.5及以上版本 IE浏览器不
中小学在线学习云平台最新社区版 自适应手机端 v1.0
该系统属于在线网校整站系统、html5响应式，企业商学院、职业考证、中小学、党校、政府企业都可以使用，可以适合各行业的学习平台。 响应式自适应各种移应用终端，同一个后台，数据即时同步，方便操作。 注：可以直接部署（内涵部署教程）也可以自行编译（编译选择any cpu) 承诺不含有任何后门或其他流氓软件，不捆绑任何广告或弹窗，不带有任何病毒或垃圾信息，请放心下载 【开发环境】采用C#；基于.Net
几十款zblog博客系统收费插件 收费插件
**插件说明**安装方法： 先配置好服务器环境，具体要求，先到zblog官网看一下安装环境要求，然后选择自己的主题程序， 第一步，下载zblog博客程序， 到zblog官方下载安装，下载安装，安装完成以后 第二步，然后进入你的服务器网站根目录，找到wwwroot/zb\_users/plugin文件夹 第三步，把我打包的插件 全部解压到plugin插件文件夹即可 第四步，去网站后台，找到插件管理，