Geometrik teoremlerin resolution tekniği ile ispatlanması
Mechanical geometry theorem proving with resolution principle
- Tez No: 93518
- Danışmanlar: PROF. DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Eğitim ve Öğretim, Matematik, Education and Training, Mathematics
- Anahtar Kelimeler: Mekanik Teorem İspatlama (Resolution Tekniği), Projektif Geometri, Dezarg Teoremi, Pappus Teoremi, Clauses kümeleri, Geometrik teoremler, Clauses sets, Desargues theorem, Geometric theorems, Pappus theorem
- Yıl: 2000
- Dil: Türkçe
- Üniversite: Gazi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Eğitimi Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
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
Özet (Çeviri)
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!
Benzer Tezler
- Gemi etrafındaki sınır tabakanın incelenmesi
A Study on the boundary layer surrocnding ship hulls
BARIŞ BARLAS
- Matematiksel dizayn teorisi üzerine
On the mathematical desing theory
AYŞEGÜL DEMİRTOLA
Yüksek Lisans
Türkçe
2000
MatematikUludağ ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. BASRİ ÇELİK
- Geometriye ait bazı teoremlerin mekanik açıdan ispatları
On the proofs of some of the theorems in geometry from the mechanical point of view
İBRAHİM HAKKI ÇUBUKCU
Yüksek Lisans
Türkçe
1990
MatematikGazi ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. BÜLENT KARAKAŞ
- Konveks ve yıldızıl yalınkat fonksiyonlar
Convex and starlike univalent functions
ASLIHAN ŞAŞMAZ
Yüksek Lisans
Türkçe
2000
MatematikUludağ ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. METİN ÖZTÜRK