证明

符号逻辑:语法、语义和证明.pdf

本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言不能完全充分表

公理化集合论机器证明系统.pdf

  布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或

泄露攻击下可证明安全的公钥密码机制.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插件文件夹即可 第四步,去网站后台,找到插件管理,