λ- Algoritmik çiftler cebiri ve onunla bilgi işleme
Loading...
Files
Date
1989-11-24
Authors
Doğanyılmaz, Nesrin
Journal Title
Journal ISSN
Volume Title
Publisher
Uludağ Üniversitesi
Abstract
Çalışmamızda, λ- teorisinin içeriğinde Boolean Cebirinde geçerli operatörlerin fonksiyon görevleri için algoritmik bir hesaplama yöntemi geliştirilmiştir. Ayrıca tüm doğruluk ve tüm yanlışlık operatörlerinin λ- teorisinde yeni bir tanımı yapılarak; daha önceden bilinen operatörler aracılığıyla grup izomorfizması, grup homomorfizması, halka homomorfizmasının türetimi gerçekleştirilmiştir.
We develope an algorithmic calculation method in the λ- theory content, for the functional duties of the operators, valid in Boolean algebra. We also derive the group isomorphism and homomorphism and the ring homomorphism by redefining the toutology and contradiction operators in the λ- theory, using the well-known operators.
We develope an algorithmic calculation method in the λ- theory content, for the functional duties of the operators, valid in Boolean algebra. We also derive the group isomorphism and homomorphism and the ring homomorphism by redefining the toutology and contradiction operators in the λ- theory, using the well-known operators.
Description
Keywords
Matematik, Mathematics
Citation
Doğanyılmaz, N. (1989). λ- Algoritmik çiftler cebiri ve onunla bilgi işleme. Yayınlanmamış doktora tezi. Uludağ Üniversitesi Fen Bilimleri Enstitüsü.