Yüksek mertebeden doğrusal diferensiyel denklemlere dedaktif yaklaşım
A Deductive approach to higher order linear differential equations
- Tez No: 84125
- Danışmanlar: PROF. DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Doktora
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Diferensiyel denklemler, Doğrusal diferensiyel denklemler, Çözüm teknikleri, Differential equations, Linear differential equations, Solving techniques
- Yıl: 1999
- Dil: Türkçe
- Üniversite: Hacettepe Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
IV ÖZET Yüksek mertebeden sabit katsayılı doğrusal diferensiyel denklemler, birinci dereceden mantık yapısı içinde incelenerek, dedaktif yaklaşımla sembolik çözümleri araştırılmıştır. Dedaktif yaklaşımda, ele alınan diferensiyel denklemler, çözüm yöntemlerine ve standart formlara dayalı olarak oluşturulan clause kümesinden, resolution ilkesi ile elde edilen sonuçların doğruluğu gösterilmiştir.
Özet (Çeviri)
ABSTRACT Higher order linear differential equations with constant coefficients have been studied within the context of first order logic and a deductive approach to their symbolic solution has been investigated. This approach involves applying the resolution principle to a clause set generated using rules of solution formulated in first order logic, and the correctness of the solutions found for the types of equation considered is proved.
Benzer Tezler
- Birinci mertebeden doğrusal diferensiyel denklemlere dedaktif yaklaşım
A Deductive approach to first order linear differential equations
TOLGA GÜYER
- Lineer diferansiyel denklemlerin yaklaşık çözümü için chebyshev-sıralama yöntemi
Başlık çevirisi yok
İHSAN TİMUÇİN DOLAPÇI
- Symmetry methods for differential equations (applications of Lie groups to differential equations)
Diferensiyel denklemler için simetri metodları (Lie grupların diferansiyel denklemlere uygulanması)
HATİCE AĞAÇARASI
Yüksek Lisans
İngilizce
2006
MatematikDokuz Eylül ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. GONCA ONARGAN
- Tersi alınabilir nokta dönüşümleri ve lineer olmayan diferensiyel denklemler
Invertible point transformations and nonlinear differential equations
SEMA KUTLU
Yüksek Lisans
Türkçe
1999
MatematikEskişehir Osmangazi ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. DURSUN ESER
- Doğrusal integrodiferansiyel denklem sistemlerinin chebyshev sıralama yöntemi ile yaklaşık çözümleri
Approximate solutions of linear systems of integrodifferential equations by the chebyshev collocation method
AYŞEGÜL AKYÜZ DAŞÇIOĞLU
Doktora
Türkçe
2000
MatematikDokuz Eylül ÜniversitesiMatematik Eğitimi Ana Bilim Dalı
PROF. DR. MEHMET SEZER