Birinci mertebeden doğrusal diferensiyel denklemlere dedaktif yaklaşım

Abstract

IV ÖZET Birinci mertebeden doğrusal diferensiyel denklemler, birinci dereceden mantık yapısı içinde incelenerek, sembolik çözümleri dedaktif yaklaşımla araştırılmıştır. Dedaktif yaklaşımda, yönlü graf tekniğine dayalı olarak oluşturulan clause kümesinden, resolution ilkesi ile elde edilen sonuçların doğruluğu, geliştirilen önteorem ve teoremlerle ispatlanmıştır.

ABSTRACT First order linear differential equations have been studied within the context of first order logic and a deductive approach to their symbolic solutions has been investigated. The correctness of the deductive approach, which obtains solutions by applying the resolution principle to a clause set obtained using directed graph techniques, has been established in a Lemma and Theorem.