|
|
libcats.org
Computability: An Introduction to Recursive Function TheoryNigel CutlandWhat can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland begins with a mathematical characterisation of computable functions using a simple idealised computer (a register machine); after some comparison with other characterisations, he develops the mathematical theory, including a full discussion of non-computability and undecidability, and the theory of recursive and recursively enumerable sets. The later chapters provide an introduction to more advanced topics such as Gildel's incompleteness theorem, degrees of unsolvability, the Recursion theorems and the theory of complexity of computation. Computability is thus a branch of mathematics which is of relevance also to computer scientists and philosophers. Mathematics students with no prior knowledge of the subject and computer science students who wish to supplement their practical expertise with some theoretical background will find this book of use and interest.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Complete Works. Early Greek PhilosophyАвтор: NietzscheКатегория: Academic books, Theology
Размер книги: 4.37 Mb
Essex Class Carriers in Action - Warships No. 10Автор: Michael C. Smith, Автор: Ernesto Cumpian, Автор: Don GreerКатегория: ВОЕННАЯ ИСТОРИЯ
Размер книги: 25.81 Mb
Мировая культура и искусство: Учебно-методический комплексАвтор: Лысак И.В.Категория: Культура. Культурология
Размер книги: 1.81 Mb
Daily Life through World History in Primary Documents, 3 Volumes (Greenwood Press Daily Life Through History Series)Автор: Rebecca Bennette, Автор: David M. Borgmeyer, Автор: David Matz, Автор: Lawrence Morris
Размер книги: 26.52 Mb
Очистись от паразитов и живи без паразитовАвтор: Надежда СеменоваКатегория: КНИГИ ЗДОРОВЬЕ
Размер книги: 1.51 Mb
Middle American Terranes, Potential Correlatives, and Orogenic ProcessesАвтор: J. Duncan Keppie, Автор: W. G. Ernst
Размер книги: 16.19 Mb
The Sound and the FuryАвтор: Faulkner William, Автор: Minter DavidКатегория: fiction
Размер книги: 416 Kb
|
|
|