Tutarlılık teoremleri üzerine
Başlık çevirisi mevcut değil.
- Tez No: 84278
- Danışmanlar: PROF. DR. İHSAN SOLAK
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Tutarlılık teoremleri, Consistency theorems
- Yıl: 1999
- Dil: Türkçe
- Üniversite: İnönü Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET Bu çalışma üç bölümden meydana gelmiştir. Birinci bölüm iki kısımdan ibaret olup, birinci kısımda, sonraki bölümlerde kullanılacak olan temel fonksiyonel analiz kavramları sunulmuştur. İkinci kısımda ise, yine, sonraki bölümler için gerekli olan, toplanabilme teorisinin temel kavram ve notasyonlan verilmiştir. İkinci bölümde; tutarlılık kavramı tanıtılarak, bazı temel limitleme metodlarının tutarlılığı tartışılmıştır. Son bölümde; tutarlılık teorisinde önemli yer tutan, Sınırlı Tutarlılık Teoremi ele alınarak, bu teoremin, iki normlu Banach uzaylarına bir genelleştirilmesi verilmiştir.
Özet (Çeviri)
IV ABSTRACT This study consist of three chapters. The first chapter were investigated in two section. In the first section, fundamental Functional Analytic concepts were given which are to be used in the latter chapters. In the second section, basis concepts and notations of Summability Theory were given which are also to be used in the latter chapters. In the second chapter, The consistency concept were defined, and consistency of ' certain well-known limitation methods were discussed. In the last chapter, The Bounded Consistency Theorem which is very important in Consistency Theory were investigated, and it was generalized in Banach space with two norm.
Benzer Tezler
- Gödel makinelerinde öğrenme sorunu
Learning problem in Gödel machines
ABDULLAH HANZALE KORKMAZ
Yüksek Lisans
Türkçe
2024
Felsefeİstanbul ÜniversitesiSistematik Felsefe ve Mantık Ana Bilim Dalı
PROF. DR. ÖZGÜÇ GÜVEN
- Kurt Gödel'in eksiklik teoremleri ve Platonculuğu üzerine felsefi bir inceleme
A philosophical study on Kurt Gödel's incompleteness theorems and his Platonism
ALİ BİLGE ÖZTÜRK
Yüksek Lisans
Türkçe
2011
FelsefePamukkale ÜniversitesiFelsefe Ana Bilim Dalı
DOÇ. DR. FATİH SULTAN MEHMET ÖZTÜRK
- An enhanced two phase commit protocol for high performance consistency management in replicated state machines
Çoğaltılmış durum makinelerinde yüksek performanslı tutarlılık yönetimi için geliştirilmiş iki fazlı işlem protokolü
HALİT UYANIK
Yüksek Lisans
İngilizce
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. TOLGA OVATMAN
- Çift kutuplu metrik uzaylar ve sabit nokta teoremleri
Bipolar metric spaces and fixed point theorems
UTKU GÜRDAL
- Tutarlı sistemlerin bileşen önem indeksleri
Component index importance of coherent system
ASLI TOY
Yüksek Lisans
Türkçe
2015
İstatistikİnönü ÜniversitesiEkonometri Ana Bilim Dalı
YRD. DOÇ. DR. YUNUS BULUT