Represantation of numerical functions in categories
Is this your thesis?
This record came from a bulk archive import. If it’s yours, link it to your profile.
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
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)
- SURFACE ACCURACY MEASUREMENTS OF A FOLDABLE COMPOSITE REFLECTOR(2012)
- İmamkulu Han's period in the Bukhara Khanate (1611-1641)(2023)
- A phenomenological research on the social suicide phenomenon from Byung-Chul Han's performance subject(2025)
- An examination of the life and performance style of Mevlidhan Bilal Demiryürek(2025)