Birinci mertebeden doğrusal diferensiyel denklemlere dedaktif yaklaşım
A Deductive approach to first order linear differential equations
- Tez No: 55414
- Danışmanlar: PROF.DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1996
- Dil: Türkçe
- Üniversite: Hacettepe Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 92
Özet
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.
Özet (Çeviri)
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.
Benzer Tezler
- Yüksek mertebeden doğrusal diferensiyel denklemlere dedaktif yaklaşım
A Deductive approach to higher order linear differential equations
ALİ RIZA AŞKUN
Doktora
Türkçe
1999
MatematikHacettepe ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. ŞEREF MİRASYEDİOĞLU
- 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
- Yüksek mertebeden dalga denklem sisteminin çözümlerinin azalması
Decay of solutions for a system of higher-order wave equations
EZGİ HARMAN AY
- Gecikmeli diferensiyel denklemler
Delay differential equations
HURİ ŞENCAN
Yüksek Lisans
Türkçe
2001
MatematikSakarya ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. ÖMER FARUK GÖZÜKIZIL
- 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