Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Манин Ю.И. — Вычислимое и невычислимое
Манин Ю.И. — Вычислимое и невычислимое



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Вычислимое и невычислимое

Автор: Манин Ю.И.

Аннотация:

Книга посвящается доказательству существования невычислнмых функций и алгоритмически неразрешимых задач Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1980

Количество страниц: 128

Добавлена в каталог: 30.06.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстрактная вычислительная машина      24
Аксиомы $L_1Ar$ и $L_1Set$      87
Аксиомы Пеано      100
Аксиомы с кванторами      86
Алгоритм      5 11
Алгоритмически неразрешимые задачи      6 22
Алгоритмически разрешаемая проблема      22
Алгоритмы конструктивные      44
Апресян, Ю.Д.      8 9
Арифметическая иерархия      93
Ахо, А.      4
Беккен, С.      103
Блок, М.      121
Богуславский, И.М.      8 9
Бурбаки, Н.      10
Вад, Х.      64
Вайэнс, Д.      64
Валиев, М.К.      103 104
Вандивер      19
Версальные семейства      65
Виферих      19
Вложения в группы с дв>мя образующими      107
Выражение выводимое      85
Вычислимая частичная функция      17
Вычислимые функции с очень быстрым ростом      99
Гедель      6 12 75 96 97 121
Гильберт, Д.      6 47
Гипотеза Ферма      19
Группа с алгоритмически неразрешимой проблемой тождества слов      103
Д-множества      49
Десятая проблема Гильберта      47
Джоунз, Дж.      64 65
Диофантово пространство      61
Диофантовость перечислимых множеств      112
Длина доказательств      91
Доказуемо вычислимые функции      100
Дэйвис      6
Ершов, А.П.      4
Звонкий, А.К.      70
Иомдин, Л.Л.      8 9
Кантор, Г.      10
Клини      6 25
Козмидиади, В.А.      72 81
Колмогоров, А.Н.      3 4 6 7 8 12 24 68 73
Композиция      20
Конструктивные объекты      44
Коразмерность проекции      30
Криницкий, Н.А.      4
Крысин, Л.П.      8 9
Куммер      19
Лагранж      47
Лазунский, А.В.      8 9
Левин, Л.А      70
Лейбниц      78
Мальцев, А И.      4
Манин, Ю.И.      5
Марков, А.А      4 6 24
Мартин-Леф, П.      73 74
Маслов, А.Н.      72 91
Матиясевич, Ю.В.      4 6 7 56
Мельчук, И.А.      8 9 12
Многочлены, представляющие простые числа      97
Множества диофантовы      46
Множество перечисляемое      29 37
Множество продуктивное      97
Множество разрешимое      37
Мыцельский      91
Нейманн, Б.      105
Нейманн, К.      105
Неперечислимость истинных формул      88
Неполнота формальной математики      6 87
Новиков      23
Номер решения      57
Нумерация      75
Нумерация Геделя      6 74
Нумерация множества допустимая      77
Область определения      217
Ограниченные системы образующих      111
Оптимальная система наименовании      12
Открытость языка      12
Патнэм      6
Перечислимое множество версальное      42
Перечислимость выводимых формул      85
Перечислимые множества      31
Перцов, Н.В.      8 9
Петер, Р.      24
Петри, В.Н.      72 91
Позиционная система      11
Полувычислимая функция      17
Поплавский, Р.П.      15
Пост      6 24
Постников, М.М.      4
Представление предложения      8
Проблема тождества слов в группах      22
Продуктивность арифметических истин      96
Пэрис      100
Разрешимость диофантовых уравнений      48
Рамсей      7
Рекурсивная геометрия      39
Рекурсивная функция      6 16 25
Рекурсивные группы      101
Робинсон, Дж.      6 56
Роджерс, Х.      4 23 96
Санников, В.      3 8 9
Сато, Д.      64
Свободные произведения      104
Семейство m-множеств      42
Синтаксис формальных языков      74
Сложность и случайность      65
Сложность по Колмогорову      68
Соединение      21
Тавтологии      86
Тарский      96 97
Тезис Черча      16 20 22
Тезис Черча как эвристический принцип      23
Теорема Геделя      87
Теорема Колмогорова      68
Теорема Матиясевича      6 7
Теорема о диофантовости перечислимых множеств      46 102
Теорема Рамсея      7 100
Теорема Хигмэна      7 102 110
Теорема Хигмэна — Колмогорова      8
Тьюринг      4 6 24
Ульман, Дж.      4
Универсальный многочлен      64
Уровни представления предложений естественного языка      8
Успенский, В.А.      4 24
Ферма, П.      19
Феферман      98
Фибоначчи числа      65
Формальные языки и вычислимость      74
Функции невычислимые      18
Функции полувычислимые      18
Функция Геделя      33
Характеристическая функция подмножества      17
Харрингтон      100
Хигмэн      7 23 102 103 104 105
Хопкрофт, Дж.      4
Хорезми, Мухаммед бен Муса      11 120
Хорошие подгруппы      108
Частичная функция      17
Частично рекурсивное отображение      76
Частично рекурсивные функции      20
Чудновский      56
Шмульян      75
Эквивалентность нумераций      75
Эренфойхт      91
Язык      8
Языки $L_1Ar$      89
Языки естественные      10 12
«Естественные» рекурсивные группы      103
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте