問題タブ [induction]

PostgreSQL を使用してセットアップされたデータベースで Rails チュートリアルに従っているため、開発と運用はローカルで同じであり、Heroku にデプロイされています。ここまでは順調ですね。User モデルをセットアップし、ローカルと heroku への展開の両方で動作させました。私の問題は、テーブル形式のデータベースにローカルでアクセスしたいということです。SQLite Database Browser を使用すると、SQLite データベースに簡単にアクセスできます。アプリの postgreSQL データベースにアクセスできませんでした。

これまでのところ、PGAdmin3 をダウンロードしました。これは無料ですが、非常にわかりにくいものです。次に、App Store から $4.99 の Navicat Essentials for PostgreSQL をダウンロードしました。私の config/database.yml は次のとおりです。

Navicat Essentials for PostgreSQL で次のように入力します。

「テスト接続」を押すと、「接続成功」と表示されます。テーブル形式のデータベースにアクセスする方法がまだわからないようです。テーブル タブをクリックしましたが、データが表示されません。誰かアドバイスはありますか？Rails Councilで確認できるユーザーが少なくとも1人います。

Inductionを使用してローカルSQLiteデータベースに接続しようとしていますが、接続方法がわかりません。以前のSQLiteクライアントでは、データベースファイルを開いただけです。

これらのフィールドにどのようなプロパティを入力する必要がありますか？私のデータベースは単純development.dbで、Railsアプリケーション内にあります

再帰と帰納法による証明の関係は?

としましょうfn(n)、

再帰はfn(n)満たされるまで自分自身を呼び出しますbase condition。

誘導が合っている場合は、正しいbase conditionことを証明してみてください。(base case + 1)

再帰と誘導は別の方向にあるようです。1 つは からnまでbase case、もう 1 つは からbase caseまでinfiniteです。

誰かがアイデアを詳細に説明できますか?

私は本当に再帰がどのように機能するかについて頭を悩ませ、再帰アルゴリズムを理解しようとしています。たとえば、以下のコードは、5を入力すると120を返しますが、無知なのですが、理由がわかりません。

ビッグ シータ、ビッグ オー、ビッグ オメガの概念を理解しています。それを証明するのに苦労しています。誘導を行ってから長い時間が経ったので、さびて単純なものが欠けているだけだと確信しています。

たとえば..私が助けを必要としている問題は、それを示すこと5n² - 6n = Θ(n²)です。

問題の Big-Oh 部分を取得しました (big-Oh と Ω を別々に修正しますか?)。

そして大きなオメガ部分は：

....しかし、ここからどこへ行くのですか?! 私は誘導から何かを思い出します... 私はこれらが真実であると仮定します.そして今(n+1)、それぞれnにプラグインして..何かをしますか？この時点で私は自分を見失いました。

帰納法を使用して二分木のプロパティを証明するのに問題があります。

私のセットアップは正しいですか？もしそうなら、どうすればこれらのものを実際に見せることができるでしょうか。私が試したことはすべて、結局めちゃくちゃになりました。助けてくれてありがとう

Postgres.app と Induction の最新ビルド ( Version 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 の解であることを証明する方法を順を追って説明してください

私が理解したいのは、置換法の一般的な手順です。強力な数学的帰納法に光を当て、置換法に関する資料へのリンクを提供できれば、それも役立ちます。