Coq

Windows搭建MQTT服务器

Win10下搭建MQTT服务器一、获取软件包链接：https://pan.baidu.com/s/1sKsL3ninhpwiawm69cOQ9w提取码：9vhmmqtt服务器安装包为apache-apollo
try_HH·2023-12-24 10:15

语言

白皮书加代码，自然语言和计算机语言，分别给人和机器，未来白皮书用形式化逻辑coq写，人工智能翻译为code
lisoleg·2023-11-01 21:26

形式化方法课程学习笔记（一）|Cop的安装以及简单使用

一、Cop的介绍以及安装1、Cop介绍Coq是一个著名的，也被广泛使用的正式证明管理系统。它提供了一种正式的语言来编写数学定义、可执行的算法和定理，以及用于机器检查证明的半交互式开发的环境。
晓茗·2023-10-20 08:21

Software Foundation - Coq 函数式编程 (Basics) 题解

本书英文版地址https://softwarefoundations.cis.upenn.edu/current/index.html本书中文版地址https://coq-zh.github.io/SF-zh
SakamataZ·2023-09-30 19:46

PMP学习笔记（第八章 项目质量管理）

目录项目质量管理1等级Vs质量1精确度Vs准确度1质量管理水平质量管理的发展2质量管理的发展趋势和代表人物3趋势1：客户满意3趋势2：持续改进3趋势3：管理层的责任4趋势4：与供应商持续合作，互利共赢4质量成本COQ4
Chuck2020·2023-08-05 22:01

QMS-云质-质量管理-质量控制中常见误区(3): 质量成本

-云质QMS原创文章，转载请注明来源-阅读关键词：质量成本，COQ，质量管理，数字化质量管理解决方案，预防成本，鉴定成本，内部损失成本，外部损失成本提到质量成本,大家一般联想到的是：废品损失费用、返修损失费用
云质QMS·2023-04-05 21:27

抽血引发的感悟，年近半百的觉醒

赶紧早睡多睡，红糖姜枣荷包蛋养着，维生素CoQ10也吃上，好歹缓了点儿。这周就不耗脑子了，随便唠唠嗑吧，也不想再碰那些“阴间”新闻。
海边小妹·2022-04-16 15:00

Abstracts for References 74, 75, 76, 77, 78, 79 of '先天性和婴儿性肾病综合征'

线粒体病–在基因突变引起辅酶Q10(泛醌)缺乏的儿童中有报道过早发型肾病综合征；突变的基因参与了辅酶Q10生物合成(COQ2、PDSS2、COQ6和ADCK4)[74-79]。
程凉皮儿·2020-09-13 21:37

P5720 【深基4.例4】一尺之棰

（coq摸鱼翻车实绩）题目描述《庄子》中说到，“一尺之棰，日取其半，万世不竭”。第一天有一根长度为a(a≤10^9)的木棍，从第二天开始，每天都要将这根木棍锯掉一半（每次除2，向下取整）。
bupt_sanqing·2020-08-25 01:49

Basics Functional Programming in Coq

IntroductionThefunctionalprogrammingstyleisfoundedonsimple,everydaymathematicalintuition:Ifaprocedureormethodhasnosideeffects,then(ignoringefficiency)allweneedtounderstandaboutitishowitmapsinputstoout
XYZ7·2020-08-20 07:38

【PMP】8.16早上题

CA、三点估算和质净成本(COQ.)B、卖方投标分期和群体决策技术C.专家判断和类比估算D.自下面上估算和储备分析2、项目发起人批准项目里程碑进度计划并任命一名项目经理。
心跳包·2020-08-19 09:32

Coq学习笔记

注释使用(*COMMENTSHERE*)进行注释分隔符每个Coq命令都要加上.表示结束.逻辑命题（Prop），数学集合（Set）和抽象类型(Type)Check检测表达式是否合理/以及表达式的类型Coqx
LEAUQEAAN·2020-08-15 19:40

PMBOK5术语表之常用缩写

AC实际成本ACWP已完工作实际成本BAC完工预算CCB变更控制委员会COQ质量成本CPAF成本加奖励费用合同CPFF成本加固定费用合同CPI成本绩效指数CPIF成本加激励费用合同CPM关键路径法CV成本偏差
石国庆·2020-08-13 11:40

通过《Software Foundation》学习Coq语言的基本用法——1.Basics

摘录自《SoftwareFoundation》，旨在交流与学习Coq的基本用法；强烈建议大家下载源码自己运行一遍文章目录用Inductive定义一个Type用Definition定义函数用Compute
Cbcwestwolf·2020-08-08 12:42

PMP学习总结-8、9、10章（质量管理、资源管理、沟通管理）

质量管理管理理念客户满意，符合要求&适合使用预防胜于检查，质量是被规划和设计出来的持续改进管理层的责任，85%质量成本COQ，一致性成本+非一致性成本与供应商互利合作关系质量master戴明；质量是制造出来而不是检验出来
kyle_1111·2020-08-04 15:42

压缩/解压的软件 WinRAR 的去广告

