- 博客(1)
- 资源 (2)
- 问答 (2)
- 收藏
- 关注
RSS订阅原创 数理逻辑（7 0 0） 直接证明与演绎
取公理体系为:L1:p->(q->p)L2:(p->(q->r))->((p->q)->(p->r))l3:(~p->~q)->(q->p)证明使用MP规则：p;p->q;q很多时候一条命题使用演绎定理很简单，而直接证明不容易构造;那么，是否存在一种能够通过演绎定理找出直接证明的方法？显然，在大多数时候是存在的;这要从演绎定理的合理性谈起;对于演绎定理前
2016-03-26 23:51:42
1873
Openssl for windows 64位 完整安装包
Openssl for windows 64位 完整安装包
安装Win64 OpenSSL v1.1.1b(由OpenSSL的创建者推荐给软件开发人员)。只安装在64位版本的Windows上。
2019-03-15
ISE RAM IP核如何实现异步读取
2016-04-24
关于verilog 调用函数时多维位宽接口
2016-03-06
TA创建的收藏夹 TA关注的收藏夹
TA关注的人