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: Belirtilmemiş.
- 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ı: 81
Ö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
- 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
- Yüksek mertebeden dalga denklem sisteminin çözümlerinin azalması
Decay of solutions for a system of higher-order wave equations
EZGİ HARMAN AY
- Freud polinomlarına dayalı matris metodu ile diferansiyel denklemleri çözümleri üzerine
On solution of differential equations by matrix method based on Freud polynomials
GİZEM HAYTA
Yüksek Lisans
Türkçe
2021
MatematikManisa Celal Bayar ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. ALİ KONURALP
- 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