Recursion Theory Revisited Год выпуска: 2012Автор: Eustrat ZhupaИздательство: LAP Lambert Academic PublishingСтраниц: 204ISBN: 9783848408795Описание Most classic results in logic and recursivity use number theoretic algorithms. Coding non-trivial algorithm by means of additions and multiplications may become ridiculously cumbrous. Understanding logic and recursion may be significantly improved by rewriting the algorithms implied by their constructive proofs in languages "playing" with a data-type more sophisticated than mere "int" or "string". In the book readers will find definition and use for a new model of TM, called "list TM", which is based on the data-type their name suggests.
Похожие книги
Michael Beer, Nitin Nohria, Resolving the Tension between Theory E, O of Change By Michael Beer, Nitin Nohria. Breaking the Code of Change. – М.: , 0. – 0 с. Michael D. McGinnis, Bloomington Workshop in Political Theory and polic Indiana University. Polycentric Governance and Development: Readings from the Workshop in Political Theory and Policy Analysis (Institutional Analysis). – М.: , 0. – 0 с. Michael D. McGinnis, Bloomington Workshop in Political Theory and polic Indiana University. Polycentricity and Local Public Economies: Readings from the Workshop in Political Theory and Policy Analysis (Institutional Analysis). – М.: , 0. – 0 с. Robin Lapthorn Marris, Robin Lapthorn Economic Theory of Managerial Capitalism Marris. Managerial Capitalism in Retrospect. – М.: , 0. – 0 с. International Symposium in Economic Theory and Econometrics 1996 univ, Carl Chiarella, Steve Keen, Robert Marks, Hermann Schnabl. Commerce, Complexity, and Evolution: Topics in Economics, Finance, Marketing, and Management : Proceedings of the Twelfth International Symposium in E ... Symposia in Economic Theory and Econometrics). – М.: , 0. – 0 с. Lars Ljungqvist. Recursive Macroeconomic Theory : Second Edition. – М.: , 2004. – 0 с. Lars Ljungqvist, Thomas J. Sargent. Recursive Macroeconomic Theory. – М.: , 0. – 0 с. P. Odifreddi. Classical Recursion Theory. – М.: , 2010. – 0 с. P. Odifreddi. Classical Recursion Theory, Volume II. – М.: , 2010. – 0 с. M. Fitting. Fundamentals of Generalized Recursion Theory. – М.: , 2010. – 0 с. L Ljung. Ljung: ?theory? & Practice Of Recursive Identifica Tion(paper). – М.: , 1987. – 0 с. Lars Ljungqvist. Recursive Macroeconomic Theory (S). – М.: , 2000. – 738 с. Howard Lasnik. Syntactic Structures Revisited – Contemporary Lectures on Classic Transformational Theory (Paper). – М.: , 2000. – 224 с. Howard Lasnik. Syntactic Structures Revisited – Contemporary Lectures on Classic Transformational Theory. – М.: , 2000. – 224 с. Farzad Didehvar. Generalization Of Some Concepts Of Complexity Theory In Structures. – М.: LAP Lambert Academic Publishing, 2014. – 76 с. Eva Forsberg. Curriculum Theory Revisited. – М.: LAP Lambert Academic Publishing, 2011. – 208 с. Eustrat Zhupa. Recursion Theory Revisited. – М.: LAP Lambert Academic Publishing, 2012. – 204 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Эллада Здравствуйте, Лилия Олеговна, огромное ВАМ человеческое спасибо от всей души, ВЫ мне очень помогли, спасибо!!!:)) Я буду к ВАМ частенько обращаться, если вы конечно не против!!! Я пока еще не знаю вопросы, пока не раздали, предметы: макроэкономика, прикладная математика, отечественная история, информатика!!!:)) СПАСИБО ЗА ВНИМАНИЕ!!!:))
