2011-06-10から1日間の記事一覧
前回は解集合の図のみを正射影で求めるグラフィカルな QE でしたが,関数の種類,変数の個数が手頃であれば,同様の方法により,シンボリックに QE できます. 例えば (1) ∃x ( a≦x≦a+2 ∧ x^2-2 x+a≦0 ) を考えましょう.人間なら a について場合を分ける所…
前回は解集合の図のみを正射影で求めるグラフィカルな QE でしたが,関数の種類,変数の個数が手頃であれば,同様の方法により,シンボリックに QE できます. 例えば (1) ∃x ( a≦x≦a+2 ∧ x^2-2 x+a≦0 ) を考えましょう.人間なら a について場合を分ける所…