DraonAbyss

函数语言程序设计

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

/ 注册

全部文章 / 函数语言程序设计（共22篇）

【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 976

【函数语言程序设计】Hw4 - Coq2 来自专栏

1.定义函数定义函数gtb，使得gtb n m 返回布尔值 true当且仅当 n > m。至少用两种方法定义这个函数。（请用【Example】语句测试 n>m, n=m, n<m 三种情况下你定义的gtb函数(含两种方式)的输出）方法一根据先前定义的函数来定义 Coq代...

函数语言程序设计 Coq

2021-09-28

0 666