前回のような超越関数を含む論理式を QE する方法として,すぐ思いつくのは近似です. ここで言う近似とは,一般に述語論理の論理式は自由変数についての条件ですから,それを満たす点の集合をその部分集合(サブセット)と拡大集合(スーパーセット)で評価…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。