НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Программиование <<

Верещагин Н.К. Лекции по математической логике и теории алгоритмов Часть 3

Скачать книгу здесь
Автор: Верещагин Н.К.
Название: Лекции по математической логике и теории алгоритмов Часть 3
Год издания: 1999
УДК: 519.7
Число страниц: 177
Содержание книги:
1.1. Вычислимые функции
1.2. Разрешимые множества
1.3. Перечислимые множества
1.5. Перечислимость и вычислимость
2.1. Универсальные функции
2.2. Диагональная конструкция
3.1. Главные универсальные функции
3.3. Главные универсальные множества
4.1. Множества номеров
4.2. Новые номера старых функций
4.3. Изоморфизм главных нумераций
4.4. Перечислимые свойства функций
5.1. Неподвижная точка и отношения эквивалентности
5.2. Программа, печатающая свой текст
5.3. Системный трюк: ещё одно доказательство
5.4. Несколько замечаний
6.1. га-сводимость
6.2. m-полные множества
6.3. га-полнота и эффективная неперечислимость
6.4. Изоморфизм га-полных множеств
6.5. Продуктивные множества
6.6. Пары неотделимых множеств
7.1. Машины с оракулом
7.2. Эквивалентное описание
7.3. Релятивизация
7.4. О'-вычисления
7.5. Несравнимые множества
7.6. Теорема Мучника-Фридберга: схема конструкции
7.7. Теорема Мучника-Фридберга: выигрышные условия
7.8. Теорема Мучника-Фридберга: метод приоритета
8.1. Классы Е„ и П
8.2. Универсальные множества в ?п и П
8.3. Операция скачка
8.4. Классификация множеств в иерархии
9.1. Зачем нужны простые вычислительные модели
9.2. Машины Тьюринга: определение
9.3. Машины Тьюринга: обсуждение
9.4. Ассоциативные исчисления
9.5. Моделирование машин Тьюринга
9.6. Двусторонние исчисления
10.1. Программы с конечным числом переменных
10.2. Машины Тьюринга и программы
10.4. Теоремы Тарского и Гёделя
10.5. Прямое доказательство теорем Тарского и Гёделя
10.6. Арифметическая иерархия и перемены кванторов
11.1. Примитивно рекурсивные функции
11.2. Примеры примитивно рекурсивных функций
11.3. Примитивно рекурсивные множества
11.4. Другие виды рекурсии
11.5. Машины Тьюринга и рекурсивные функции
11.6. Частично рекурсивные функции
Глоссарий:
а б в г д е ж з и к л м н о п р с т у ф ч ш э я
Смотреть страницы:
2 3 21 38 55 72 89 106 123 140 157 174 176 177
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Лекции по математической логике и теории алгоритмов Часть 2
Математика >> Вычислительная математика >> Программиование
Классические и квантовые вычисления
Химическая технология >> Термодинамика >> Квантовая химия
Математическая логика и дискретная математика
Математика >> Анализ, высшая математика >> Прочее

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru