Geri Dön

Resolution ile rasyonel fonksiyonların sembolik integrali

Synbolic integration of rational functions by resolution

  1. Tez No: 66100
  2. Yazar: ONUR KIYMAZ
  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: 1997
  8. Dil: Türkçe
  9. Üniversite: Hacettepe Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 66

Özet

Q ve P polinom fonksiyonları olmak üzere, Q / P biçimindeki rasyonel fonksiyonların integrallerinin sembolik çözümlerine, birinci dereceden mantık yapısı içinde ulaşmak için uygun yöntem araştırılmıştır. Ele alman yöntem, birinci dereceden mantık yapısı içerisinde tanımlanarak clause kümeleri oluşturulmuş, bu kümelerden resolution ilkesi ile sonuç üretilmiştir. Bulunan sonuçların doğruluğu geliştirilen önteorem ve teoremlerle verilmiştir.

Özet (Çeviri)

The aim of this work is to investigate a deductive approach for symbolic integration of rational functions with the form Q / P, where P and Q are polynomial functions in the context of first order logic. The correctness of the deductive approach which obtains symbolic solutions by applying the resolution principle to a clause generated by using Herbrand Theorem and the rule of integration of rational functions has been established in a Lemma and theorem.

Benzer Tezler

  1. Komple ray bağlantı sisteminin deneysel gerilme analizi

    Experimental stress analysis of complete rail fastening systems

    SÜHAN ATAY

    Yüksek Lisans

    Türkçe

    Türkçe

    2013

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. CEVAT ERDEM İMRAK

  2. Türkiye'de yatırım fonları ve yatırım ortaklıklarının işleyişi

    Functions of mutal funds and investment trust in Turkey

    ŞAHİKA MERGAN

    Yüksek Lisans

    Türkçe

    Türkçe

    1997

    EkonomiCumhuriyet Üniversitesi

    İktisat Ana Bilim Dalı

    DOÇ. DR. ADEM ESEN

  3. Bulanık çok modlu kaynak kısıtlı proje çizelgeleme problemlerinin çözümü için matematiksel bir model

    A mathematical model for the solution of the fuzzy multi mode resource-constrained project scheduling problems

    ÖMER ATLI

    Doktora

    Türkçe

    Türkçe

    2012

    Endüstri ve Endüstri MühendisliğiHava Harp Okulu Komutanlığı

    Endüstri Mühendisliği Ana Bilim Dalı

    PROF. DR. CENGİZ KAHRAMAN

  4. Radarsat-2 ultrafine modundan üretilen sayısal yükseklik modellerinin doğruluklarının değerlendirilmesi

    Accuracy assessment of radargrammetric dems derived from radarsat-2 ultrafine mode

    MUHAMMED ALİ DEMİR

    Yüksek Lisans

    Türkçe

    Türkçe

    2010

    Jeodezi ve Fotogrametriİstanbul Teknik Üniversitesi

    İletişim Bilimleri Ana Bilim Dalı

    PROF. DR. NEBİYE MUSAOĞLU

  5. Yüksek teknoloji yeniliği olarak akıllı telefonların genç tüketiciler tarafından benimsenmesinde etkili olan faktörler

    Factors that affect young consumers? adoption of smart phones as a high-tech innovation

    FATMA ZEYNEP ÖZATA

    Doktora

    Türkçe

    Türkçe

    2009

    İşletmeAnadolu Üniversitesi

    İşletme Bölümü

    PROF. DR. YAVUZ ODABAŞI