DraonAbyss

分类

C++(3) CodeForces(23) LeetCode(3) 函数语言程序设计(40) 安全编程(1) 密码学基础(17) 无线网络安全(5) 笔记(16) 算法设计与分析(22) 编译原理与技术(16) 网络安全数学基础(3) 计算机逻辑基础(8) 题解(37)

/ 注册

TA的专栏 167篇文章 11人订阅

【题解】SQL 入门

36篇文章 18251人学习

【学习】函数语言程序设计

39篇文章 1641人学习

【学习】密码学基础

16篇文章 1083人学习

【学习】算法设计与分析

22篇文章 1925人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 883人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共194篇）

【计算机逻辑基础】2 命题逻辑的合理性与完备性

知识 Conjunctive Normal Form Definitions： literal conjunctive normal form (CNF) Note: Examples of CNFs: Not in CNF: Validity of a Disjunction of Li...

计算机逻辑基础

2021-10-18

0 1170

【Coq】11 Lists II 数字表来自专栏

数字表 Lists of Numbers 概括成对的定义，我们可以这样描述数字列表的类型：“一个列表要么是空列表，要么是一个数字和另一个列表的一对。” Inductive natlist Inductive natlist : Type := | nil | cons (n : nat) (...

Coq

2021-10-17

0 0

【Coq】10 Lists I 数对来自专栏

在开始本章之前，我们需要从上一章中导入我们的所有定义： From Coq Require Export String. Theorem add_comm : forall n m : nat, n + m = m + n. Proof. induction n as [| n' IHn']. ...

Coq 函数语言程序设计

2021-10-17

0 514

【Coq】09 Induction III 更多练习来自专栏

更多练习 More Exercises 20: 3 stars, standard, especially useful (mul_comm) 使用[assert]帮助证明[add_shuffle3]。你还不需要使用归纳法。 Theorem add_shuffle Theorem add_shuff...

Coq 函数语言程序设计

2021-10-17

0 1641

【Coq】08 Induction II 证明中的证明 + 正式与非正式证明来自专栏

证明中的证明 Proofs Within Proofs 在Coq中，就像在非正式数学中一样，大的证明常常被分解成一系列定理，后面的证明引用了前面的定理。但有时，一个证明将需要一些杂七杂八的事实，这些事实太琐碎，也没有太多的普遍兴趣，以至于懒得给它起自己的顶级名称。在这种情况下，可以方便地在使用“子定...

Coq 函数语言程序设计

2021-10-17

0 895

【Coq】07 Induction I 归纳法证明来自专栏

单独编译 Separate Compilation 在开始本章之前，我们需要从上一章中导入我们的所有定义： From Coq Require Export String. Fixpoint even (n:nat) : bool := match n with | O =&g...

Coq 函数语言程序设计

2021-10-12

0 1489

【函数语言程序设计】Hw5 - Coq3 来自专栏

1.证明下列三条性质 Theorem plus_n_Sm Theorem plus_n_Sm : ∀ n m : nat, S (n + m) = n + (S m). Proof. (* FILL IN HERE *) Admitted. Coq代码 Theorem plus_n_Sm : f...

Coq 函数语言程序设计

2021-10-12

1 432

题解 | SQL 入门 33 #找出每个学校GPA最低的同学# 来自专栏

知识窗口函数语法 <窗口函数> over (partition by <用于分组的列名> order by <用于排序的列名>) <窗口函数>的位置，可以放以下两种函数：专用窗口函数，比如rank, dense_...

Mysql

2021-10-08

61 2761

题解 | SQL 入门 31 #提取博客URL中的用户名# 来自专栏

知识 SQL 入门 32 #截取出年龄# https://blog.nowcoder.net/n/08a3a1df016d418daabd4a0870f7fb4e 题解 SELECT device_id,SUBSTRING_INDEX(blog_url,'/',-1) AS user_name FR...

Mysql

2021-10-08

2 634

题解 | SQL 入门 32 #截取出年龄# 来自专栏

知识 substring_index substring_index(str,delim,count) str:要处理的字符串 delim:分隔符 count:计数如果count是正数，那么就是从左往右数，第N个分隔符的左边的全部内容如果count是负数，那么就是从右往左数，第N个分隔符的...

Mysql

2021-10-08

11 1282