问题标签 [equivalence]

使用 ruby​​_parser 和 Ruby2Ruby gems，我正在编写代码来跟踪已评估的条件以及它们的结果和参数是什么。为了使这尽可能简单，我有时会稍微重写 AST。当然，只有当我确定结果的功能与原始结果完全相同时，我才能这样做。

我是否正确断言以下三个 Ruby 片段在功能上是等效的，假设三个点被一个有效的 Ruby 表达式替换？我是否忽略了任何边缘情况？

可能重复：
Java String.equals 与 ==

我是java新手，所以不要指望事情会很容易，但这让我完全震惊。为什么 if 语句不能正确评估：

我正在生成一个包含不同级别的因素的大列表，并且我希望能够检测其中两个何时定义相同的分区。例如，我想将以下所有内容检测为彼此等效：

做这个的最好方式是什么？

好吧，我有一个等价物，我必须证明。这些等价使用双条件和布尔代数。但我不确定我应用逻辑等价定律的顺序。

编辑：

这是一个任务。几天来，我一直坚持下去，在不同的时间得到不同的答案。

我不一定希望任何人解决它，我希望他们以通用的方式解释他们将如何解决它以及他们适用法律的顺序。这样我就可以从中学习。

鉴于以下情况：

我想找出 A 中的哪些列等于我的向量 a。

我的第一次尝试是：

哪个没有这样做。（老实说，我什至不明白那做了什么）第二次尝试是：

这绝对是朝着正确方向迈出的一步，但它似乎扩展到了一个矩阵中。我更喜欢的只是其中一排。如何将向量与列进行比较，以及如何在矩阵中找到等于向量的列？

我目前正在回答一个逻辑等价问题，并希望确认我曾经使用过的规则，因为它不在法律列表中，大概是因为它是“你应该知道的事情”。

我的部分工作将(NOT(p) OR NOT(q)) OR r == (NOT(p) OR r) OR (NOT(q) OR r)
在以后简化为(p implies r) OR (q implies r)

构造真值表也通过LogicWorks构造我认为两者在逻辑上是等价的，但是我在第一部分使用的法则是什么？联想？

编辑：
我意识到LHSandRHS可能在逻辑上是等价的，但我可能错过了一步吗？

假设有一些数据类型来表达 lambda 和组合项：

还有一个函数可以获取 lambda 项的自由变量列表：

将 lambda 项转换为组合项抽象消除规则可能很有用：

1) T[x] => x

2) T[(E₁ E₂)] => (T[E₁] T[E₂])

3) T[λx.E] => (KT[E]) （如果 x 在 E 中不自由出现）

4) T[λx.x] => 我

5) T[λx.λy.E] => T[λx.T[λy.E]] （如果 x 在 E 中自由出现）

6) T[λx.(E₁ E₂)] => (ST[λx.E₁] T[λx.E₂])

这个定义是无效的，因为5)：

所以，我现在拥有的是：

我想要的是（希望我计算正确）：

问题：

如果 lambda 项和组合项具有不同类型的表达式，那么如何5)正确表述呢？

如何在 Fortran 的数组中组合一堆大的可分配向量？我想避免使用复制和重塑，reshape因为数组很大。我想要达到的效果就像Fortran的一样equivalence，来说明一下：

但是，这不适用于可分配数组。如果是关于访问矩阵向量，则可以通过指针轻松实现。但是如何将向量组合到一个二维数组中呢？到目前为止，我只遇到了有问题的指针数组：

这很难看，无法访问 xs(i)、ys(i)、zs(i)。没有副本可以做我想做的事吗？

我想为以下晶格图形添加两个等价图。plot()我对该函数的常用技巧par(mfcol=c(1,2))不适用于这些基于格的图。尽管我似乎无法从解决方案中提取所需的信息，但我查看了相关帖子。如何组合以下等价图，使它们在输出中彼此相邻（并排）？或者，换句话说，晶格等价于par(mfcol=c(1,2))什么？

在数据库理论中，“冲突可序列化”和“冲突等效”有什么区别？

我的教科书有一节关于可序列化的冲突，但忽略了冲突等价。这可能是我熟悉的两个概念，但我不熟悉术语，所以我正在寻找解释。