WinRAR的解压缩软件总是弹出广告，烦死人，怎么解决呢，网搜了一下，方法如下：1.先下载WinRAR，安装后打开会出现广告2.打开百度链接:https://pan.baidu.com/s/1jI04cOQ
雾气·2020-08-03 21:06

通过《Software Foundation》学习Coq语言的基本用法——2.Induction 3.Lists

摘录自《SoftwareFoundation》，旨在交流与学习Coq的基本用法；强烈建议大家下载源码自己运行一遍文章目录Induction通过Simplification证明的局限性用induction
Cbcwestwolf·2020-08-02 15:37

coq使用笔记

Coq使用笔记Coq中可分三部分：1、vernacular：用来处理定义，使用大写字母开头，例如Theorem、Proof、Qed2、tactics：用作证明过程，以小写字母开头，例如intros、exact3
二十七号路·2020-07-05 07:01

离散数学——集合论（二）

集合论（二）集合上的运算（续）无限交和无限并集合的构造幂集合自然数集合的构造序偶n元组——归纳定义乘积集合字符串集合利用归纳条款进行构造和析构容斥原理今天结束集合论的部分，然后再去啃coq，想想刚开学还妄想把
komova0·2020-04-25 23:08

离散数学——coq学习笔记（一）

Coq学习笔记（一）BASICS函数编程枚举类型引例：Daysoftheweek（定义一个类型）一些基础语法定义TypeCheck命令多元组ModulesCompute命令定义一个新常量BOOLEANS
komova0·2020-04-19 01:39

离散数学——集合论（一）

文氏图和范式[Venndiagram](https://en.wikipedia.org/wiki/Venn_diagram)这部分内容因为高中接触过，这种熟悉感就会降低心里对新知识难度的畏惧感，难点还是利用coq
komova0·2020-04-12 17:57

Heart Health™強效辅酶Q10护心保健配方

临床研究显示，补充辅酵素Q10（CoQ10）对促进心血管健康有益。HeartHealth強效輔酵素Q10護心保健配方含有CoQSol-CF和維他命E，特
爱承·2020-04-06 01:01

科学分析功能营养素&成功见证

产品“OPC-3–市场上最好的抗氧化复合营养品”功效保健品举例•三高（甘油三酯，胆固醇，血压）-HeartHealthSystem（心脏保护系统三件套）,Omega-3（鱼油）,CoQ10（Q10),Astaxanthin
RichardSong·2020-04-01 06:18

功能营养素科学理论和成功见证

产品特点：“OPC-3–市场上最好的抗氧化复合营养品”功效保健品举例•三高（甘油三酯，胆固醇，血压）-HeartHealthSystem（心脏保护系统三件套）,Omega-3（鱼油）,CoQ10（Q10
维多利亚的湛蓝·2020-03-27 07:56

PMBOK泛读（开篇） - 术语表

常用缩写缩写含义AC实际成本BAC完工预算CCB变更控制委员会COQ质量成本CPAF成本加奖励费用CPFF成本加固定费用CPI成本绩效指数CPIF成本加激励费用CPM关键路径法CV成本偏差EAC完工预算
杨林伟·2020-03-26 14:54

《女王的纷争》制作人:连续一周收入翻倍，我是怎么做到的？

潘彦明，智明星通COQ《女王的纷争》制作人、前顽石游戏制作人，创业营第一期成员。以下文字仅占现场内容1/3，扫描结尾处二维码获取更多。
粉狐·2020-03-19 08:36

Heart Health™强效辅酵Q10护心保健配方

美国心脏学会监制，CoQSol-CF™专利，功效是普通CoQ10的八倍心血管健康欠佳的问题正影响全球。由加工，高热量和高脂食品组成的不良饮食，加上污染，吸烟和久坐不动等的生活习惯，都令心血管健康欠佳。
RichardSong·2020-02-28 05:25

科学分析功能营养素&成功见证

市场上最好的抗氧化复合营养品”功效保健品举例•三高（甘油三酯，胆固醇，血压）-HeartHealthSystem（心脏保护系统三件套）,Omega-3（鱼油）,CoQ10（Q10),Astaxanthin
PrincessSnowy·2020-02-07 03:38

心脏病人必看，长期补充一种物质，可有效预防心脏猝死风险

它就是辅酶Q10（CoenzymeQ10），简称：CoQ10，又称维生素Q。辅酶Ｑ10是激活细胞呼吸，促进细胞产生能量的营养素。人体95%的能量产生都与辅酶Q10相关。
云上鸟·2020-02-06 08:21

Coq基础(六) - Logic in Coq

Coq中的命题类型语句Coq是一种类型化语言，这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外，任何一个可以证明的语句都有一个类型，即Prop，命题类型。
Hang3·2019-12-23 23:00

最好的辅酶留给你最好的你～

辅酶Q10（CoenzymeQ10，又称CoQ10），又称泛醌，是一种存在于自然界的脂溶性醌类化合物，其结构与维生素K、维生素E与质体醌相似。
安安狗·2019-12-08 05:18

№46 PMP 练习 21

1、客户识别到一个新实践产品的性能问题，项目经理应使用哪一个质量成本（COQ）类别来估算这项成本？
正刚·2019-11-30 18:22

Coq基础(五) - 策略

