DraonAbyss

分类

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

/ 注册

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

【题解】SQL 入门

36篇文章 18286人学习

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

39篇文章 1656人学习

【学习】密码学基础

16篇文章 1098人学习

【学习】算法设计与分析

22篇文章 2021人学习

【学习】无线网络安全

6篇文章 3014人学习

计算机逻辑基础

4篇文章 1480人学习

【学习】网络安全数学

7篇文章 892人学习

12篇文章 566人学习

2篇文章 539人学习

23篇文章 1691人学习

全部文章（共194篇）

【Coq】05 Basics V （可选）更多关于符号固定点和结构递归来自专栏

更多关于符号（可选） More on Notation （一般来说，标有可选部分的章节不需要遵循书的其余部分，但可能的其他可选部分除外。一读时，您可能需要浏览这些部分，以便您知道哪些内容供将来参考。回想一下中缀加号和时间的符号定义： Notation "x + y" Nota...

函数语言程序设计 Coq

2021-09-30

0 642

【Coq】04 Basics IV 案例分析证明来自专栏

案例分析证明 Proof by Case Analysis 中止 Abort 当然，并不是所有的东西都能通过简单的计算和重写来证明：一般来说，未知的假设值（任意数字、布尔值、列表等）可以阻止简化。例如，如果我们试图用上面的 simpl 策略来证明以下事实，我们就会陷入困境。（然后，我们使用 Abor...

函数语言程序设计 Coq

2021-09-29

0 611

【Coq】03 Basics III 简化证明重写证明来自专栏

简化证明 Proof by Simplification 现在，我们已经定义了一些数据类型和功能，让我们来说明和证明其行为的属性。实际上，我们已经开始这样做：前几个部分的每个 Example 都对某些特定输入中某些功能的行为做出精确声明。这些声明的证据总是相同的：使用 simpl 来简化方程的两侧，...

函数语言程序设计 Coq

2021-09-29

1 866

【Coq】02 Basics II 类型旧类型模块多元组数字来自专栏

数据和功能 Data and Functions II 类型 Types 检查 Check Coq 中的每个表达式都有一个类型，描述它计算的事物类型。Check 命令要求 Coq 打印表示式的类型。 Check true. (* ===> true : bool *)如果 Check 后的表达...

函数语言程序设计 Coq

2021-09-29

1 716

【Coq】01 Basics I 枚举类型布尔值来自专栏

数据和功能 Data and Functions I 枚举类型 Enumerated Types Inductive day 以下声明告诉 Coq，我们正在定义一组数据值 - a type。 Inductive day : Type := | monday | tuesday | wed...

函数语言程序设计 Coq

2021-09-29

1 989

题解 | SQL 入门 28 #计算用户8月每天的练题数量# 来自专栏

知识日期函数 DAYOFWEEK(date) 返回日期date的星期索引(1=星期天，2=星期一, ……7=星期六)。这些索引值对应于ODBC标准。 select DAYOFWEEK('1998-02-03') -> 3 WEEKDAY(date) 返回date的星期索引(0=星期一，1=星...

Mysql

2021-09-28

171 4213

题解 | SQL 入门 27 #查看不同年龄段的用户明细# 来自专栏

知识 SQL 入门 26 #计算25岁以上和以下的用户数量# https://blog.nowcoder.net/n/693e3098b4844ba4931020347cb7c87a 题解题目：现在运营想要将用户划分为20岁以下，20-24岁，25岁以上三个年龄段，分别查看不同年龄段用户的明细情况...

Mysql

2021-09-28

5 961

题解 | SQL 入门 26 #计算25岁以上和以下的用户数量# 来自专栏

知识 CASE函数是一种多分支的函数，可以根据条件列表的值返回多个可能的结果表达式中的一个。可用在任何允许使用表达式的地方，但不能单独作为一个语句执行。分为：简单CASE函数搜索CASE函数简单 CASE函数 CASE 测试表达式 WHEN 简单表达式1 THEN 结果表达式1 WHEN 简单表...

Mysql

2021-09-28

875 18286

题解 | SQL 入门 25 #查找山东大学男生的GPA# 来自专栏

知识 UNION（并）使用 UNION可以实现将多个查询结果集合并为一个结果集。所有查询语句中列的个数和列的顺序必须相同。所有查询语句中对应列的数据类型必须兼容。ORDER BY语句要放在最后一个查询语句的后边。例46．查询系号是1和2的班级的班号、班名、系号，系号是1 的记录在前，2在后。 S...

Mysql

2021-09-28

103 1647

题解 | SQL 入门 24 #统计每个用户的平均刷题数# 来自专栏

解题类似SQL 入门 23，但是加限制为山东大学，可在GROUP　BY前加WHERE实现或在GROUP　BY后加HAVING实现【同时GROUP BY需要增加university】题解题目：运营想要仅查看山东大学的用户在不同难度下的每个用户的平均答题题目数情况，请取出相应数据WHERE实现 ...

Mysql

2021-09-28

45 1322