Resolution ile rasyonel fonksiyonların sembolik integrali
Synbolic integration of rational functions by resolution
- Tez No: 66100
- Danışmanlar: PROF.DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Rasyonel fonksiyonlar, Rational functions
- Yıl: 1997
- 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ı: Belirtilmemiş.
Ö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
- 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
- Markov random fields and a multiscale implementation of markov random fields on Bayesian image segmentation
Başlık çevirisi yok
UĞUR SIVAKÇI
Yüksek Lisans
İngilizce
1998
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERTUĞRUL ÇELEBİ
- Yapı ürünlerinin seçimi için bir yöntem
Başlık çevirisi yok
NİHAL ARIOĞLU
Doktora
Türkçe
1993
MimarlıkYıldız Teknik ÜniversitesiMimarlık Ana Bilim Dalı
YRD. DOÇ. DR. AYŞE BALANLI
- Türkiye'de konut sorununun çözümü çerçevesinde yapım sistemlerinin irdelenmesi
The Examination of construction systems paralel to the solution of housing problem in Turkey
FERDA MASATLIOĞLU