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

Thumbnail Image

Organizational Units

Authors

Authors

Doğanyılmaz, Nesrin

Advisor

Ünlü, Fevzi

Language

Publisher:

Uludağ Üniversitesi

Journal Title

Journal ISSN

Volume Title

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.

Description

Source:

Keywords:

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ü.

Endorsement

Review

Supplemented By

Referenced By

2

Views

0

Downloads