Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=основания математики<.>)
Общее количество найденных документов : 124 Показаны документы с 101 по 120

61..80 81..100 101..120 121..124

101.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.

ББК В12я54
Рубрики: логика
основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- непрерывность -- алгорифмические последовательности

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

102.

В127
К82

Криницкий, Николай Андреевич.
Алгоритмы вокруг нас [Текст] : нелитературный текст / Н. А. Криницкий. - М. : Наука, 1977. - 224 с. - (Проблемы науки и технического прогресса). - 5.00 р.

ББК В127
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- алгоритмы

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

103.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике. 5 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, О. А. Слисенко. - Л. : Наука, 1972. - 162 с. - (Записки научных семинаров ЛОМИ, том 32). - 10.00 р.

ББК В12я54
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- теория алгоритмов

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

104.

В12я54
М34

Соболев, С. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 176 с. - (Труды Ин-та математики, т. 2). - 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- решетки квазимногообразий -- теория алгоритмов -- теоретическое программирование

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

105.

В12я54
Т33

Ершов, Ю. Л.
Теория моделей и ее применения [Текст] : сборник науч. тр. / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 183 с. - (Труды Ин-та математики, т. 8). - 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория моделей

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

106.

В12я54
М34

Ершов, Ю. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). - ISBN 5-86134-004-8 : 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория алгоритмов -- теория моделей

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

107.

В126
Х20

Харазишвили, Александр Бежанович.
Некоторые вопросы теории множеств и теории меры [Текст] : нелитературный текст / А. Б. Харазишвили ; Ин-т прикладной математики им. И. Н. Векуа. Тбилисский гос. ун-т. - Тбилиси : ТГУ, 1978. - 178 с. - 10.00 р.

ББК В126
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория множеств -- теория меры

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

108.

В12я43
М74

Самохвалов, К. Ф.
Модели когнитивных процессов [Текст] : сборник науч.трудов / Науч.ред.К.Ф.Самохвалов.Ин-т математики СО РАН. - Новосибирск : [б. и.], 2001. - 128 с. - (Вычислительные системы. Вып.168). - 20.00 р.

ББК В12я43
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- логики Сегерберга -- естественные языки -- первопорядковые исчисления

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

109.

В12
С80

Стин, Эндрю.
Квантовые вычисления [Текст] : нелитературный текст / Э. Стин ; пер.с англ. - М. ; Ижевск : Регулярная и хаотическая динамика, 2000. - 111 с. - ISBN 5-93972-023-4 : 30.00 р.

ББК В12
Рубрики: Основания математики
Теоретическая физика
Кл.слова (ненормированные):
б-ка Русина -- квантовые вычисления -- алглритмы квантовые -- квантовая информация

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

110.

В183
О-66

Орловский, Сергей Алексеевич.
Проблемы принятия решений при нечеткой исходной информации [Текст] : нелитературный текст / С. А. Орловский. - М. : Наука, 1981. - 206 с. - (Оптимизация и исследование операций). - 10.00 р.

ББК В183
Рубрики: Исследование операций
Основания математики
Кл.слова (ненормированные):
б-ка Русина -- принятие решений -- теория множеств -- нечеткость

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

111.

В161.5
И20

Иванов, Леонид Дмитриевич.
Вариации множеств и функций [Текст] : нелитературный текст / Л. Д. Иванов ; Под ред. А. Г. Витушкина. - М. : Наука, 1975. - 352 с. : ил. - 10.00 р.

ББК В161.5
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория множеств -- функции -- вариации функций

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

112.

В15я73
М80

Морозов, Альберт Дмитриевич.
Введение в теорию фракталов [Текст] : учеб. пособие для вузов / А. Д.Морозов. - Н. Новгород : Изд-во Нижегород. ун-та, 1999. - 139 с. - ISBN 5-85746-282-7 : 15.00 р.

ББК В15я73
Рубрики: Основания математики
Геометрия
Кл.слова (ненормированные):
б-ка Русина -- фракталы -- коструктивные фракталы -- учебник В151 -- учебник В12

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

113.

В127я73
К71

Косовский, Николай Кириллович.
Основы теории элементарных алгоритмов [Текст] : учебник для вузов / Н. К. Косовский ; М- во высш. и ср. спец. образования СССР. - Л. : ЛГУ, 1987. - 152 с. - 5.00 р.

ББК В127я73
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- алгоритмы элементарные -- учебник В127

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

114.

В183.5
В75

Воробьев, Олег Юрьевич.
Среднемерное моделирование [Текст] : нелитературный текст / О. Ю. Воробьев ; отв. ред. В. К. Саульев. - М. : Наука, 1984. - 132 с. - 20.00 р.

ББК В183.5
Рубрики: Исследование операций
Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- случайные множества -- конечные множества -- идентификация моделей

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

115.

В12
И88

Бочвар, Д. А.
Исследования по формализованным языкам и неклассическим логикам [Текст] : нелитературный текст / отв. ред. Д. А. Бочвар. - М. : Наука, 1974. - 275 с. - 20.00 р.

ББК В12
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- неклассические логики -- формализованные языки

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

116.

В126
К60

Коллингвуд, Э. Ф.
Теория предельных множеств [Текст] : нелитературный текст / Э. Коллингвуд, А. Ловатер ; пер. с англ. - М. : Мир, 1971. - 312 с. - (Б-ка сборника "Математика"). - 10.00 р.

ББК В126
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория множеств -- множества

Держатели документа:
ЯрГУ

Доп.точки доступа:
Ловатер, А. Дж. ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

117.

У.в611
Н62

Никайдо, Х.
Выпуклые структуры и математическая экономика [Текст] : нелитературный текст / Х. Никайдо ; пер. с англ. - М. : Мир, 1972. - 517 с. - 20.00 р.

ББК У.в611
Рубрики: Экономика
Основания математики
Кл.слова (ненормированные):
б-ка Русина -- выпуклые структуры -- множества выпуклые

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

118.

В12
Е80

Ершов, Юрий Леонидович.
Определимость и вычислимость [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-007-7 : 50.00 р.

ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- определимость -- вычислимость -- теория допустимых множеств -- динамическая логика

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

119.

В12
П18

Паровиченко, Иван Иванович.
Теория операций над множествами [Текст] : нелитературный текст / И. И. Паровиченко ; отв. ред. А. Д. Тайманов. - Кишинев : Штиинца, 1981. - 186 с. - 10.00 р.

ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- операции над множествами

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

120.

В12я43
И88

Исследования по теории алгоритмов и математической логике [Текст] : нелитературный текст / АН СССР. Вычислительный центр. - М. : Наука, 1979. - 133 с. - 10.00 р.

ББК В12я43
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная семантика -- теория алгоритмов -- многозначные логики

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

61..80 81..100 101..120 121..124