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