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

【Coq】？ Maps III 总地图来自专栏

总地图本章中我们的主要工作是建立一个部分映射的定义，该定义在行为上与我们在列表一章中看到的部分映射相似，另外还有关于其行为的伴随引理。不过，这次我们将使用函数而不是键值对列表来构建映射。这种表示法的优点是它提供了一个更为扩展的映射视图，其中以相同方式响应查询的两个映射将被表示为字面上相同的东西（...

2021-12-06

0 409

【Coq】？ Maps II 标识符来自专栏

标识符首先，我们需要一个用于索引到地图中的键的类型。在Lists.v中，我们为类似的目的引入了一个新的类型id；在这里以及其他软件基础中，我们将使用Coq标准库中的字符串类型。为了比较字符串，我们定义了函数eqb_string，它在内部使用Coq的字符串库中的函数string_dec。 Defi...

2021-12-06

0 530

【Coq】？ Maps I Coq标准库来自专栏

地图（或字典）是普遍存在的数据结构，尤其是在编程语言理论中；在接下来的章节中，我们将在许多地方需要它们。他们还利用我们在前几章中看到的思想做了一个很好的案例研究，包括用高阶函数构建数据结构（从基础和多边形）和使用反射来简化证明（从IndProp）。我们将定义两种类型的映射：total maps（总...

2021-12-06

0 465

第13章域的结构来自专栏

13.1 超越基定义 13.1.1 代数相关代数无关注例 13.1.1 定理 13.1.1 证明 13.2 有限域的构造定理 13.2.1 证明定理8.2.2 推论定理 5.1.1 定义 13.2.1 本原元生成元本原多项式注定义 11.5.1 定理 13...

2021-12-06

0 304

第12章域和Galois理论来自专栏

12.1 域的扩张 12.1.1 域的有限扩张定义 12.1.1 扩域首先,从集合的包含关系的角度来讨论域的性质. 设F是一个域.如果K是F的子域,则称F为K的扩域. 其次,从线性空间的角度来讨论域的性质. 12.4 习题 (1) Solution (2) Solution

2021-12-06

0 341

Lecture 03 谓词逻辑来自专栏

Lecture 谓词逻辑需要更丰富的语言谓词逻辑作为一种形式语言术语-变量、函数公式-谓词、量词自由变量和约束变量替代谓词逻辑的证明理论自然演绎规则需要更丰富的语言命题逻辑：研究陈述句，关于世界的陈述，这些陈述可以被赋予真理值能很好地处...

2021-12-04

0 907

使用VanetMobiSim模拟车辆轨迹来自专栏

Assignment 下载并安装VanetMobiSim，http://vanet.eurecom.fr/ 使用道路地图（VanetMobiSim can import maps from the US Census Bureau TIGER/Line）地图范围截取1km*1km，车辆密度30...

2021-12-03

1 2953

Lecture 02 命题逻辑的合理性与完备性来自专栏

Assignment 通过证明以下情况，补充命题逻辑的可靠性和完整性证明：对于可靠性证明，请完成以下证明规则案例的证明： ∧e1 Solution ，其中出现在l<k行。公式具有较短的证明，因此使用归纳假设，它具有真值T。根据∧的真值表，我们可以得出结论，具有真值T。 ∧e2 Solutio...

2021-11-30

0 932

Lecture 01 自然演绎与命题逻辑来自专栏

Lecture 命题逻辑学习逻辑的动机：获得模拟现实生活情景的能力，使我们能够正式地对其进行推理。例1：如果火车晚点，而且车站没有出租车，那么约翰开会就迟到了。约翰开会没有迟到。火车确实晚点了。因此，车站有出租车。例2：如果下雨，简没有带雨伞，她就会淋湿。简没有淋湿。下雨了。因此，简随身带着雨...

2021-11-28

0 1462

第22.4章基本的图算法.拓扑排序来自专栏

22.4 拓扑排序拓扑排序本节阐述如何使用深度优先搜索来对有向无环图进行拓扑排序。对于一个有向无环图G=(V,E)来说，其拓扑排序是G中所有结点的一种线性次序，该次序满足如下条件:如果图G包含边(u，v)，则结点u在拓扑排序中处于结点v的前面(如果图G包含环路，则不可能排出一个线性次序)。可以将...

2021-11-26

0 955