Yüksek LisansAçık Erişim

Nümerik fonksiyonların değişik kategorilerde gösterimi

2010
0 görüntülenme
0 i̇ndirme
Danışman: Yrd. Doç. Dr. Enver Önder Uslu

Özet (TR)

Bu çalışma üç bölümden oluşmaktadır. İlk bölüm giriş kısmına ayrılmıştır. İkinci bölümde, çalışmamız için gerekli olan temel kavramlar, Kategoriler ve Funktorlar, Üçlüler (Monad veya Triple), Bir Deductive Sistem Anlamında Önermesel Kalkülüs, Kartezyen Kapalı Kategoriler, Typed ?-Kalkülüs ve C- monoidler hatırlatılmıştır. Üçüncü bölümde, Recursive fonksiyonlar bir Nümerik Fonksiyon Olarak incelenmiş ve Dedekind`in bir önermesinin genellemesi yapılarak, Kartezyen Kapalı Kategorilerde Recursive fonksiyonlar gösterilmiştir.

Yazar

Dr. Savaş Tanrıöven

Bu Yayına Nasıl Atıf Yapılır

Savaş Tanrıöven (Yüksek Lisans Tezi). Nümerik fonksiyonların değişik kategorilerde gösterimi, 2010, Afyon Kocatepe University.

Anahtar Kelimeler

Lisans

Tüm Hakları Saklıdır

Bu eser belirtilen lisans koşulları altında paylaşılmaktadır.

Afyon Kocatepe University tezlerinden daha fazlası