[過去ログ] 分からない問題はここに書いてね426 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
28: 2017/05/04(木)18:07:50.49 ID:VdMpCg8l(1) AAS
全くの自力で発想できるのは相当センスがないと無理
ふつうは演習でそういう手法があることを知って会得する
要するに経験不足
117
(1): 2017/05/08(月)14:39:53.49 ID:mdulbz+D(3/6) AAS
(d/dt)A(t) = 0 の後に来るのは、
「g(t) = A0(定ベクトル)」じゃなくて
A(t) = A0(定ベクトル) でしょ?

その A0 が 0 なら、
g(t) × (d/dt)g(t) = 0 だから
g(t) // (d/dt)g(t)。
位置ベクトルの方向に進むんだから
省6
273: ¥ ◆2VB8wsVUoo 2017/05/13(土)17:57:44.49 ID:n0gZs4p1(27/47) AAS

575: ¥ ◆2VB8wsVUoo 2017/05/17(水)17:44:57.49 ID:a+M0ej/B(30/33) AAS

669: 2017/05/21(日)17:50:53.49 ID:C36sJEhY(1) AAS
自己紹介は不要
677
(2): 2017/05/21(日)23:07:51.49 ID:NEJ4Q+Gi(2/3) AAS
>>676
ある公理系τの任意のモデルに対してある論理式φが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません
861: ¥ ◆2VB8wsVUoo 2017/05/26(金)14:57:35.49 ID:iCP5fMHR(21/51) AAS

880: ¥ ◆2VB8wsVUoo 2017/05/26(金)19:21:39.49 ID:iCP5fMHR(34/51) AAS

899: ¥ ◆2VB8wsVUoo 2017/05/26(金)23:57:48.49 ID:iCP5fMHR(51/51) AAS

前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.337s*