Cebirsel yapılar ve önermeler lojiği arasındaki bağlantı
The relationship between propositional logic and algebraic structures
- Tez No: 252640
- Danışmanlar: YRD. DOÇ. DR. TAHSİN ÖNER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- 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ı: 92
Özet
Bu tez temel olarak cebirsel yapılar ve önermeler lojiği arasındaki bağlantı ile ilgilidir. Grupların, halkaların, cebirlerin, R-modüllerin ve kafeslerin tanımları verilmiş ve önermeler lojiği ile arasında bağlantı kurulmuştur. Özellikle kafes teorisi ve cebirler üzerinde durulmuştur. Bunun yanısıra bazı sonlu teorilerin kardinalleri üzerinde çalışılmıştır.
Özet (Çeviri)
This thesis is mainly concerned with the relationship between algebraic structures and propotisional logic. Basic definitions of groups, ring, lattices, algebras and R-modules are presented and the relationship between they and propositional logic are established. Specially lattice theory and algebras are emphasized. In additional to , the cardinalty of some finite theories are studied.
Benzer Tezler
- Yeni tip genişletilmiş esnek küme işlemleri: Tümleyenli genişletilmiş fark ve lamda işlemi
New type of extended operations of soft sets: Complementary extended difference and lamda operation
EMRE AKBULUT
- Bulanık ölçüm teorisi üzerinde tanımlı olan bazı bulanık integraller
Some fuzzy integrals that defined on the fuzzy measure theory
VAKKAS ULUÇAY
Yüksek Lisans
Türkçe
2010
MatematikGaziantep ÜniversitesiMatematik Ana Bilim Dalı
YRD. DOÇ. DR. MEHMET ŞAHİN
- Yeni tip genişletilmiş esnek küme işlemleri: Tümleyenli genişletilmiş kesişim, gamma ve yıldız işlemi
New type of extended operations of soft sets: Complementary extended intersection, gamma and star operation
MURAT SARIALİOĞLU
- Yeni tip genişletilmiş esnek küme işlemleri: Tümleyenli genişletilmiş birleşim, artı ve teta işlemi
New type of extended operations of soft sets: Complementary extended union, plus and theta operation
AHMET MÜCAHİT DEMİRCİ