Geri Dön

Mechanical theorem proving in classical geometry

Başlık çevirisi mevcut değil.

  1. Tez No: 2920
  2. Yazar: FERRUH DUYGULUER
  3. Danışmanlar: DOÇ. DR. MÜREN GÖKERİ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Kuram kanıtlama, bilgisayarla kuramların kanıtlanması.tümevarım, tümdengelim, Prolog. iv
  7. Yıl: 1987
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 173

Özet

ÖZET DÜZLEM GEOMETRİ KURAMLARININ BİLGİSAYARLA KANITLANMASI DUYGULUER, Fer ruh Yüksek Lisans Tezi, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi : Doç. Dr. Müren Gökeri Orta Doğu Teknik Üniversitesi Aralık 1987, 160 sayfa Bu tez düzlem geometrinin bir alt kümesinde çalışan bir yazılımı anlatmaktadır. Yazılımda tümevarım ve tümdengelim yöntemleri kullanılmakta ve tümdengelim yönteminden daha etkin olarak yararlanılmaktadır. Bu yöntem, kuramı daha basit parçalara ayırarak çözüme gitme temeline dayanmaktadır. Bu parçalar aksiyomlar yada daha önce kanıtlanmış kuramlardır. Tümevarım yöntemi ise, varsayımlardan yola çıkarak yeni iddialar üretmekte kullanılmaktadır. Bunların yanısıra, tezde bilgisayarla kuramların kanıtlanmasına ilişkin kavramlar ve tarihsel gelişmeler de sunulmaktadır. Yazılım 1MB PC üzerinde Prolog dili kullanılarak geliştirilmiştir.

Özet (Çeviri)

ABSTRACT MECHANICAL THEOREM PROVING IN CLASSICAL GEOMETRY DUYGULUER, Ferruh M.S. in Computer Engineering Middle East Technical University Supervisor: Assoc. Prof. Dr. Muren Gokeri December 1987, 160 Pages This thesis describes a software which operates on a subset of plane geometry. The program employs a combination of forward and backward inference mechanisms with backward component playing a more important role. The backward mechanism splits a theorem into more easily proved parts. These are axioms or previously proved theorems. Forward mechanism is used to generate new assertions from hypotheses, in order to reduce the search time of backward component. In addition to these, the thesis covers the theory and the historical background of the mechanical theorem proving. The software was developed on an IBM PC. Key words : Theorem proving, mechanical theorem proving, forward and backward inference, Prolog. iii

Benzer Tezler

  1. Quasimorphisms on symplectic manifolds

    Simplektik manifoldlar üzerinde kuazimorfizmalar

    BARAN CEM ZURNACI

    Yüksek Lisans

    İngilizce

    İngilizce

    2012

    Matematikİstanbul Teknik Üniversitesi

    Matematik Mühendisliği Ana Bilim Dalı

    DR. ALİ SAİT DEMİR

  2. Yapay sinir ağları işletme alanında uygulanması ve bir örnek çalışma

    Başlık çevirisi yok

    SEVİNÇ GÜLSEÇEN

    Doktora

    Türkçe

    Türkçe

    1993

    İşletmeİstanbul Üniversitesi

    Sayısal Yöntemler Ana Bilim Dalı

    PROF. DR. ÖNER ESEN

  3. Geometrik teoremlerin resolution tekniği ile ispatlanması

    Mechanical geometry theorem proving with resolution principle

    BERNA ALİBAZOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    2000

    Eğitim ve ÖğretimGazi Üniversitesi

    Matematik Eğitimi Ana Bilim Dalı

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

  4. Mathematics behind planimeters

    Başlık çevirisi yok

    OSMAN YARDIMCI

    Yüksek Lisans

    İngilizce

    İngilizce

    2013

    MatematikAuburn University

    Dr. ANDRAS BEZDEK

  5. Schröndinger denkleminin çeşitli potansiyellerle ve değişik matematiksel yöntemlerle çözümleri

    Solution of Schrodinger equation for various potentials using different mathematical methods

    NURDAN PAR

    Yüksek Lisans

    Türkçe

    Türkçe

    1994

    Fizik ve Fizik MühendisliğiAnkara Üniversitesi

    Fizik Mühendisliği Ana Bilim Dalı

    Y.DOÇ.DR. FATMA ERDOĞAN