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: Belirtilmemiş.
- 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ı: 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
- 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
2013
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. CEVAT ERDEM İMRAK
- 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
- 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
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
- 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
2010
Jeodezi ve Fotogrametriİstanbul Teknik Üniversitesiİletişim Bilimleri Ana Bilim Dalı
PROF. DR. NEBİYE MUSAOĞLU
- 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