Geri Dön

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

Represantation of numerical functions in categories

  1. Tez No: 259524
  2. Yazar: SAVAŞ TANRIÖVEN
  3. Danışmanlar: YRD. DOÇ. DR. ENVER ÖNDER USLU
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2010
  8. Dil: Türkçe
  9. Üniversite: Afyon Kocatepe Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. Fizikokimyada mathematica® uygulamaları

    Applications of mathematica® in physical chemistry

    BERNA TOLUK

    Yüksek Lisans

    Türkçe

    Türkçe

    2009

    KimyaSakarya Üniversitesi

    Kimya Ana Bilim Dalı

    PROF. DR. OSMAN TUTKUN

  2. Dynamic analysis of a circular cylindrical shell subjected to shock loading

    Başlık çevirisi yok

    HASAN KURTARAN

    Yüksek Lisans

    İngilizce

    İngilizce

    1995

    Uçak Mühendisliğiİstanbul Teknik Üniversitesi

    DOÇ.DR. ZAHİT MECİTOĞLU

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

    İngilizce

    2018

    Fizik ve Fizik Mühendisliğiİstanbul Teknik Üniversitesi

    Fizik Mühendisliği Ana Bilim Dalı

    PROF. DR. NEŞE ÖZDEMİR

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

    Doktora

    İngilizce

    İngilizce

    1995

    Astronomi ve Uzay Bilimleriİstanbul Teknik Üniversitesi

    PROF.DR. UMUR DAYBELGE