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

Базы данных:

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

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

Виды поиска:

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

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

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

1..20 21..40 41..60

В12
Г47

Гильберт, Давид.
Основания математики [Текст] : логические исчисления и формализация арифметики: Пер. с нем. / Д. Гильберт. - 2-е изд. - М. : Наука, 1982. - 556с. - (Математическая логика и основания математики). - 6.22 р.

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

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

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

В12
К45

Китаев, А.
Классические и квантовые вычисления [Текст] : нелитературный текст / Китаев А., Шень А., Вялый М. - М. : МЦНМО-ЧеРо, 1999. - 191с. - (Новые математические дисциплины). - 20 р.

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

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

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

В12
Г32

Гельфанд, И. М.
Функции и графики [Текст] : основные приемы / Гельфанд И. М., Глаголева Е. Г., Шноль Э. Э. - 2-е изд., испр. и доп. - М. : Наука, 1966. - 104с. - (Б-ка"Математика",вып.2). - 5.00 р.

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

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

Доп.точки доступа:
Глаголева, Е. Г.; Шноль, Э. Э. ЯрГУ/Ф4/НБ
Свободных экз. нет
Найти похожие

В12
Г29

Гейтинг, А.
Интуиционизм [Текст] : введение: Пер. с англ. / А. Гейтинг. - М. : Мир, 1965. - 200с. - (Б-ка"Математика"). - 10 р.

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

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

В12
Г93

Гудстейн, Р. Л.
Рекурсивный математический анализ [Текст] : пер.с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472с. - (Математическая логика и основания математики). - 20 р.

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

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

В12я43
И88

Исследования по теории алгоритмов и математической логике [Текст] : нелитературный текст. Т.1 / Под ред. Маркова А. А. , Петри Н. В. - [Б. м. : б. и.]. - 285с. - 10 р.

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

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

В12
Ф86

Фреге, Г.
Основоположения арифметики [Текст] : логико-математическое исследование о понятии числа / Г. Фреге. - Томск : Водолей, 2000. - 128с. - ISBN 5-7137-0158-1 : 50 р.

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

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

В12я73
П27

Перязев, Николай Алексеевич.
Основы теории булевых функций [Текст] : нелитературный текст / Н. А. Перязев. - М. : Физматлит, 1999. - 110с. - ISBN 5-9221-0005-Х : 20 р.

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

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

В12я73
З-13

Завало, Сергей Трофимович.
Алгебра и теория чисел [Текст] : учебное пособие для вузов. Ч.1 / Завало С. Т., Костарчук В. Н., Хацет Б. И. - [Б. м. : б. и.]. - 397с. - 15 р.

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

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

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

10.

В12
В26

Вейль, Г.
О философии математики [Текст] : сборник работ: Пер. с немец. / Г. Вейль. - М-Л. : Гостехиздат, 1934. - 128с. - 10 р.

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

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

11.

В12
И32

Избранные вопросы теории булевых функций [Текст] : нелитературный текст / ред. С. Ф. Винокуров ; Под ред. С. Ф. Винокурова, Н. А. Перязева. - М. : Физматлит, 2001. - 191с. - ISBN 5-9221-0085-8 : 20.00 р.

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

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

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

12.

В127
М30

Марченков, Сергей Серафимович.
Элементарные рекурсивные функции [Текст] : нелитературный текст / С. С. Марченков. - М. : МЦНМО, 2003. - 112с. - ISBN 5-94057-098-4 : 30.00 р.

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

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

13.

В127я73
В68

Волченков, Сергей Геннадьевич.
Методы построения эффективных алгоритмов [Текст] : учеб.пособие для вузов / С.Г.Волченков,Ю.В.Богомолов.Яросл.гос.ун-т им.П.Г.Демидова. - Ярославль : [б. и.], 2004. - 125с. - ISBN 5-8397-0268-4 : 46.02 р.

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

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

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

14.

В12
М35

Митюнин, Владимир Александрович.
Алгоритмы вычисления базисов Гребнера и инволютивных базисов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / В. А. Митюнин ; МГУ. - М. : [б. и.], 2004. - 17 с. - б/ц

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

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

15.

В12я73-4
Л13

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

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

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

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

16.

В126
Р93

Рыжов, Александр Павлович.
Элементы теории нечетких множеств и измерения нечеткости [Текст] : нелитературный текст / А. П. Рыжов ; Науч.-учеб. центр "Интеллектуальные системы и нечеткие технологии". - М. : Диалог МГУ, 1998. - 116 с. - ISBN 5-89209-342-5 : 15.00 р.

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

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

17.

В12я73
К89

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] : учебник для вузов / О. П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. : Лань, 2004. - 395 с. - (Учебники для вузов. Специальная лит.). - ISBN 5-8114-0570-7 : 197.00 р.

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

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

18.

В126
П30

Петровский, Алексей Борисович.
Основные понятия теории мультимножеств [Текст] : нелитературный текст / А. Б. Петровский ; РАН, Ин-т системного анализа. - М. : Едиториал УРСС, 2002. - 80 с. - ISBN 5-354-00166-8 : 20.00 р.

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

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

19.

В12я73
К89

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] : учебник для вузов / О. П. Кузнецов. - 4-е изд., стереотип. - СПб. : Лань, 2005. - 395 с. - (Учебники для вузов. Специальная лит.). - ISBN 5-8114-0570-7 : 253.00 р.

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

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

20.

В12
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - М. : Гос.изд-во физ.-мат.лит., 1959. - 400с. - (Математическая логика и основания математики). - 60.00 р.

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

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

1..20 21..40 41..60