Nümerik fonksiyonların değişik kategorilerde gösterimi
Represantation of numerical functions in categories
- Tez No: 259524
- Danışmanlar: YRD. DOÇ. DR. ENVER ÖNDER USLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: Türkçe
- Üniversite: Afyon Kocatepe Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 71
Özet
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.
Özet (Çeviri)
This thesis consists of three chapters. In the first chapter is devoted to the introduction section. In the second chapter, some required preparatory notions, Categories and Funktors, Monads or Triples, Propositional Calculus as a deductive system, Cartesian Closed Categories, Typed ?-Calculus and C- monoids are recalled. In the third chapter, Recursive Functions are investigated as Numerical Functions. A Dedekind`s proposition was generalized and Recursive Functions were represented in Cartesian Closed Categories.
Benzer Tezler
- Ötelenen ve dönen geçirgen yüzeyli eksenel simetrik bir cisimden daimi olmayan rejimde cebri konveksiyonla ısı transferi
Başlık çevirisi yok
KAMİL KAHVECİ
- Fizikokimyada mathematica® uygulamaları
Applications of mathematica® in physical chemistry
BERNA TOLUK
- Dynamic analysis of a circular cylindrical shell subjected to shock loading
Başlık çevirisi yok
HASAN KURTARAN
- Greybody factor for rotating linear dilaton black holes
Dönen lineer dilaton kara deliklerde gri cisim faktörünün hesaplanması
AYCAN ALPTEKİN
Yüksek Lisans
İngilizce
2018
Fizik ve Fizik Mühendisliğiİstanbul Teknik ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
PROF. DR. NEŞE ÖZDEMİR
- The Attidude stability of a rigid satellite in a circular orbit
Dairesel yörüngedeki rigit bir uydunun yönelme kararlılığı
MEHMET TEMEL AYGÜN
