İki-değerli ve n-değerli lojikler
Two-valued and n-valued logics
- Tez No: 256950
- Danışmanlar: YRD. DOÇ. DR. TAHSİN ÖNER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Mantık, Logic
- Yıl: 2009
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde genel olarak Klasik Önermesel Lojik ile iki-değerli, üç-değerli ve n-değerli Lukasiewicz Lojikleri arasındaki benzerliklerden ve farklılıklardan bahsedilmektedir. Özellikle üçüncü bir doğruluk değerinin tanımlanması ile oluşan yeni lojiğin özellikleri ispatlanmıştır. Herhangi bir lojiğin tamlığının kardinal derecesinin tanımı ve hesaplanması verilmiştir. Son olarak, n-değerli Lukasiewicz lojiklerinin fonksiyonel özellikleri üzerinde çalışılmıştır.
Özet (Çeviri)
This thesis is mainly mentioned about similarities and differences between propositional logic and two-valued, three-valued and n-valued Lukasiewicz?s Logics. Especially, with a defining of third truth value a new logic is constructed and its properties are proved. Degree of cardinal completeness of an arbitrary logic is defined and is given how to calculate it. At the end, on functional properties of Lukasiewicz?s n-valued logics are studied.
Benzer Tezler
- Lukasiewicz lojiği ve asal sayıların araştırılması
Lukasiewicz logic and investigation of prime numbers
TUĞÇE KATICAN
- İkili yapay sinir ağları için bir öğrenme algritması
A Learning algorithms for binary neural networks
ERSAN ALFAN
Yüksek Lisans
Türkçe
1997
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. UĞUR ÇİLİNGİROĞLU
- Stokastik hesaplamada hata oranlarını azaltmak için yeni yöntemler
New methods for reducing error rates in stochastic computing
SERTER YAVUZ
Yüksek Lisans
Türkçe
2015
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MUSTAFA ALTUN
- 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
- General derivation and a design methodology for interval type-2 fuzzy logic systems
Aralık değerli tip-2 bulanık mantık sistemler için genel çıkarımlar ve bir tasarım yöntemi
MORTAZA ALIASGHARY
Doktora
İngilizce
2013
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. İBRAHİM EKSIN
PROF. DR. MÜJDE GÜZELKAYA