Geri Dön

Autometed geometry theorem proving

Otomatik geometri teorem ispatlama

  1. Tez No: 29933
  2. Yazar: DENİZ EDE
  3. Danışmanlar: YRD. DOÇ. DR. GÖKTÜRK ÜÇOLUK
  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: Otomatik Teorem İspatlama, Geometri, Problem İndirgeme, Prolog, Automated Theorem Proving, Geometry, Problem Reduction, Prolog. Science
  7. Yıl: 1993
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 130

Özet

ÖZ OTOMATİK GEOMETRİ TEOREM İSPATLAMA EDE DENİZ Yüksek Lisans Tezi, Bilgisayar Mühendisliği Anabilim Dalı Tez Yöneticisi: Yrd. Doç. Dr. Göktürk Üçoluk Ocak, 1993, 120 Sayfa Bu tezde otomatik teorem ispatlama teknikleri, özellikle geometri alanında, çalışıldı. Prolog kullanılarak teoremleri düzlem geometrisinin bir bölümünde ispatlayan bir program tasarlanmış ve uygulanmıştır. îspatlayıcı program. olan“îspatçı”nın asıl ispat mekanizması“Problem İndirgeme”dir. Bazı lise geometri teoremleri bu program ile kısa bir sürede ispatlanmıştır. îspatçıdan en iyi verimi alabilmek için bilgisayar hafızasının önemi tartışıldı ve bu problemi çözmek için bazı önerilerde bulunuldu.

Özet (Çeviri)

ABSTRACT AUTOMATED GEOMETRY THEOREM PROVING EDE, Deniz M.S. in Computer Engineering Supervisor : Assist. Prof. Dr. Gokturk Ucoluk January, 1993, 120 pages In this study, the techniques in automated theorem proving, particularly in geometry, were studied. A program has been designed and implemented that proves theorems in a part of plane geometry using Prolog. Main proof mechanism of the prover is“Problem Reduction”. A number of high school geometry theorems have been proved in a short amount of time by the prover. The importance of computer memory for the efficiency of prover has been discussed and to overcome this problem some suggestions have been made.

Benzer Tezler

  1. Tez No

    285305

    Automated geometry theorem proving

    Otomatik geometrik teorem ispatlama

    İBRAHİM ESER

    Yüksek Lisans

    İngilizce

    İngilizce

    2011

    MatematikAbant İzzet Baysal Üniversitesi

    Matematik Ana Bilim Dalı

    YRD. DOÇ. DR. EROL YILMAZ

  2. Tez No

    535579

    Automated topology design of high-rise buildings by genetic algorithm optimization and SAP2000 OAPI codes

    Yüksek binalarda genetik algoritma optimizasyonu ve SAP2000 OAPI kodlarıyla şekil tasarım otomasyonu

    TALHA ORHAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2018

    İnşaat MühendisliğiAnadolu Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ KIVANÇ TAŞKIN

  3. Tez No

    538354

    Automated 3D solid fem generator of complex structures using laser scan data

    Lazer tarama verileri kullanarak otomatik üç boyutlu katı sonlu elemanlar modeli oluşturma

    MAHA O. M. SHAREI

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    İnşaat MühendisliğiOrta Doğu Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    PROF. DR. AHMET TÜRER

  4. Tez No

    675426

    Automated liver tumor segmentation and classification using AI and fully convolutional neural network (CNN)

    Başlık çevirisi yok

    IDREES AHMED DHAHIR DHAHIR

    Yüksek Lisans

    İngilizce

    İngilizce

    2021

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAltınbaş Üniversitesi

    Bilişim Teknolojileri Ana Bilim Dalı

    DOÇ. DR. YASA EKŞİOĞLU ÖZOK

    DOÇ. DR. ADİL DENİZ DURU

  5. Tez No

    297871

    Non-rigid registration-based data-driven 3D facial action unit detection

    Üç boyutlu yüzlerde esnek kayıtlamaya dayalı veri-güdümlü eylem birimi saptama

    ARMAN SAVRAN

    Doktora

    İngilizce

    İngilizce

    2011

    Elektrik ve Elektronik MühendisliğiBoğaziçi Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    PROF. DR. BÜLENT SANKUR

Geri Dön