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: Diferensiyel denklemler, Doğrusal denklemler, Differential equations, Linear equations
- 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ı: Belirtilmemiş.
Ö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
- 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
- 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
- Chebyshev polynomial solution of linear differential and integral equations
Başlık çevirisi yok
MEHMET KAYNAK
Yüksek Lisans
İngilizce
1994
MatematikDokuz Eylül ÜniversitesiMatematik Eğitimi Ana Bilim Dalı
DOÇ. DR. MEHMET SEZER
- 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