logic 相关问题

逻辑指的是代码的最终流程以及您如何到达所需的解决方案。问题应该与为特定问题寻找编码解决方案(或改进现有编码逻辑)有关。请使用适当的语言标记,逻辑的详尽描述以及您正在处理的相关代码。一般逻辑问题是偏离主题的。如果您只是需要代码审查,请考虑https://codereview.stackexchange.com

一阶逻辑(FOL)递归下降解析融合

FOL定义图像 我正在尝试构建一个递归下降解析器来将任意 FOL 句子解析为 AST。然而,在开发过程中,我对如何解析

回答 0 投票 0

如何获取列表中重复的最近数字平均值?

输入列表 [0.21,5.0,9.0,0.19,0.2,0.1856,0.9,0.14,0.189] 预期产出 0.19 上面的列表重复了最近的数字 0.21、0.2、0.19、0.185、0.189。 平均 0.21,0.2,0.19,0.185,0.189 = 0.974/...

回答 1 投票 0

在 n × n 棋盘上,从左上到右每个方格上有一个棋子。我想移动一对棋子并将它们向下移动一个方格

(预期输出)即:将 n = 8 个棋子从对角线移动到底行一对 时间。 这里是电路板尺寸为奇数时输出的链接,即:9 将 numpy 导入为 np def move_ch ...

回答 0 投票 0

Agda notNotExcludedMiddle

有人能解释一下如何从以下 Agda 表达式中推导出双重否定的排中律吗? data 或 (a b : Set) : 设置在哪里 Inl : a -> 或 a b Inr : b -> 或 a b 或大小写:...

回答 0 投票 0

我怎样才能确保我组的第一个子组在序言中被洗牌

我目前正在为一个项目与Prolog斗争。我正在尝试编写一种基本上在子组上创建组的方法。 基本上我想在我的查询中得到以下结果: `?- make_list(Lis...

回答 0 投票 0

读取文件并打印每个单词的第一个字母

我需要读取一个文件,然后以小写形式打印每个单词的第一个字母及其在文件中的位置。我制作了这段代码,但它不起作用,我不知道为什么。 #包括 #

回答 1 投票 0

ASP.NET 按钮的 OnClick 事件的事件处理程序未执行 [关闭]

按钮的 OnClick 事件没有产生任何输出或结果 提交时的按钮响应

回答 0 投票 0

用谓词求解完美和

大家好,我正在尝试解决此 c# 练习,但我找不到解决方法。即使不使用下面建议的提示。 用下面的例子做一个完美的总结 示例 1: ...

回答 1 投票 0

带符号二进制的 2 位乘法器的门设计是什么?

我理解普通的 2 位乘法器是如何工作的,但它只适用于正数,所以它如何与带符号的二进制一起工作。 我尝试使用与非门、半加器和异或门

回答 0 投票 0

PowerShell - 使用下拉列表中的选择填充我的列表框

我正在尝试通过 Active Directory 为管理员流水线化数据,从而在 PowerShell ISE 上制作应用程序部署工具。由于 Active Directory 没有模糊搜索功能,我想...

回答 0 投票 0

Z3 无法检查谓词逻辑中的推理,例如 Lewis Carroll 的 SYMBOLIC LOGIC

;所有不贪心的兔子都是黑色的 ;没有不贪心的老兔子 ;因此:有些黑兔不老 (声明排序 U) (声明-fun g (U) Bool) (声明乐趣 b (U) Boo...

回答 1 投票 0

如何在 Javascript 中为 sayFunction 创建失败和通过的案例?

// 这些是在创建 sayFunction 时检查通过和失败的测试用例 Test.assertEquals(sayNumber(0),“零。”) Test.assertEquals(sayNumber(11),“十一。”) 测试

回答 0 投票 0

Powershell 脚本 - 如何使用更少的 IF / IF-ELSE 语句

我主要用 PowerShell 编写代码,我 85% 的脚本都是用它构建的。我继续编写代码的次数越多,我就越意识到我总是使用 IF 语句,公平地说有时是需要的,但是 sinc...

回答 1 投票 0

是否可以使用 SymPy 从离散变量域进行等价逻辑简化?

我一直在使用 SymPy 进行逻辑简化(使用他们的 sympy 逻辑模块,它与布尔表达式配合得很好。 我现在正试图解决一个更棘手的问题,但我遇到了麻烦

回答 0 投票 0

java swing 功能/声明性编程逻辑错误

我正在尝试使用函数式编程风格在 java swing 中创建一个登录功能,下面是我的代码 字符串用户名 = txtUsername.getText(); String passwordStr = String.valueOf(txtPassword.

回答 0 投票 0

嵌套循环没有正确迭代

我有这段代码,其中有两个循环“i”和“j”。 'j' 是内循环变量,它应该在外循环的单次运行中运行 999 到 100。 但它随机运行,就像, 假设...

回答 1 投票 0

想不通这个决策树的bug

我正在制作顶级王牌类型的纸牌游戏 - 但我在其中一个控件上绊倒了。在这个问题上我一直在用头撞墙——这很奇怪,因为它似乎是最简单的解决方法 它...

回答 0 投票 0

在这种情况下,有没有办法解决“并非所有代码路径都返回一个值”? [关闭]

鉴于这段代码采用整数数组并检查哈希集中的重复项: public static int ReturnDuplicatedNumber(HashSet hashSet, int[] integerArray) { ...

回答 0 投票 0

如何在 Winautomation 工具中编写回文函数

我需要在 winautomation 工具中运行一个回文函数。 我不应该在这里使用反向功能。创建并附上我的程序的快照,请看一下。

回答 0 投票 0

更好的 JS if 条件编程风格

是否有更好的方法在 for 循环中编写此 if 条件。 对于(selectedId 中的变量 i){ 对于(myJSON 中的 var 键){ if((key === "correct" && selectedId[i].type === "fp") || key !== "

回答 3 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.