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

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

blank
blank
blank
Красота
blank
Мартин-Лёф П. — Очерки по конструктивной математике
Мартин-Лёф П. — Очерки по конструктивной математике



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



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


Название: Очерки по конструктивной математике

Автор: Мартин-Лёф П.

Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\lambda$ определимость      26
$\mu$ определимость      26
Аддитивный класс      92
Аксиома      12 93 98
Алгорифм      9 12
Аппроксимация      40
Базис      30
Бар теорема      88 126
Бишоп      127
Борелевское множество      91
Борель      25 45 85
Брауэр      25 30 48 51 53 55 57 59 62 76 85 88 91 111 112 113 115
Буква      9
Бэровский класс      92
Бэровское пространство      39 85
Вальд      116
Верхний узел      79
Весли      88 128
Вещественная прямая      39
Внешнее предельное множество      60
Внутреннее предельное множество      60
Все пространство      54 92
Вспомогательный знак      13
Всюду определенный алгорифм      17
Выводимое правило      94
Выводимый      20
Вычисление      121
Вычислимое вещественное число      46
Вычислительная машина      26
Гейтинг      52 58 113
Генкин      888
Генцен      94 100
Гёделевский номер      27
Гёдель      18 26 97
Гжегорчик      67
Гильберт      30 100
Главная формула      93
Главный функциональный символ      19
Диагональное множество      33
Диаметр      41 63
Дискретный      63
Доказательство      12 79
Доказуемый      12
Дополнение      92
Дополнительно локализованное открытое множество      57 58
Евклидово пространство      39
Заключение      12
Закон исключенного третьего      94
Закон потока      58
Замена      20
Замкнутое множество      55
Запирание      86 126
Заславский      60 72 115
Знак      9 11 21
Измеримое множество      106
Инструкция      21
Интеграл      68
Интерпретация отсутствием контрпримера      125
Иррациональный      46
Истинность      99
Исчисление равенств      19 26
Каноническая система      17 29
Кантор      45 85
Канторово пространство      39
Клини      26 32 37 61 62 64 73 76 128
Компактный      56 88
Конструктивная истинность      124
Конструктивная точка      41
Конструктивный носитель      119
Конструктивный объект      9 121
Конструктивный принцип выбора      33
Лакомб      40 60 67 72 73 115
Лексикографический гёделевский номер      17
Локализованное замкнутое множество      57 59
Локализованный компактный вид      57
Майхилл      38
Максимальная аппроксимация      41
Максимальный рекурсивный функционал      66
Марквальд      76
Марков      26 62 127
Мартин-Лёф      118
Машина Тьюринга      21
Мера      107
Мера Лебега      61 105
Метка      14
Мизес      116
Мультипликативный класс      95
Наследник      77
Натуральное число      9
Неубывающая функция      67
Нормальный алгорифм      26
Нуль      77
Область      17 65
Область значений      17
Образ      17
Обращение      18
Общекурсивная функция      17
Объединение      14
Ограниченный      55 88 106
Ограничивающее множество      88
Окрестность      40
Ординальное число      76
Основная теорема      94 100
Отделенность      39
Открытое множество      53 85
Оценка      98
Переменная      11 19
Пересечение      15
Плотный      57
Подординал      79
Подстановка      24
Полигон      68
Полная оценка      101
Последовательность аппроксимаций      42
Последовательность Коши      43
Последовательность открытых множеств      54
Последовательность Шпеккера      52 72
Пост      11 21.25 26 121
Посылка      12
Поток      59
Правила введения      87 93 98
Правила удаления      94
Правило вывода      19 79 93 98
Применение схемы      12
Применимость      121
Продолжение меры      107
Прообраз      17
Простое множество      91
Пустое множество      54 92
Пустое слово      9
Равенство      19
Разность      92
Разрешимый      15
Райс      53
Рассел      30
Рациональное число      15
Рациональный      46
Рекурсивная вещественная функция      67
Рекурсивная неотделимость      35
Рекурсивная функция      26
Рекурсивно перечислимое множество      15
Рекурсивно перечислимое отношение      15
Рекурсивный      15
Ришар      43
Свободно становящаяся последовательность      87 126
Секвенция      79 93 98
Сечение      94 100
Символ      9
Симметрическая разность      93
Система Поста      11
Слово      9
Состояние      21
Спектор      76
Стандартное положение      22
Супремум      77
Схема      12
Сходимость      42 66
Сходящийся      43
Тезис Чёрча      24 31
Теорема Больцано — Вейерштрасса      53
Теорема Бэра о категории      62
Теорема Гейне — Бореля      56 90
Теорема о веерах      89 91
Теорема о нормальной форме      32
Теорема о полноте      99 102
Теорема о равномерной непрерывности      65
Теорема о среднем значении      73
Теорема Рисса о представлении      67
Теоремы о неподвижной точке      38 39
Теоремы о перечислении      28 33 40 54 64
Теоремы об итерации      34 35
Терм      12 19
Тоньше      39
Точка сгущения      53
Трансфинитная индукция      78
Тьюринг      21 26 47 48 49 85 121
Узел      78
Универсальный      28 34
Утончение      94
Формула      93
Функциональный символ      19
Цейтин      50 60 74 115
Целое число      9
Цепочка      9
Цифра      19
Частично рекурсивная функция      16
Частично рекурсивный функционал      63
Чёрч      24 25 30 31 76 116
Число мест      19
Шпеккер      52 67 72
Эйлерова константа      52
Эрбран      18 26 125
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте