5th ed. — UK.: Cambridge University Press, 2007. — 350 p. — ISBN13: 978-0-521-70146-4. Computability and Logichas become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as G¨ odel’s incompleteness theorems, but also a large number of optional topics,...
North-Holland, 1989. — 611 p. The theme of this book is a pair of concepts, already recognised as belonging together by Leibniz, whose mathematical development from Frege to Turing has laid the theoretical foundation of computer science: the concept of formal language as carrier of the precise expression of meaning, facts , problems, and the concept of algorithm or calculus,...
Academic Press, 1983. — 435 p. Theoretical computer science is the mathematical study of models of computation. As such, it originated in the 1930s, well before the existence of modern computers, in the work of the logicians Church, Godel, Kleene, Post, and Turing. This early work has had a profound influence on the practical and theoretical development of computer science. Not...
2-е изд., испр. — М.: Интуит, 2016. — 170 с. Скан. Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке,...
Новосибирск: Научная книга, 1996. — 300 с. — (Сибирская школа алгебры и логики) Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. В книге дается новое доказательство теоремы Гёделя о...
Перевод с английского В.А.Душского, М.И.Кановича, Е.Ю.Ногиной. Под редакцией В.А.Успенского. — М.: Мир, 1972. — 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних...
М.: Государственное издательство физико-математической литературы, 1960. — 492 с.
Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому...
Перевод с немецкого Э. Г. Белаги. — Москва: Мир, 1972. — 264 с. — (Современная математика). В соответствии с принципом «Selecta Mathematica» в этом томике все существенные результаты сопровождаются полными доказательствами. Тем самым мы надеемся дать читателям основательное представление о мире абстрактных автоматов и побудить их познакомиться и с практическими аспектами...
Комментарии