induction

5熱

2答えて

Inductionを使用してローカルのSQLiteデータベースに接続するにはどうすればよいですか？

InductionをローカルのSQLiteデータベースに接続しようとしていますが、接続方法についてはわかりません。以前のSQLiteクライアントでは、単にデータベースファイルを開いただけです。私はこれらのフィールドに置くべきであるどのような性質？私のデータベースはdevelopment.dbで、私のRailsアプリケーションの中にあります

8熱

1答えて

再帰と誘導による証明の関係は何ですか？

帰納法と帰納法による証明の関係は何ですか？のはfn(n)を言ってみましょう、再帰が会うbase conditionまでfn(n)通話そのものです。誘導はbase conditionが合っているときに、(base case + 1)も正しいと証明しようとします。再帰と誘導が異なる方向にあるようです。 1つはnからbase caseまでで、もう1つはbase caseからinfiniteまでで

7熱

1答えて

ハスケルでの構造誘導

以下は構造誘導の定義ですか？ foldr f a (xs::ys) = foldr f (foldr f a ys) xs 誰かが私にハスケルの構造誘導の例を教えてもらえますか？

5熱

1答えて

再発を解決するための代替方法

まず、このような基本的な質問をおかけして申し訳ありません。しかし、私は再発を解決するための置換方法を理解することが困難です.Algo.sCLRSの紹介に従っています。私はf（n）がf（n + 1）を意味することを証明しなければならないが、CLRSではこのステップが欠落しているか、またはそうであるかもしれないことを証明する必要があるテキストブックでは、私は例を得ていない。 O（n^2）= T（n-

4熱

2答えて

偶数の帰納仮説

のの恒等仮説を具体的に証明しようとしています。私は、次のように定式化し、証明した： Theorem ind_hyp_on_evens: forall (p : nat -> Prop), (p 0 -> (forall n, p n -> p (S (S n))) -> forall n, p (n + n)). Proof. intros p P0 P1. intro n. ass