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: Belirtilmemiş.
- 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ı: 122
Ö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 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
Ö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
- Topological string theory and BPS counting
Topolojik sicim teorisi ve BPS sayımı
TOLGA DOMURCUKGÜL
Yüksek Lisans
İngilizce
2023
Fizik ve Fizik MühendisliğiBoğaziçi ÜniversitesiFizik Ana Bilim Dalı
DR. ÖĞR. ÜYESİ CAN KOZÇAZ
- Kanal yüzeylerinin geometrik özellikleri
Geometric properties of canal surfaces
FATMA BOZKURT
Yüksek Lisans
Türkçe
2012
MatematikUşak ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. MURAT KEMAL KARACAN
- Hesaplamalı cebirsel geometride algoritmalar
Algorithms on computational algebraic geometry
FARUK AYTEKİN
Yüksek Lisans
Türkçe
2011
MatematikGaziantep ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. NECATİ OLGUN
- Eliptik kuaterniyon matrislerinin tekil değer ayrışımı ve onların görüntü işlemedeki uygulamaları
Singular value decomposition of elliptic quaternion matrices and their applications in image processing
BEYZA ÇELİK
Yüksek Lisans
Türkçe
2023
MatematikSakarya ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. HİDAYET HÜDA KÖSAL