问题标签 [induction]

我正在关注 Rails 教程，使用 postgreSQL 设置数据库，因此开发和生产在本地以及在 Heroku 上的部署位置是相同的。到现在为止还挺好。我已经设置了 User 模型，并且在本地和部署到 heroku 中都可以工作。我的问题是我想在本地以表格形式访问数据库。使用 SQLite 数据库浏览器访问 SQLite 数据库很容易。我无法访问我的应用程序的 postgreSQL 数据库。

到目前为止，我已经下载了免费但完全令人困惑的 PGAdmin3。接下来我从 App Store 下载了 Navicat Essentials for PostgreSQL，售价 4.99 美元。我的 config/database.yml 是：

在 Navicat Essentials for PostgreSQL 中，我输入：

当我点击“测试连接”时，它显示“连接成功”。我似乎仍然无法弄清楚如何以表格格式访问数据库。我点击了表格选项卡，但没有显示任何数据。有人有什么建议吗？我已经有至少一个用户，我可以在 Rails 顾问中确认。

我正在尝试使用Induction连接到我的本地 SQLite 数据库，但是我不知道如何建立连接。在以前的 SQLite 客户端中，我只是打开了数据库文件。

我应该在这些字段中添加哪些属性？我的数据库很简单development.db，位于我的 Rails 应用程序中

递归和归纳证明有什么关系？

比方说fn(n)，

递归是fn(n)调用自身直到 meet base condition；

归纳是当base condition是满足，试图证明(base case + 1)也是正确的。

似乎递归和归纳是不同的方向。一个从nto开始，一个从tobase case开始。base caseinfinite

有人可以详细解释这个想法吗？

我真的很想围绕递归的工作原理和理解递归算法。例如，当我输入 5 时，下面的代码返回 120，请原谅我的无知，我只是不明白为什么？

我了解大θ、大哦和大欧米茄的概念。我只是很难证明这一点。自从我做归纳以来已经很长时间了，所以我很确定我只是生疏了，缺少一些简单的东西。

例如..我需要帮助的问题是证明5n² - 6n = Θ(n²)..

我已经得到了问题的 Big-Oh 部分（我做 big-Oh 和 Ω 分别正确吗？）到：

和大欧米茄部分：

....但是我从这里去哪里？！我从归纳中回忆起......我认为这些都是真的，现在插入(n+1)每个n并且......做......什么？在这一点上，我迷失了自己。

我在使用归纳法证明二叉树属性时遇到了麻烦：

我的设置正确吗？如果是这样，我该如何展示这些东西。我所尝试的一切最终都变得一团糟。谢谢您的帮助

我是一名从未正式学习过算法的程序员，并且一直想填补我学习中的空白。我目前正在阅读一些书籍和在线资料，我从概念上理解大 O，即它的用途，以及不同类别的性能，例如常数、线性、二次等。我可以编写问题并直观地理解不同方法的性能影响。

但是，我一直坚持的事情是算法证明的符号，我不确定在哪里可以找到这部分。我看过的所有书籍都假定这种知识水平。

例如，Skiena's Algorithm Design Manual中的这句话让我很难过：

f(n) = O(g(n)) 表示 c * g(n) 是 f(n) 的上限。

因此存在某个常数 c，使得 f(n) 总是 ≤ c * g(n)，对于足够大的 n（即，对于某个常数 n0，n ≥ n0）。

这是读者应该完成的推论练习：

3n^2 − 100n + 6 = O(n^2)，因为我选择c = 3 且3n^2 > 3n^2− 100n + 6；

我可以理解这两种说法，并且可以从逻辑上看出第二种说法是正确的。我也理解上限的概念，即这是最坏的情况。

但是我被困在简单的事情上，比如上面的内容是什么？

• g(n)

• 对于某个常数 n0，n ≥ n0

总的来说，我无法将各个部分拼凑在一起来理解整个证明。

谁能帮我用简单的英语解析上述陈述，并以对非技术人员有意义的方式展示它们与练习的关系

我正在使用 Postgres.app 和最新版本的 Induction（版本 0.1.0 (28)），我不能选择“Postgres”作为适配器。我只有 mongodb、redis 和 sqlite 的选项。如果我尝试手动输入它（即“postgres://locahost”），一旦我单击另一个表单输入，它就会自动恢复为“（null）”。

是否需要在某个地方指定我在本地使用 Postgres（特别是将 PATH 设置为应用程序中的 Postgres.app 位置）？

我正在使用 Mac OS X 10.8.2、Postgres 9.1.4、Postgres.app 1.0 (11) 和 Induction 0.1.0 (28)。

我正在尝试使用 Omega 在 Coq 中进行证明。我花了很多时间在这上面，但什么都没有。不得不说我是Coq新手，所以对这种语言不太适应，也没有太多经验。但我正在努力。

这是我必须证明的代码：

为了证明这一点，我认为首先通过归纳证明这个引理会有所帮助：

然后这个，使用 omega 和 div2_eq ：

但我没能走得更远。

有谁知道该怎么做？

首先很抱歉问了这么一个基本的问题。

但是我很难理解解决递归的替代方法。我正在关注 Algo.s -CLRS 简介。因为我找不到足够的例子，所以主要关注的是歧义。尤其是归纳步骤。在教科书中，我们必须证明 f(n) 意味着 f(n+1) 但在 CLRS 中，这一步缺失或可能是我没有得到这个例子。请逐步解释如何证明 O(n^2) 是递归函数 T(n)=T(n-1)+n 的解

它是我想了解的替换方法的一般步骤。如果您可以阐明强数学归纳法并提供有关替代方法的材料的链接，那也将有所帮助。