腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
命题
逻辑-
归结
属性
math
、
youtube
、
logic
、
theorem-proving
我在youtube上看了一段关于分辨率的视频,偶然看到了这段视频,它对我帮助很大: (AB -> CDXY) (PQXY -> RS)我本能地感觉到这种“双重分辨率”的情况不适用,而且我还找不到任何关于取消2个或更多变量的信息。
浏览 2
提问于2014-10-06
得票数 0
1
回答
包含本机方法的类的JUnit
java
、
unit-testing
、
junit
任何如何
实现
这一点的
命题
,因为当我尝试在单元测试中创建实例时,正如预期的那样,我得到了一个
java
.lang.UnsatisfiedLinkError。
浏览 0
提问于2013-10-29
得票数 2
1
回答
haskell中的
命题
function
、
haskell
、
scope
我正在尝试
实现
函数mapProp。mapProp :: (Proposition -> Proposition) -> Proposition -> Proposition 函数应用于第一个参数当找不到
命题
字段时-应用f。Proposition Proposition | Not Proposition 下面是我
实现
该函数的尝试,但它给了我一
浏览 2
提问于2019-12-11
得票数 0
1
回答
Scala中的
命题
逻辑
scala
、
artificial-intelligence
Prop类型模拟
命题
句子(或者,更简洁地说,是
命题
)。
命题
符号(变量)被编码为P(n)形式的术语,其中n是整数标识符。Interpr类型将
命题
解释
实现
为
命题
符号ids的Scala列表(没有重复)。
命题
符号P(n)在解释i中是真的当且仅当n出现在I中。编写一个Scala方法,意思是(i:Interpr,p:Prop):布尔值接受解释i和
命题
p,如果解释满足
命题
逻辑的语义,则返回Scala布尔值true,否则返回值false。我对如何使用
浏览 1
提问于2017-03-08
得票数 0
1
回答
CNF简化
optimization
、
satisfiability
、
cnf
我只是在用
命题
公式。为此,我尝试使用
Java
SAT4j库。它可以告诉我这组子句是否可以满足,但似乎没有任何方法来返回一个简化的CNF。我能做什么来有效地简化CNF?有任何
Java
或Python
实现
吗?
浏览 7
提问于2014-05-04
得票数 2
回答已采纳
1
回答
Java
图形类
命题
java
、
architecture
、
oop
、
graphical-programming
我正在做一个
java
+swing+miglayout项目,我们决定为继承自JPanel和JFrame的图形类设计一个类,下面是skelletons: class GammaFrame extends JFrame
浏览 6
提问于2010-07-21
得票数 0
3
回答
使用多个开发团队来以结构化的方式
实现
DevOps的业务是什么?
operating-model
、
methodology
将DevOps实践添加到单个开发团队是一个相对简单的
命题
,因为这通常可以
归结
为向团队介绍任何一个人来在组织中构建DevOps、发布工程或平台工程能力。在一个拥有大量开发团队的组织中,有可能在多个独立的业务单元中以一致的方式
实现
这一目标?
浏览 0
提问于2017-03-25
得票数 7
回答已采纳
3
回答
命题
逻辑程序中的括号解析
java
、
parsing
、
recursion
、
parentheses
我正在致力于将
命题
逻辑语句转换为合取范式。我遇到的问题是解析可能很复杂的括号级别。我需要解决的问题是正确的顺序,我认为应该先使用递归来解决内部括号,然后再向外移动,但我不知道如何
实现
我的想法。该程序是用
Java
编写的。有人能帮上忙吗?
浏览 0
提问于2012-05-01
得票数 1
2
回答
有没有
命题
逻辑专用的
命题
isabelle
我试图使用公理化命令在语法上
实现
LTL逻辑,目的是自动找到定理的证明(证明程序属性的动机)。我对isabelle比较陌生,所以可能有一种更简单的方法来做到这一点,我没有看到。编辑:我正在寻找一个希尔伯特风格的演绎证明器,而不是SAT,因为这将击败公理
实现
它的问题
浏览 2
提问于2020-01-15
得票数 0
1
回答
使用上下文无关语法处理
命题
逻辑符号
context-free-grammar
、
discrete-mathematics
、
propositional-calculus
我目前正在尝试使用上下文无关的语法来处理
命题
逻辑。T=(q,p,¬,∧,∨,→,⟷). 现在我需要的是定义一套产品,它可以帮助我
实现
所有合法的复合
命题
。有谁可以帮我?
浏览 4
提问于2020-04-28
得票数 0
回答已采纳
3
回答
将代码作为参数传递
java
、
android
我使用下面的代码来显示消息: public void run(){ }Common是我的一个类,getHandler()将返回一个在活动中创建的处理程序。这样我就可以从外部活动调用Toast了。这是一个很好的方法,它工作得很好,但我想知道是否有其他方法可以让代码更干净/更简短。Common.run
浏览 0
提问于2011-12-28
得票数 0
回答已采纳
1
回答
用布尔运算符
实现
三值逻辑运算?
java
、
logic
我用三个可能的常量创建了一个枚举类
命题
,我希望这样,当我用布尔运算符编写代码时 Proposition我将如何在
Java
中
实现
这一点?我必须使用一种方法还是可以使用布尔运算符?
浏览 0
提问于2021-11-15
得票数 2
回答已采纳
1
回答
Z3抱怨说假设不是
命题
变量,即使它实际上是。
z3
我正在使用
Java
。= ctx.mkBoolConst("b");solver.check(and); 警告:假设必须是
命题
变量或否定变量除非我误解了什么,and是一个
命题
变量,所以我不明白为什么会有这样的警告。此外,check方法以一个BoolExpr数组作为参数,那么为什么它需要一个
命题
变量?
浏览 2
提问于2016-08-10
得票数 0
回答已采纳
2
回答
Haskell -
命题
逻辑
forms
、
haskell
、
logic
、
logical-operators
Name| T| Prop :|: Propderiving (Eq, Read)类型Prop表示一个
命题
公式
命题
变量如p和q可以用Var "p“和Var "q”表示。::和:&:表示分离(/)和合并(/)( Var "p" :|: Var "q") :&: ( Not
浏览 1
提问于2019-01-04
得票数 2
回答已采纳
1
回答
Agda中的点平等≗与
命题
平等≡
agda
、
equality-operator
、
agda-stdlib
map gmap-cong f≗g (x ∷ xs) = cong₂ _∷_ (f≗g x) (map-cong f≗g xs) 在查看
实现
时,逐点相等似乎被定义为通过扩展性公理对函数的
命题
相等:如果两个函数对所有输入产生
浏览 13
提问于2022-11-03
得票数 0
回答已采纳
1
回答
如何在C++中最好地
实现
数字锁相环?
c++
、
algorithm
、
logic
、
artificial-intelligence
、
dpll
我正在尝试用C++
实现
算法,我想知道什么样的数据结构最适合解决这种类型的递归问题。现在我使用的是向量,但是代码又长又难看。有什么建议吗?
浏览 22
提问于2012-03-13
得票数 4
1
回答
域驱动设计--我发现很难为这种业务逻辑找到解决方案
domain-driven-design
、
domain-model
引言PropositionTask如果我在最后阶段完成了最后一项任务,则提案必须设置为“关闭”。Phase { get; set; } { }问题 }关于选择Phase.Proposition.IsClos
浏览 3
提问于2012-02-14
得票数 2
回答已采纳
1
回答
使用clone_from_slice()代替copy_from_slice()的性能损失?
performance
、
rust
、
copy
、
clone
这两个函数的行为并不令人惊讶--第一个函数执行一个克隆,并期望该类型
实现
Clone,而第二个函数执行一个副本,并期望该类型
实现
Copy。然而,令我惊讶的是,clone_from_slice的文档说:“如果T
实现
了Copy,那么使用copy_from_slice可能会更好。”令人惊讶的是,这里竟然会有性能差异。如果T
实现
了Copy,那么.clone()就必须等同于复制位;但是,由于编译器知道T是什么类型,所以即使我使用clone_from_slice,它也应该能够判断它是否可以按位复制。
浏览 4
提问于2020-08-15
得票数 3
回答已采纳
4
回答
Scala -前缀一元运算符
scala
、
logic
、
notation
、
unary-operator
我最近给了Scala第二次机会,并开始了我一直在
实现
的项目(使用函数式或伪函数式语言):一个用于
命题
逻辑(以及后来的谓词逻辑)的自动推理器。现在,我已经尝试在语言本身中尽可能漂亮地使用
命题
逻辑的表示法,并且我已经做到了这一点-通过隐式转换(String -> Atom):函数“和”和“暗示但是,在
实现
"not“时,我会遇到以下两种表示法中的任何一种: ("A" and &qu
浏览 3
提问于2010-09-06
得票数 10
回答已采纳
1
回答
卡桑德拉vnodes复制品
cassandra
设置上下文: Cassandra当前
实现
vnodes。默认情况下,在cassandra.yaml文件中可以调整的Vnodes是令牌范围/散列范围。例如:(x.y),其中y是v节点的令牌数。依靠最后一个
命题
,(说最后一个
命题
是正确的)。然后,vnode必须只包含属于给定键空间的令牌。因为每个键空间(列族/表的容器)都有一个定义的复制策略和复制因子。这个
命题
正确吗,vnode只用于给定的键空间?可以
归结
为物理节点上的256个令牌.20(比方说)vnode目前属于"system“密
浏览 0
提问于2018-10-27
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
JAVA实现Gif动画
JAVA实现概率计算
java实现聊天功能
Jeff Atwood:任何能用 Java 实现的,最终都将用 Java 实现
用java实现跳表SkipList
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券