Tezin Türü: Yüksek Lisans
Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Edebiyat Fakültesi, Matematik Bölümü, Türkiye
Tezin Onay Tarihi: 2002
Tezin Dili: İngilizce
Öğrenci: Raşit Hasan Keler
Danışman: SÜLEYMAN ÖNAL
Özet:oz ZORLAMA YÖNTEMİ VE OYUN-KAPALI BOOLE CEBİRLERİ RAŞİT HASAN KELER Yüksek Lisans, Matematik Bölümü Tez Yöneticisi: Doç. Dr. Süleyman ÖNAL Eylül 2002, 107 sayfa. Zorlama yöntemi kümeler kuramının temel araçlarından biridir. Hem kü meler kuramında hem de matematiğin diğer alanlarında uygulamaları bulun maktadır. Bu tezde ilk olarak zorlama yöntemini sunacağız ve çeşitli örneklerini vereceğiz. Daha sonra oyun-kapah Boole cebirlerini tanıtacağız. Bu cebirlerin kuramını vereceğiz ve oyun-kapalılık özelliğini dağılma ve kapalılık özellikleriyle karşılaş tıracağız. Son olarak bu konudaki iki açık problemi ele alacağız ve bu problem lerle ilgili olan [JS96]'daki zorlama yöntemi ile tutarlılık ispatım vereceğiz. Anahtar kelimeler: Kümeler kuramı, zorlama yöntemi, Boole cebirleri, oyun- kapah Boole cebirleri. iv