Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Мартин-Лёф П. — Очерки по конструктивной математике Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Очерки по конструктивной математике Автор: Мартин-Лёф П. Язык: Рубрика: Математика/Алгебра/Математическая логика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1975 Количество страниц: 136 Добавлена в каталог: 14.05.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель определимость      26 определимость      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 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2025 | | О проекте