Geometrik teoremlerin resolution tekniği ile ispatlanması
- Global styles
- Apa
- Bibtex
- Chicago Fullnote
- Help
Abstract
geometrik teoremlerin resolution tekniği ile ispatlanması (Yüksek Lisans Tezi) Berna ALIBAZOGLU.. _ * _ GAZI ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Ocak 2000 ÖZET Desargues ve Pappus teoremlerinin birinci derece mantık yapısı içerisinde ispatı için uygun bir yöntem araştırılmıştır. Ele alınan yöntem, birinci dereceden mantık yapısı içerisinde tanımlanarak, clauses kümeleri oluşturulmuş, bu kümelerden elde edilen sonuçların doğruluğu resolution tekniğine dayalı olarak verilmiştir. Bilim Kodu : 403.06.00 Anahtar Kelimeler : Mekanik Teorem İspatlama (Resolution Tekniği), Projektif Geometri,Dezarg Teoremi,Pappus Teoremi Sayfa Adedi : 112 Tez Yöneticisi : Prof. Dr. Şeref MİRASYEDİOĞLU MECHANICAL GEOMETRY THEOREM PROVING WITH RESOLUTION PRINCIPLE (M.Sc.Thesis) Berna ALİBAZO?LU GAZI UNIVERSITY INSTITUTE SCIENCE AND TECHNOLOGY January 2000 ABSTRACT The aim of this work is to investigate an appropriate method for the proving of Desargues and Pappus theorems in the first order logic. The correctness of the method which proves Desargues and Pappus theorems by applying the resolution principle to a clauses generated by using Herbrand theorem. Science Code Key Words Page Number Supervisor 403.06.00 Mechanical Theorem Proving (Resolution Principle), Projektive Geometry, Desargues Theorem, Pappus Theorem 112 Prof. Dr. Şeref MÎRASYEDİO?LU %C MEBUS!
Collections