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篇）

Chap 10 环与理想 - 理想来自专栏

Chap 10 环与理想 - 理想 10.5 理想和商环 10.5.1 理想定义 10.5.1 左理想右理想理想例 10.5.1 平凡理想定理 10.5.1 定理 10.5.2 多个理想的交集定义 10.5.2 X生成的（左）理想生成元有限生成的主理想定理 10.5...

网络安全数学基础

2021-11-02

0 841

Chap 7 Hash Functions and Application 来自专栏

在本章中，我们将介绍加密哈希函数并探讨它们的一些应用。在最基本的层次上，哈希函数提供了一种将长输入字符串映射到短输出字符串（有时称为摘要）的方法。主要要求是避免冲突，或避免映射到同一摘要的两个输入。抗冲突散列函数有多种用途。我们将在这里看到的一个示例是另一种标准化为HMAC的方法，用于实现消息身份验...

密码学基础

2021-11-02

0 1083

Chap 6 Message Authentication Codes 来自专栏

4.1 消息完整性 Message Integrity 4.6 考虑以下MAC长度为l（n）＝2n-2的消息的使用伪随机函数F：输入消息（其中）和键，算法Mac输出。算法Vrfy是以自然的方式定义的，（Gen，Mac，Vrfy）安全吗？证明你的答案。参考答案 4.6 4.7 设F为伪随机...

密码学基础

2021-11-02

0 435

【Coq】15 Poly I 多态性来自专栏

多态性 Polymorphism 在本章中，我们将继续发展函数式编程的基本概念。关键的新思想是多态性（将函数抽象为它们所操作的数据类型）和高阶函数（将函数视为数据）。我们从多态性开始。多态列表 Polymorphic Lists 在上一章中，我们一直在处理只包含数字的列表。显然，有趣的程序还需要能...

Coq 函数语言程序设计

2021-10-27

0 1079

【Coq】14 Lists V 局部映射来自专栏

局部映射 Partial Maps 作为在Coq中如何定义数据结构的最后一个例子，这里有一个simple _partial map_data类型，类似于大多数编程语言中的map或dictionary数据结构。首先，我们定义一个新的归纳数据类型id作为部分映射的“键”。 Inductive id I...

Coq 函数语言程序设计

2021-10-27

0 655

【Coq】13 Lists IV 选项来自专栏

选项 Options 假设我们要编写一个函数，返回某个列表的第n个元素。如果我们给它类型nat→ natlist→ nat，那么当列表太短的时候，我们必须选择一些数字返回… Fixpoint nth_bad Fixpoint nth_bad (l:natlist) (n:nat) : nat := ...

Coq 函数语言程序设计

2021-10-27

0 504

【函数语言程序设计】Hw7 - Coq5 来自专栏

1. 2. 把上面的函数maxPair改造成maxPair'，返回类型为option nat * option nat。当要找的数字不存在时用None而不是0替代。 Example test_maxPair‘1: maxPair’ [1;2;5;4;8;10;3] = (Some 5, Some ...

Coq 函数语言程序设计

2021-10-27

0 562

【Coq】12 Lists III 关于列表的推理来自专栏

关于列表的推理 Reasoning About Lists 与数字一样，关于列表处理函数的简单事实有时完全可以通过简化来证明。例如，对于这个定理来说，仅仅通过自反性进行简化就足够了。。。 Theorem nil_app : forall l : natlist, [] ++ l = l. Pro...

Coq 函数语言程序设计

2021-10-25

0 792

【函数语言程序设计】Hw6 - Coq4 来自专栏

1. 补充完整下面的定义，判断一个集合是否为另一个集合的子集。 Fixpoint subset (s1 : bag) (s2 : bag) : bool (* REPLACE THIS LINE WITH ":= _your_definition_ ." *). Admitt...

Coq 函数语言程序设计

2021-10-22

0 446

Hw 2 来自专栏

2.3 2.3-7 4 4.1 最大子数组问题最大子数组数组A的和最大的非空连续子数组我们称这样的连续子数组为最大子数组使用分治策略的解决方法 Find-Max-Crossing-Subarray(a,low,mid,high) left-sum = -∞ sun = 0 for ...

算法设计与分析

2021-10-20

0 0