问题标签 [logic]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
2 回答
117 浏览

ruby-on-rails - 存储图像类别的最佳逻辑

我正在创建一个系统,用户可以在其中选择四个选项的任意组合。

然后根据它们的精确组合显示结果。

例如,如果用户选择了颜色、文本和徽标。只有具有颜色、文本和徽标的结果才会返回。

另一方面,我正在创建最终将返回结果的“模板”。每个模板都将被指定为能够在用户选择与模板对应的组合时正确返回。

我的问题 :

在后端对这些信息进行分类以便用户请求提取它的最佳方法是什么?

例如,我有一个可以是颜色和文本或颜色、文本和徽标的模板。我的猜测是这两个在一个家庭中的两个组,然后当进行组合时,查询会审查每个家庭以寻找匹配的组合;如果为真,则返回该特定组合变体。

你会做不同的事情吗?

谢谢!

0 投票
10 回答
1779 浏览

language-agnostic - 程序验证的形式化方法在工业中占有一席之地吗?

我在大学时瞥见了Hoare Logic。我们所做的非常简单。我所做的大部分工作是证明由while循环、if语句和指令序列组成的简单程序的正确性,但仅此而已。这些方法看起来很有用!

形式化方法是否在工业中广泛使用?

这些方法是否用于证明关键任务软件?

0 投票
3 回答
2807 浏览

c# - C# 中的 OR-ing 字节给出 int

我有这个代码。

当我尝试编译时,我得到:

无法将类型“int”隐式转换为“byte”。存在显式转换(您是否缺少演员表?)

为什么会这样?不应该 | 两个字节给一个字节?以下两项工作,确保每个项目都是一个字节。

0 投票
10 回答
5615 浏览

logic - 程序员是怎么想的?

这可能是一个无可救药的模糊问题。但我很想听听人们在学习一个新概念或试图让他们的大脑了解他们以前可能从未见过的代码时所经历的任何逻辑思维过程。

基本上,一个人采取什么一般步骤来解决问题以及“解决问题”需要什么?如果您要绘制一张流程图,说明您查看代码或尝试解决问题时的心理过程如何工作,它会是什么样子?

您发现哪些常见的参考资料、提示和心理假设对解决问题有用?

这在不同域之间有何不同?例如,Web 程序员的思维过程在哪些方面与传统桌面应用程序开发人员的过程相似或不同?

0 投票
2 回答
511 浏览

javascript - 流程图的自动间距

所以我正在做一个项目,最终将使用 Flickr api 生成一种流程图。您将提供一个种子标签,程序将使用该种子标签来查找其他具有共同标签的相关 Flickr 图片...

我已经启动并运行了所有后端的东西,但我对格式感到困惑。这是我希望它看起来像的屏幕截图......

酷屏幕

这是我的问题。有没有接近每个分支间距的好方法?这意味着,我想要一个函数,我可以简单地创建一个新节点(或“分支”)并指定我希望它附加到哪个现有节点。这一切都很好,但我需要能够自动智能地将新节点放置在页面上,这样它就不会与任何现有的行或节点重叠。我想这更像是一个一般性的编程问题,就好像我知道我可以编写它的过程一样,但对于那些有兴趣的人,我会在 Javascript/HTML/CSS 中进行样式设置,也许还有一些用于 Flickr 调用的 PHP。

随时提出任何问题来澄清我的胡言乱语。

0 投票
2 回答
426 浏览

asp.net - 为公司存储和选择多个州/城市的最佳方式?

我有 A 公司。我需要能够将该公司链接到多个州,而每个州又可以链接到多个城市。例如:

我的问题是:

  1. 将其存储在表格中的最佳方法是什么?
  2. 允许用户在不刷新多个页面的情况下选择它的最简单方法是什么?

我将 ASP.NET (Framework 3.5) 与 C# 一起使用。如果周围有任何控件可以做到这一点,那么指向它们的指针也将不胜感激。

谢谢,

吉姆

编辑:例如,我需要选择“公司 A”。然后选择“状态A”。在“State A”下,我选择“City A, B & C”。然后选择“State B”,然后选择“City A & B”。

0 投票
3 回答
10111 浏览

c# - C#中的循环

我遇到了一个问题(可能是由于睡眠不足!),我正在尝试用 C# 解决数学问题。

假设我有一台饮料机,我有三排可以装可乐的空行。我手里有 17 罐可乐,我必须一次装满每一排。

例如...

通过1:

将可乐添加到第 1 行。饮品 = 1
将可乐添加到第 2 行。饮品 = 1
将可乐添加到第 3 行。饮品 = 1

通行证 2:

将可乐添加到第 1 行。饮品 = 2
将可乐添加到第 2 行。饮品 = 2
将可乐添加到第 3 行。饮品 = 2

...

通过 6

将可乐添加到第 1 行。饮品 = 6
将可乐添加到第 2 行。饮品 = 6
将可乐添加到第 3 行。饮品 = 5(此时已无饮品)

出于某种原因,我完全迷路了。谁能帮忙?!

0 投票
2 回答
1658 浏览

c# - 向数据网格项目模板添加逻辑

您将如何向数据网格项模板添加逻辑?在我的数据网格中,我想为其添加一个逻辑。也就是说,如果数据的结果等于“是”,将显示一个“asp:label”控件;否则将显示“asp:imagebutton”控件

但是,“<% if DataBinder.Eval(Container.DataItem, "boflag").equals("Yes") then%> ”这是无效的。

那么,我怎样才能得到数据来比较值。

谢谢

0 投票
2 回答
736 浏览

macos - OSX Audio:在我自己的应用程序中使用 Garage Band 插件

我正在为 Mac 编写一个小应用程序,其中涉及录制声音。在 GarageBand 和 Logic 中,有一个名为 Speech Enhancer 的插件。我有什么办法可以搭载这个插件,为那些安装了 GB 或 Logic 的用户提供降噪和均衡 Mac 内置麦克风的舒适性?该插件没有出现在 AULab 中,所以我希望它是 Apple 独有的东西(顺便说一句,这太离谱了)。有什么建议么?谢谢 Sjakelien

0 投票
5 回答
494 浏览

php - PHP 条件逻辑

在 PHP 中,是否允许以下​​逻辑

基本上,您可以使用多个 elseif 吗?