Geri Dön

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

A Deductive approach to first order linear differential equations

  1. Tez No: 55414
  2. Yazar: TOLGA GÜYER
  3. Danışmanlar: PROF.DR. ŞEREF MİRASYEDİOĞLU
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 1996
  8. Dil: Türkçe
  9. Üniversite: Hacettepe Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. 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

    Türkçe

    1999

    MatematikHacettepe Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. ŞEREF MİRASYEDİOĞLU

  2. 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

    Türkçe

    2021

    MatematikManisa Celal Bayar Üniversitesi

    Matematik Ana Bilim Dalı

    DOÇ. DR. ALİ KONURALP

  3. Yüksek mertebeden dalga denklem sisteminin çözümlerinin azalması

    Decay of solutions for a system of higher-order wave equations

    EZGİ HARMAN AY

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

    MatematikDicle Üniversitesi

    Matematik Ana Bilim Dalı

    DOÇ. DR. ERHAN PİŞKİN

  4. Gecikmeli diferensiyel denklemler

    Delay differential equations

    HURİ ŞENCAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2001

    MatematikSakarya Üniversitesi

    Matematik Ana Bilim Dalı

    YRD. DOÇ. DR. ÖMER FARUK GÖZÜKIZIL

  5. 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

    Türkçe

    2000

    MatematikDokuz Eylül Üniversitesi

    Matematik Eğitimi Ana Bilim Dalı

    PROF. DR. MEHMET SEZER