- 博客(3)
- 资源 (2)
- 问答 (3)
- 收藏
- 关注
RSS订阅原创 如何证明Coq标准库中filter引理
如何证明Coq标准库中filter引理 Require Import Arith. Require Import ZArith. Require Import Bool. Require Import List. Variable A : Type.Variable f: A -> bool.Fixpoint filter (l:list A) : li...
2019-03-06 15:26:26
442
1
原创 命题逻辑模型论第一讲
模型论Def The language $L$ (for Propositional Logic)Def Well-Formed Formula, WFF (*合取范式)Def ModelDef $A \models \alpha$ is defined as follows:Def Valid sentenceDef TautologyDef assignmentDef The value of...
2019-03-02 11:40:18
1135
Java Socket网络通信问题，向百度发送数据（学习socket中~）
2016-04-16
利用单向hash函数找k阶碰撞过程中如何实现高位存储
2015-09-04
c语言计时函数返回时间不定，求详解为什么（只点击了两次运行，并未改变代码）
2015-06-22
TA创建的收藏夹 TA关注的收藏夹
TA关注的人