腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
如何
使用
Z-
表示
法
证明
(
p
^
q
) ^(
q
->
r
) <->
r
?
formal-methods
、
z-notation
我正在尝试
使用
Z符号来
证明
逻辑表达式。但是,我是Z语言的新手。请帮我
证明
上面的逻辑表达式。
浏览 26
提问于2020-07-18
得票数 3
回答已采纳
2
回答
如何
证明
子句可以从Prolog中的一组子句派生?
prolog
、
logic
、
first-order-logic
给定以下子句,
使用
逻辑编程
表示
法
:可以用C‘的第一个体字来解析C的首字母,以给出替换{
P
/
Q
',X/X'}和子句: D = m(
P
',X')<- m(
Q
,X'), m(
R
,X'), m(
R
',X').我
如
浏览 4
提问于2014-10-24
得票数 2
回答已采纳
1
回答
给定((
p
⇒
q
)⇒
r
),用Fitch系统
证明
((
p
⇒
q
)⇒(
p
⇒
r
))
fitch-proofs
我正在尝试,给定((
p
⇒
q
)⇒
r
),
使用
惠誉系统来
证明
((
p
⇒
q
)⇒(
p
⇒
r
))。我该怎么做,有什么建议吗?
浏览 2
提问于2013-04-19
得票数 3
1
回答
(A -> B) /\ (B -> C) -> (A -> C)?
coq
、
coq-tactic
我正在通过书中的软件基础学习Coq,并且很难
证明
下面的引理(我需要
证明
其他定理)。Lemma if_trans : (
P
->
Q
) /\ (
Q
->
R
) -> (
P
->
R
).Admitted
浏览 3
提问于2020-03-09
得票数 0
回答已采纳
3
回答
证明
~s=>~
p
给出(
r
=>s)和(
p
=
q
)=>(
r
~(S))
proof
我试图
证明
~s=>~
p
(不是s暗示不是
p
),给出以下两个前提。
r
=>s [
r
implies s] 我尝试过几种方法,试图
使用
或消除或否定介绍,但我甚至无法想象我将需要
使用
哪些假设
浏览 8
提问于2013-12-03
得票数 0
3
回答
命题逻辑及其
证明
functional-programming
、
logic
、
coq
、
agda
、
proofs
我正在试着
证明
下面的一个家庭作业的例子,并且已经工作了几个小时,仍然没有成功。对于我做错了什么,有什么建议或意见吗?
浏览 6
提问于2016-02-17
得票数 1
1
回答
如何
证明
精益中的分布性(命题有效性属性6)?
functional-programming
、
theorem-proving
、
lean
在经历了大多数练习,并在精益手册第3章末尾的精益中解决/
证明
了前五个命题有效性/性质之后,我仍然无法理解以下含义(
证明
性质6所需的含义之一): theorem Distr_or_L (
p
q
r
:Prop) : (
p
∨
q
) ∧ (
p
∨
r
) →
p
∨ (
q
∧
r
) := intros pqpr, have porq :
浏览 13
提问于2020-01-16
得票数 1
回答已采纳
1
回答
用CNF
表示
知识库并在prolog中解析
prolog
我有一个CNF的知识库,我想用prolog来做一个解决方案,但是我无法思考
如何
在prolog中解决这个问题。我有过我把CNF作为: KB = {
P
v
Q
, not(
Q
) v
R
, not(
Q
) v S, not(
P
)v U, not(
R
) v
浏览 1
提问于2021-03-08
得票数 2
回答已采纳
1
回答
通过生成Cayley图给出RSA假设和关系
encryption
、
rsa
、
finite-field
、
group-theory
本质上,这是两个生成元上的自由交换群,受由CRT
表示
的生成元的阶的关系。 然后,我们可以用发电机g_
q
, g_
p
写出你所谈论的所有数量。然后你的方程式:y^
r
= z\implies g_
q
^{ry_
q
}g_
p
^{ry_
p
} = g_
q
^{z_
q
}g_
p
^{z_
p
}\implies g_
q
^{ry_
q
- z_
q
}g_
p
浏览 0
提问于2020-05-30
得票数 1
回答已采纳
1
回答
C中利用链表相乘多项式的算法
c
、
linked-list
、
polynomials
=NULL) {
Z-
>exp =
P
->exp +
Q
->exp;
P
=
P
->next; while(
Q
!po
浏览 4
提问于2020-12-06
得票数 0
回答已采纳
1
回答
不同的“排序”谓词在Dafny中应该是等效的。
theorem-proving
、
induction
、
dafny
问题:
Q
2.是对j的诱导,还是I和j都需要?我认为对seq长度的归纳应该足够了。 == (forall i :: false ==> s[i] <= s[i+1]) ==> (我不知道
如何
将计算
证明
风格(就像基本案例中的那种)和归纳
浏览 3
提问于2018-01-18
得票数 3
1
回答
大数模逆的求法
c++
、
math
、
sum
、
largenumber
、
modular-arithmetic
给定GP和(1-((n-1)/n)^
r
) =
P
/
Q
,当
r
很大时,
如何
计算这个
P
/
Q
分数,输出(
P
*
Q
^(-1) % 1000000007,其中
Q
^(-1)是
Q
模1000000007的模逆。我可以用模指数
法
计算(n-1)^
r
和n^
r
,然后用费马的小定理用模逆公式打印
P
*
Q
^(-1
浏览 3
提问于2019-02-03
得票数 1
1
回答
我
如何
用逻辑等价法则来解决这个方程?
logical-operators
、
equivalence
问题是:
证明
了
p
→(
q
→
r
)和
q
→(
p
V
r
)在逻辑上是等价的。 我在
使用
逻辑恒等式来
证明
这一点时遇到了困难。任何帮助都是非常感谢的。
浏览 42
提问于2020-09-28
得票数 0
回答已采纳
1
回答
如何
将形式为
P
->
Q
->
R
的命题同时应用于Coq中的两个假设
P
和
Q
?
coq
我试着
证明
forall
P
Q
R
: Prop,
P
->
Q
-> (
P
->
Q
->
R
) ->
R
。我的
证明
如下。Goal forall
P
Q
R
: Prop,
P
->
Q
-> (
P
->
Q
-> <e
浏览 9
提问于2019-10-26
得票数 1
1
回答
如何
证明
(
R
,->
P
) [在Coq
证明
助手]?
logic
、
coq
、
proof
如何
在Coq中
证明
(
R
->
P
)。我是这方面的初学者,对这个工具不太了解。我就是这么写的:Proof. intro HP.Variables
P<
浏览 1
提问于2014-12-11
得票数 0
回答已采纳
2
回答
自然推断:这是一种声音
证明
吗?
logic
、
proof-of-correctness
、
proof-system
对于所有x:颠倒了一个运算符(普遍性)
证明
:
浏览 6
提问于2014-02-06
得票数 0
回答已采纳
1
回答
证明
两个命题在逻辑上是等价的(没有真值表)
logic
、
discrete-mathematics
、
equivalence
我必须
证明
~
p
→(
q
→
r
)≡
q
→(pvr)
q
→(pvr) ≡
q
→(~qvr) v ~
p
→(
q
→
浏览 3
提问于2015-05-31
得票数 0
回答已采纳
1
回答
CTL等值检验
ctl
公式1:AF
p
OR AF
q
第一个说法是:对于从开始状态开始的所有路径,都有一个
p
保持的未来;对于从开始状态开始的所有路径,都有一个
Q
保持的未来。第二:对于从开始状态开始的所有路径,都有一个
p
或
q
保持的未来。
浏览 4
提问于2014-01-02
得票数 0
1
回答
Douglas-Peucker -球面上从一点到圆的最短弧
google-maps
、
geometry
、
geolocation
、
douglas-peucker
我在各种编程语言中看到了许多
使用
Douglas-Peucker polyline简化算法来生成在Google Maps上
使用
的GPolyline的示例。当
表示
平面上的多段线时,该算法涉及计算点和线(通过另外两个点)之间的距离。 到目前为止,我看到的所有示例都以一种非常天真的方式应用了算法,简单地将x和y替换为纬度和经度。
浏览 3
提问于2010-09-21
得票数 1
回答已采纳
1
回答
命题逻辑形式化
证明
logic
、
proof
作为我的逻辑考试前的练习,我试着正式
证明
下面的等式。然而,我在计算这些步骤时遇到了一些困难。以下是我正在
使用
的规则;A ∧ B ≡ B ∧ A, A ∨ B ≡ B ∨ A commutativityA ⇒ B ≡ (¬A) ∨ B implication这就是方程式; (
p
⇒
r
) ∧ (
q</em
浏览 0
提问于2016-04-16
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
EM算法是炼金术吗?
网维大师V9.0.6.0版本详细更新说明
深度学习第11期:基于Policy的强化学习
数据结构试题库答案算法设计题
深度学习第9期:强化学习的基本概念
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券