База данных: Электронная библиотека
Страница 1, Результатов: 7
Отмеченные записи: 0
1.
Подробнее
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
2.
Подробнее
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. / В. Босс. - М.КомКнига : [б. и.], 2007. - 216 с. - Б. ц.
ББК 22.18я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
вычислимость -- подводные рифы -- аттракторы -- рекурсивные мотивы -- структурная устойчивость -- векторный анализ -- уравнения
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. / В. Босс. - М.КомКнига : [б. и.], 2007. - 216 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
вычислимость -- подводные рифы -- аттракторы -- рекурсивные мотивы -- структурная устойчивость -- векторный анализ -- уравнения
3.
Подробнее
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.
ББК 22.161я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгоритмы и вычислимость -- неполнота арифметики -- универсальные функции
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгоритмы и вычислимость -- неполнота арифметики -- универсальные функции
4.
Подробнее
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
5.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
6.
Подробнее
М23
Манин, Ю. И.
Математика как метафора [Электронный ресурс] : учебник / Ю. И. Манин. - М. : МЦНМО, 2010. - 424 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- метафора -- вычислимость
М23
Манин, Ю. И.
Математика как метафора [Электронный ресурс] : учебник / Ю. И. Манин. - М. : МЦНМО, 2010. - 424 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- метафора -- вычислимость
7.
Подробнее
Е804
Ершов, Ю. Л.
Определимость и вычислимость [Электронный ресурс] : учебник / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 2 ,1Мб. - Б. ц.
ББК 22.14+22.19
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
определимость -- логика -- CD -- учебник
Е804
Ершов, Ю. Л.
Определимость и вычислимость [Электронный ресурс] : учебник / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 2 ,1Мб. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
определимость -- логика -- CD -- учебник
Страница 1, Результатов: 7