Geri Dön

Geometrik teoremlerin resolution tekniği ile ispatlanması

Mechanical geometry theorem proving with resolution principle

  1. Tez No: 93518
  2. Yazar: BERNA ALİBAZOĞLU
  3. Danışmanlar: PROF. DR. ŞEREF MİRASYEDİOĞLU
  4. Tez Türü: Yüksek Lisans
  5. Konular: Eğitim ve Öğretim, Matematik, Education and Training, Mathematics
  6. 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
  7. Yıl: 2000
  8. Dil: Türkçe
  9. Üniversite: Gazi Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Eğitimi Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. Tez No

    938898

    Genelleştirilmiş metrik uzaylarda tek değerli ve çoğul değerli dönüşümler için bazı sabit nokta ve ortak sabit nokta teoremleri

    Some fixed point and common fixed point theorems for single and multivalued mappings in generalized metric spaces

    NESLİHAN KAPLAN KURU

    Doktora

    Türkçe

    Türkçe

    2025

    MatematikSakarya Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. MAHPEYKER ÖZTÜRK

  2. Tez No

    850040

    Topological string theory and BPS counting

    Topolojik sicim teorisi ve BPS sayımı

    TOLGA DOMURCUKGÜL

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Fizik ve Fizik MühendisliğiBoğaziçi Üniversitesi

    Fizik Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ CAN KOZÇAZ

  3. Tez No

    948787

    RHIC ve LHC'de dev dipol rezonansı eşliğinde elektron-pozitron çifti üretimi

    Electron-positron pair production accompanied by giant dipole resonance at RHIC and LHC

    ATACAN FATİH CANDAR

    Yüksek Lisans

    Türkçe

    Türkçe

    2025

    Fizik ve Fizik Mühendisliğiİstanbul Teknik Üniversitesi

    Fizik Mühendisliği Ana Bilim Dalı

    PROF. DR. MEHMET CEM GÜÇLÜ

  4. Tez No

    39264

    Farklı eksenlerde aynı açısal hız ile dönen gözenekli ve paralel iki düzlem levha arasındaki rivlin-ericksen akışkanının hareketi

    The Flow of a rivlin-ericksen fluid between two parallel, porous planes rotating with the same angular velocity at different

    NECMİ AYDIN ÜNVERDİ

    Doktora

    Türkçe

    Türkçe

    1994

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. HASAN ÖZOKLAV

  5. Tez No

    317918

    Kanal yüzeylerinin geometrik özellikleri

    Geometric properties of canal surfaces

    FATMA BOZKURT

    Yüksek Lisans

    Türkçe

    Türkçe

    2012

    MatematikUşak Üniversitesi

    Matematik Ana Bilim Dalı

    YRD. DOÇ. DR. MURAT KEMAL KARACAN

Geri Dön