-
귀납적(Inductive)과 연역적(Deductive) 추론(Arguments)Research 2019. 6. 27. 15:47
귀납적 개별적으로 특수한 사실이나 원리로부터 사례들이 확장된 일반적 명제를 끌어내는 연구방법. 문과적. 결론(conclusion) 미리 설정하지 않고 여러 전제(premise)를 통해 결론을 도출 해 낸다. 예시) 소크라테스는 죽었다. 세종대왕도 죽었다. 니체도 죽었다. ( 전제 ) 이들은 사람이다. ( 전제 ) 그러므로 사람은 모두 죽는다. ( 결론 ) 연역적 하나 또는 두개 이상의 명제를 전제로 명확하게 규정되는 논리적 형식에 의해 새로운 명제를 결론으로 도출하는 방법. 이과적. 전제(premise)에 이미 결론(conclusion)이 나와있으며 이를 증명해 나가는 과정. 예시) 모든 사람은 죽는다. ( 논거 1 ) 소크라테스는 사람이다. ( 논거 2) 그러므로 소크라테스는 죽는다. ( 결론(전제) )
-
Explicit and Implicit methodResearch 2019. 1. 10. 17:12
Explicit and implicit methods are approaches used in numerical analysis for obtaining numerical approximations to the solutions of time-dependent ordinary and partial differential equations, as is required in computer simulations of physical processes.Explicit methods calculate the state of a system at a later time from the state of the system at the current time, while implicit methods find a s..
-
Strong form, weak formResearch 2019. 1. 9. 19:10
Strong form is the conventional differential equation. Weak form is an alternate representation of the differential equation. The strong form imposes continuity and differentiability requirements on the potential solutions to the equation. The weak form relaxes these requirements on solutions to a certain extent. This means that a larger set of functions are solutions of the weak form. By constr..
-
Consistency, stability, convergenceResearch 2019. 1. 9. 18:16
CONSISTENCY: A finite difference approximation is considered consistent if by reducing the mesh and time step size, the truncation error terms could be made to approach zero. In that case the solution to the difference equation would approach the true solution to the p.d.e.STABILITY: A finite difference approximation is stable if the errors (truncation, round-off etc) decay as the computation pr..