λ- Algoritmik çiftler cebiri ve onunla bilgi işleme

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.