Autometed geometry theorem proving
Otomatik geometri teorem ispatlama
- Tez No: 29933
- Danışmanlar: YRD. DOÇ. DR. GÖKTÜRK ÜÇOLUK
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Otomatik Teorem İspatlama, Geometri, Problem İndirgeme, Prolog, Otomatik geometri, Teorem ispatlama, Automated Theorem Proving, Geometry, Problem Reduction, Prolog. Science, Automatic geometry, Prolog, Theorem proving
- Yıl: 1993
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- Automated geometry theorem proving
Otomatik geometrik teorem ispatlama
İBRAHİM ESER
Yüksek Lisans
İngilizce
2011
MatematikAbant İzzet Baysal ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. EROL YILMAZ
- CMMcihazındaki verilerden makine öğrenmesi ile parça kontrolü
Part control with machine learning from data on CMM device
ZEYNEP BİRGİN
Yüksek Lisans
Türkçe
2024
Metalurji MühendisliğiSakarya ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
DOÇ. DR. NURAY CANİKOĞLU
- Uydu görüntülerinden yarı otomatik kıyı çıkarımı ve fraktalların başarım değerlendirici olarak kullanılması
Semi-automated shoreline extraction in satellite imagery and usage of fractals as performance evaluator
SİNAN ONUR ALTINUÇ
Yüksek Lisans
Türkçe
2013
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolHacettepe ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. EBRU SEZER
- 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
2018
İnşaat MühendisliğiAnadolu Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ KIVANÇ TAŞKIN
- 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
2019
İnşaat MühendisliğiOrta Doğu Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET TÜRER