Математическая логика и теория алгоритмов. Вычислимые функции
 |
|
Содержание:
Том 1. Рассказы (1892-1898), Том 2. Рассказы. Фома Гордеев. Трое (1898-1901), Том 3. Рассказы. Пьесы (1901-1905), Том 4. В Америке. Мои интервью. Враги. Мать (1906-1907), Том 5. Повести. Пьесы (1907-1910), Том 6. Городок Окуров. Жизнь Матвея Кожемякина (1909-1911), Том 7. Рассказы. Пьесы (1910-1915), Том 8. По Руси. Сказки об Италии. Русские сказки (1911-1917), Том 9. Детство. В людях. Мои университеты (1913-1922), Том 10. Заметки из дневника воспоминания. Дело Артамоновых (1922-1925), Том 11. Рассказы. Пьесы (1922-1936), Том 12. Жизнь Клима Самгина. Часть первая (1925-1927), Том 13. Жизнь Клима Самгина. Часть вторая (1927-1928), Том 14. Жизнь Клима Самгина. Часть третья (1928-1931), Том 15. Жизнь Клима Самгина. Часть четвертая (1930-1936)
Описание:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач различной трудности. Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов.Похожие книги
 | Валеология Курс лекций. Автор: Чумаков Б.Н. Год: 2002 |
| Жизнь после жизни Автор: Рэймонд Моуди Год: 2007 |
 | Взгляды на жизнь. Том 1. Продолжение следует Автор: Антон Короленков, Евгений Смыков Год: 2007 |
 | Вылазки в другую жизнь. Парадоксальная психология Автор: Константин Севастьянов Год: 2007 |
 | Руководство по исследованию качества жизни в медицине Автор: А. А. Новик, Т. И. Ионова Год: 2007 |
 | Цыгане. Тайны жизни и традиции Автор: Бакленд Р. Год: 2003 |