Geri Dön

Solving equations in universe of hypersets

Hiperkümeler evreninde denklem çözme

  1. Tez No: 29222
  2. Yazar: MÜJDAT PAKKAN
  3. Danışmanlar: DOÇ. DR. VAROL AKMAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Küme Kuramı, ZFC, İyi-yapılanmamış Kümeler, Hiperkü me Kuramı (ZFC~/AFA), Denklem Çözme, Çözüm Teoremi, Bilgisayar programları, Denklemler, Çözüm teknikleri, Set Theory, ZFC, Non-well-founded Sets, Hyperset Theory (ZFC~/AFA), Solving Equations, The Solution Lemma IV, Computer programs, Equations, Solving techniques
  7. Yıl: 1993
  8. Dil: İngilizce
  9. Üniversite: İhsan Doğramacı Bilkent Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

ÖZET HİPERKÜMELER EVRENİNDE DENKLEM ÇÖZME Müjdat Pakkan Bilgisayar ve Enformatik Mühendisliği, Yüksek Lisans Danışman: Doç. Dr. Varol Akman Şubat 1993 Peter Aczel'in (ZFC~/AFA diye de bilinen) Hiperküme Kuramı, klasik ZFC küme kuramının zenginleştirilmesiyle ortaya çıkmış ve kümeleri göstermek için çizgeler kullanan bir kuramdır. İyi-yapılanmamış kümeleri de içeren bu ku ram döngüsel birçok kavramın modellenmesi için uygun bir ortam yaratır. ZFC~/AFA kuramının Çözüm Teoremi olarak adlandırılan ve hiperkümeler evrenindeki denklem dizgelerinin çözülebilmesini sağlayan bir sonucu vardır. Bu teorem, hiperkümeler evreninde tanımlanmış bir denklem sisteminin tek bir çözümü olduğunu söyler, ve yapay zeka, veritabanı kuramı ve durum kuramı gibi alanlarda uygulama bulur. Bu tezde, Çözüm Teoremi 'nin uygulanabileceği türde denklem dizgelerini çözebilen ve çözümleri çizgeler şeklinde gösterebilen HYPERS OLVER adlı bir program tanıtılmaktadır.

Özet (Çeviri)

ABSTRACT SOLVING EQUATIONS IN THE UNIVERSE OF HYPERSETS Müjdat Pakkan M.S. in Computer Engineering and Information Science Advisor: Assoc. Prof. Varol Akman February, 1993 Hyperset Theory (a.k.a. ZFC~/AFA) of Peter Aczel is an enrichment of the classical ZFC set theory and uses a graphical representation for sets. By al lowing non-well-founded sets, the theory provides an appropriate framework for modeling various phenomena involving circularity. ZFC~/AFA has an im portant consequence that guarantees a solution to a set of equations in the universe of hypersets, viz. the Solution Lemma. This lemma asserts that a system of equations defined in the universe of hypersets has a unique solution, and has applications in areas like artificial intelligence, database theory, and situation theory. In this thesis, a program called HYPERSOLVER, which can solve systems of equations to which the Solution Lemma is applicable and which has built-in procedures to display the graphs depicting the solutions, is presented.

Benzer Tezler

  1. Tez No

    654774

    Investigating of early universe through equation of state of quark gluon plasma

    işbirlikçi gri yöneylem araştırma oyunları

    HAMID FARHAN ASHOUR ALZAKI

    Doktora

    İngilizce

    İngilizce

    2020

    Fizik ve Fizik MühendisliğiSüleyman Demirel Üniversitesi

    Fizik Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ GABER FAISAL

  2. Tez No

    620547

    Yardımcı denklem metodunu kullanarak lineer olmayan kısmi diferansiyel denklemlerin analitik çözümlerini bulma üzerine

    On finding the analytical solutions of nonlinear partial differential equations using the auxiliary equation method

    BÜŞRA BÜYÜKDERE

    Yüksek Lisans

    Türkçe

    Türkçe

    2020

    MatematikEge Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. FADİME DAL

  3. Tez No

    984564

    Alternatif yerçekimi kuramlarında kozmolojik çözümler

    Cosmological solutions in alternative theories of gravity

    FURKAN ŞAKİR DİLSİZ

    Doktora

    Türkçe

    Türkçe

    2026

    Fizik ve Fizik MühendisliğiMimar Sinan Güzel Sanatlar Üniversitesi

    Fizik Ana Bilim Dalı

    PROF. DR. CEMSİNAN DELİDUMAN

  4. Tez No

    962809

    Sonlu hacimler yöntemi ile nötron difüzyon çözücüsü geliştirilmesi

    Development of a neutron diffusion solver using the finite volume method

    MUHAMMED MUSTAFA BİRCAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2025

    Nükleer MühendislikSinop Üniversitesi

    Nükleer Enerji Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ALİ TİFTİKÇİ

    DOÇ. DR. SENEM ŞENTÜRK LÜLE

  5. Tez No

    397972

    Scalar field potentials in cosmology

    Kozmolojide skaler alan potensiyelleri

    FATMA KUZEY EDEŞ HUYAL

    Yüksek Lisans

    İngilizce

    İngilizce

    2015

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

    Fizik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ABDURRAHMAN SAVAŞ ARAPOĞLU

Geri Dön