Represantation of numerical functions in categories
2010
0 views
0 downloads
Advisor: Yrd. Doç. Dr. Enver Önder Uslu
Abstract (EN)
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.
Author
Dr. Savaş Tanrıöven
How to Cite
Savaş Tanrıöven (Master Thesis). Represantation of numerical functions in categories, 2010, Afyon Kocatepe University.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Afyon Kocatepe University
- A study on the applications of viola educators on effective participations of student learning process(2019)
- According to the temettuât notebooks Nevâhî-i Barçin town's social- economic position(2008)
- The services of XVIIIth century Ottoman proconsuls as the Hajj Emirate(2017)
- The comparison of the tollner score with crp and leukocyte count in the diagnosis and follow-up of neonatal sepsis(2011)
- The effect of argumentation-based STEM applications on the academic achievement of primary school students, their argumentation use levels, their attitudes andperceptions towards STEM, and their interest in STEM careers(2023)
- İmamkulu Han's period in the Bukhara Khanate (1611-1641)(2023)