Master'sOpen Access

Recursive functions

1992
0 views
0 downloads
Advisor: Prof. Yavuz Aksoy

Abstract (EN)

Mathematic Lojic was give the biggest support to spread and to use of Recursive Functions. This thesis has prepared as a introduction to Recursive Functions. Therefore, it consists of some relating topics and relations between Recursive Functions and Mathematic Lojic. This thesis contains five chapters: Some basic definitions concerning with the subject placed in the first chapter. In the second chapter, mathematical definition of Recursive Function and some examples are given. It is a well-known fact that there exist of one-one correspondences between the set of natural numbers and the set of ordered pairs of natural numbers. The third chapter show how to set up such a correspondence by Recursive Functions. In the fourth chapter tell about repeated operations and repeated functions which is based of the subject. Furthermore, in this section mentions a certain subclass of the class of Recursive Functions, the so-called Primitive Recursive Functions. Finally, in this section defined recursiveness of sets and predicates in the Modern Logic.

Author

E. Mehmet Özkan

How to Cite

E. Mehmet Özkan (Master Thesis). Recursive functions, 1992, Yıldız Technical University.

Keywords

License

Tüm Hakları Saklıdır

This work is shared under the specified license terms.

More theses from Yıldız Technical University