在前面的ProofinCoq中介绍了几种简单的证明方法以及常用的策略(tactics)，而这里则是介绍几种更为复杂的证明策略:[apply]策略在进行证明的时候经常遇到这样的情况，即要证明的目标与上下文中的某个假设或某个先前已证明的引理完全相同。有时候可以使用[rewrite]然后在使用[reflexivity]来完成证明，如：Theoremsilly1:forall(n,m,o,p:nat),n
Hang3·2019-11-30 17:00

Coq基础(三) - 其他类型的数据结构

定义元组其实在Coq基础(一)中的NewTypeFromOld中就已经定义过一个叫做nybble类型的元组了，那个类型的元组有四个bit类型的成员，构造器为bits。
Hang3·2019-10-12 11:00

Coq基础(二) - Proof in Coq

ProofBySimplification在前面定义数据类型以及函数的时候有使用过Example语句来说明和证明数据的属性。所使用的证明方法都是一样的：使用关键字simpl来化简等式两边的表达式，然后再使用reflexivity来验证等式两边是否相等。此外，还可以使用proofbysimplification类型的证明方法来证明一些别的属性，证明对所有自然数n，n+0=n：Theoremplus_
Hang3·2019-09-23 20:00

Coq基础(一) - 基础

定义一个类型在coq中，一个变量的类型往往表示为var_name:var_type，即变量名后面的一个冒号后是变量的类型Inductivetype_name:Type:=constructor1constructor2
Hang3·2019-09-22 22:00

Heart Health™强效辅酵Q10护心保健配方

美国心脏学会监制，CoQSol-CF专利，功效是普通CoQ10的八倍心血管健康欠佳的问题正影响全球。由加工，高热量和高脂食品组成的不良饮食，加上污染，吸烟和久坐不动等的生活习惯，都令心血管健康欠佳。
赢在健康·2018-04-04 06:10

购买辅酶Q10保健品前的小功课

因此分析一下市面上常见的CoQ-10辅酶保健品，也方便自己为家人购买。辅酶Q10（Coenzyme
Monica勉強中·2017-05-16 00:26

无标题文章

本书的主题包含基本的逻辑概念、计算机辅助定理证明、Coq证明助理（ProofAssistant）、函数式编程（FunctionalProgramming）、操作语义（O
October014·2016-09-13 13:28

coq的一点体会2

在coq里，量词的表示如下： 全称量词：forall 存在量词：exists 同样都有自己的引入规则和删除规则 1. forall引入规则 intros x 输入intros x就可以提取出一个前提
·2015-11-13 02:12

coq 的一点体会

用coq做了一个作业，所以现在会一点点证明了。不过这只是coq中的很小很小的一部分，现在把我的理解写出来。
·2015-11-13 02:10

2010年终总结

映像最深的就是用一个下午的时间认识coq然后用它把形式化语言的作业写完了，虽然当时蛮有成就感，不过现在已经都忘记了。幸好当时写了博文做纪念，因为想到国内的资料还很少，希望能给被人提
·2015-11-12 23:58

对比其它软件方法评估敏捷和Scrum

因此本文将使用包括功能点、缺陷移除率（DRE）、质量成本（COQ）以及总拥有成本（TCO）在内的一些标准的度量指标，对现代软件开发方法的样本进行比较。
·2015-10-31 11:00

项目管理常用缩写

AC 实际成本ACWP 已完工作实际成本BAC 完工预算CCB 变更控制委员会COQ 质量成本CPAF 成本加奖励费用合同CPFF 成本加固定费用合同CPI 成本绩效指数CPIF 成本加激励费用合同CPM
·2015-02-10 21:00

《全面软件质量管理》核心观点摘录

对于软件项目COQ一般在35
qileilove·2014-11-03 09:00

对比其它软件方法评估敏捷和Scrum

因此本文将使用包括功能点、缺陷移除率（DRE）、质量成本（COQ）以及总拥有成本（TCO）在内的一些标准的度量指标，对现代软件开发方法的样本进行比较。
Capers Jones·2013-08-12 00:00

对比其它软件方法评估敏捷和Scrum

因此本文将使用包括功能点、缺陷移除率（DRE）、质量成本（COQ）以及总拥有成本（TCO）在内的一些标准的度量指标，对现代软件开发方法的样本进行比较。
Capers Jones·2013-08-12 00:00

Coq Basic.v

形式化方法作业这里是必须完成的部分，到乘法交换律，可选部分未上传 (***Basics:FunctionalProgramming*) (*$Date:2012-01-2720:02:32-0500(Fri,27Jan2012)$*)(*######################################################################*)(***Enume
ustcxjt·2012-02-27 15:00

Coq-ProofGeneral-Emacs-Windows

主要参考https://wiki.ccs.neu.edu/display/~vkoutav/Coq-ProofGeneral-Emacs-Windows文章中有些链接失效了容易出错的地方说明下%COQBIN
ustcxjt·2012-02-24 23:00

my first coq

Completethedefinitionofthefollowingfunction,thenmake   surethatthe[Example]assertionsbeloweachcanbeverifiedby   Coq
ustcxjt·2012-02-17 23:00
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他