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

Базы данных:

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

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

Виды поиска:

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

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

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

1..7

В12
Б51

Берштейн, Леонид Самойлович.
Нечеткие графы и гиперграфы [Текст] : нелитературный текст / Л. С. Берштейн, А. В. Боженюк. - М. : Научный мир, 2005. - 255 с. - ISBN 5-89176-315-Х : 60.00 р.

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

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

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

В126
В74

Вопенка, Петр.
Альтернативная теория множеств [Текст] : новый взгляд на бесконечность / П. Вопенка ; пер. со словац. - Новосибирск : Изд-во Ин-та математики, 2004. - 611 с. - ISBN 5-86134-124-9 : 100.00 р.

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

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

В127я73
В68

Волченков, Сергей Геннадьевич.
Методы построения эффективных алгоритмов [Текст] : учеб. пособие для вузов / С. Г. Волченков, Ю. В. Богомолов ; Науч.-метод. совет ун-та ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 142 с. - ISBN 5-8397-0401-6 : 67.79 р.

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

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

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

В12
К84

Крупский, Николай Владимирович.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц

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

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

В151.1
Г47

Гильберт, Д.
Основания геометрии [Текст] : нелитературный текст / Д.Гильберт ; Пер.с нем. - М.-Л. : ОГИЗ Гостехиздат, 1948. - 491с. - (Классики естествознания:Математика.Механика.Физика.Астрономия). - 15.00 р.

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

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

В12
Р83

Ружа, Имре.
Основания математики [Текст] : нелитературный текст / И. Ружа. Пер. с нем. - Киев : Вища школа, 1981. - 350 с. - 20.00 р.

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

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

В12я73-4
Л13

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : нелитературный текст / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. - ISBN 5-9221-0026-2 : 155.00 р.

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

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

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

1..7