Аннотация к книге "Tiered Arithmetic and its Applications. Tiered arithmetic, its functional interpretation and slow growing bounds"
This book is first author's dissertation that is submitted in accordance with the requirements for the degree of Doctor of Philosophy to The University of Leeds, Department of Pure Mathematics in January 2000 under the direction of second author with the title "Tiered Arithmetic, its Functional Interpretation and Slow Growing Bounds". A two-sorted version of Peano Arithmetic is developed, with proof-rules corresponding to the normal/safe recursion schemes of Bellantoni and Cook. Classical...
This book is first author's dissertation that is submitted in accordance with the requirements for the degree of Doctor of Philosophy to The University of Leeds, Department of Pure Mathematics in January 2000 under the direction of second author with the title "Tiered Arithmetic, its Functional Interpretation and Slow Growing Bounds". A two-sorted version of Peano Arithmetic is developed, with proof-rules corresponding to the normal/safe recursion schemes of Bellantoni and Cook. Classical methods of proof theory still apply, but now the provably recursive functions are brought down to more computationally realistic levels than in the single-sorted case, since the bounding functions turn out to be "slow growing" rather than "fast growing". Result very similar to earlier ones of Leivant are obtained characterizing Grzegorczyk’s classes (in the existential fragment) and (in the full theory).
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Учебное пособие соответствует требованиям действующего ФГОС и программе по специальности «Стоматология». Пособие состоит из трех частей, включающих тесты и ситуационные задачи. Материал представлен в виде текстового и визуализированного контента, посвященного всем разделам стоматологии — терапевтической, хирургической, ортопедической, а также детской стоматологии и челюстно-лицевой хирургии. ...
Издательство:
ГЭОТАР-Медиа
Дата выхода: январь 2018
Книга «Мишка, мишка, искупайся!» в интересной форме рассказывает о том, как важно и просто соблюдать правила личной гигиены. Маленький Пауль очень любит купаться и играть в ванной, а вот мыть голову ему совсем не нравится! Но мама всегда знает, как помочь малышу справиться со всеми неудобствами, ведь быть чистым и опрятным так здорово! Вместе с главным героем книги «Мишка, мишка, искупайся!» ваш ребенок не...
Оставить комментарий