Yayın: λ- Algoritmik çiftler cebiri ve onunla bilgi işleme
| dc.contributor.advisor | Ünlü, Fevzi | |
| dc.contributor.author | Doğanyılmaz, Nesrin | |
| dc.contributor.department | Fen Bilimleri Enstitüsü | |
| dc.contributor.department | Matematik Ana Bilim Dalı | |
| dc.date.accessioned | 2020-03-02T07:09:52Z | |
| dc.date.available | 2020-03-02T07:09:52Z | |
| dc.date.issued | 1989-11-24 | |
| dc.description.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. | |
| dc.description.abstract | 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. | |
| dc.format.extent | IV, 68 sayfa | |
| dc.identifier.citation | Doğanyılmaz, N. (1989). λ- Algoritmik çiftler cebiri ve onunla bilgi işleme. Yayınlanmamış doktora tezi. Uludağ Üniversitesi Fen Bilimleri Enstitüsü. | |
| dc.identifier.uri | http://hdl.handle.net/11452/9585 | |
| dc.language.iso | tr | |
| dc.publisher | Uludağ Üniversitesi | |
| dc.relation.publicationcategory | Tez | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.subject | Matematik | |
| dc.subject | Mathematics | |
| dc.title | λ- Algoritmik çiftler cebiri ve onunla bilgi işleme | |
| dc.title.alternative | λ- Algorithmic couples algebra and information processing with it | |
| dc.type | doctoralThesis | |
| dspace.entity.type | Publication | |
| local.contributor.department | Fen Bilimleri Enstitüsü/Matematik Ana Bilim Dalı |
