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篇文章 1924人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 882人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共194篇）

【函数语言程序设计】3 来自专栏

1.为下面这个类型判断构造一棵推导树。解析：我们用记号 M : A 来表示项 M 的类型是 A。类型规则是通过类型判断（typing judgments）来表述的。一个类型判断是下面形式的表达式： x1 : A1, x2...

函数语言程序设计

2021-09-26

0 0

【计算机逻辑基础】1 自然的演绎与命题的逻辑

知识：演绎规则定义：可提供的等效性作业：用自然演绎法证明下列定理

2021-09-19

1 563

【信息安全数学基础】8.3 同态与同构基本概念

知识定义8.3.1 同态（保持运算的映射）【单同态（一对一） + 满同态（满） + 同构（一一对应）】性质8.3.1 同态/构映射传递性？定义8.3.2 同构定理8.3.1 例8.3.6 ...

信息安全数学

2021-09-18

0 908

题解 | LC15#出现一次的数字#

Step 1 题解 Step 1-1 描述现在有一个整数类型的数组，数组中素只有一个元素只出现一次，其余的元素都出现两次。 Step 1-2 注意你需要给出一个线性时间复杂度的算法，你能在不使用额外内存空间的情况下解决这个问题么？ ...

2021-08-06

0 441