Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=основания математики<.>)
Общее количество найденных документов
:
7
Показаны документы
с 1 по 7
1..7
1.
В12
Б51
Берштейн, Леонид Самойлович
.
Нечеткие графы и гиперграфы [Текст] : нелитературный текст / Л. С. Берштейн, А. В. Боженюк. - М. : Научный мир, 2005. - 255 с. -
ISBN
5-89176-315-Х : 60.00 р.
ББК
В12
Рубрики:
математика
Кл.слова (ненормированные):
нечеткая логика
--
математическая логика
--
основания
математики
--
нечеткие графы
--
гиперграфы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Боженюк, Александр Витальевич ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В126
В74
Вопенка, Петр
.
Альтернативная теория множеств [Текст] : новый взгляд на бесконечность / П. Вопенка ; пер. со словац. - Новосибирск : Изд-во Ин-та
математики
, 2004. - 611 с. -
ISBN
5-86134-124-9 : 100.00 р.
ББК
В126
Рубрики:
математика
Кл.слова (ненормированные):
теория множеств
--
математическая логика
--
основания
математики
--
бесконечность
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В127я73
В68
Волченков, Сергей Геннадьевич
.
Методы построения эффективных алгоритмов [Текст] : учеб. пособие для вузов / С. Г. Волченков, Ю. В. Богомолов ; Науч.-метод. совет ун-та ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 142 с. -
ISBN
5-8397-0401-6 : 67.79 р.
ББК
В127я73
Рубрики:
Математика
Кл.слова (ненормированные):
алгоритмы
--
основания
математики
--
эффективные алгоритмы
--
учебник В127
--
ЯрГУ
Держатели документа:
ЯрГУ
Доп.точки доступа:
Богомолов, Юрий Викторович ЯрГУ/ОРК, ЯрГУ/СБО/НБ, ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В12
К84
Крупский, Николай Владимирович
.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц
ББК
В12
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
авторефераты В12
--
основания
математики
--
математическая логика
--
теория доказательств
--
рефлексивная комбинаторная логика
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
5.
В151.1
Г47
Гильберт, Д.
Основания
геометрии [Текст] : нелитературный текст / Д.Гильберт ; Пер.с нем. - М.-Л. : ОГИЗ Гостехиздат, 1948. - 491с. - (Классики естествознания:Математика.Механика.Физика.Астрономия). - 15.00 р.
ББК
В151.1
Рубрики:
Геометрия
Кл.слова (ненормированные):
б-ка Русина
--
основания
математики
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
6.
В12
Р83
Ружа, Имре
.
Основания
математики
[Текст] : нелитературный текст / И. Ружа. Пер. с нем. - Киев : Вища школа, 1981. - 350 с. - 20.00 р.
ББК
В12
Рубрики:
математика
Кл.слова (ненормированные):
б-ка Русина
--
основания
математики
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
7.
В12я73-4
Л13
Лавров, Игорь Андреевич
.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : нелитературный текст / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. -
ISBN
5-9221-0026-2 : 155.00 р.
ББК
В12я73-4
Рубрики:
Математика
Кл.слова (ненормированные):
основания
математики
--
математическая логика
--
множества
--
алгоритмы
Держатели документа:
ЯрГУ
Доп.точки доступа:
Максимова, Лариса Львовна ЯрГУ/ЧЗ/НБ, ЯрГУ/НА/НБ, ЯрГУ/УФ/НБ
Свободных экз. нет
Найти похожие
1..7