National Repository of Grey Literature 3 records found  Search took 0.02 seconds. 
Machine-Free Characterization of Polynomially Computable Functions
Profeld, Michal ; Švejdar, Vítězslav (advisor) ; Verner, Jonathan (referee)
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with polynomial growth rate. We can say that our structure con- tains all functions that have growth rate slower or equal to polynomial growth rate and no other function. Development of our structure was influenced mostly by work of Samuel R. Buss [1] 1
Machine-Free Characterization of Polynomially Computable Functions
Profeld, Michal ; Švejdar, Vítězslav (advisor) ; Verner, Jonathan (referee)
This thesis focuses on machine-free definition of polynomial functions. The main goal is to not only make the readers familiar with this de- finition, but also to introduce them to the other pivotal terms of this thesis. The other pivotal terms are: basic functions, function composi- tion, recursive schemes a polynomial conditions. Throughout the thesis the readers will be introduced, among other things, to derivation of the most used polynomially bounded functions, like multiplication, addi- tion, or other arithmetic functions. 1
Machine-Free Characterization of Polynomially Computable Functions
Profeld, Michal ; Švejdar, Vítězslav (advisor) ; Verner, Jonathan (referee)
This work is focused into constructing mathematical structure. This structure is closed under it's operations. Structure was developed to contain all functions of certain growth rate. To be More specific functi- ons with polynomial growth rate. We can say that our structure con- tains all functions that have growth rate slower or equal to polynomial growth rate and no other function. Development of our structure was influenced mostly by work of Samuel R. Buss [1] 1

Interested in being notified about new results for this query?
Subscribe to the RSS feed.