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

Базы данных:

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

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

Виды поиска:

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

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

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

1..20 21..40 41..60 61..80

21.

В126
К23

Карлесон, Леннарт.
Избранные проблемы теории исключительных множеств [Текст] : нелитературный текст / Л.Карлесон ; Под ред.В.Г.Мазьи.Пер.с англ. - М. : Мир, 1971. - 126с. - (Б-ка сборника "Математика"). - 1.00 р.

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

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

22.

В12
З-15

Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений [Текст] : нелитературный текст / Л.Заде ; Пер.с англ. - М. : Мир, 1976. - 165с. - (Математика.Новое в зарубежной науке.Вып.3). - 3.00 р.

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

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

23.

В12
М54

Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. - ISBN 5-88688-037-2 : 50.00 р.

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

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

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

24.

В12я54
Н47

Неклассические логики [Текст] : нелитературный текст. - Кишинев : Штиинца, 1987. - 156с. - (Математические исследования.Вып.98). - 4.00 р.

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

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

25.

В12
Г47

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

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

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

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

26.

В127
Д26

Дегтев, Александр Николаевич.
Рекурсивно перечислимые множества и сводимости табличного типа [Текст] : нелитературный текст / А. Н.Дегтев. - М. : Наука,Физматлит, 1998. - 176с. - ISBN 5-02-014843-1 : 30.00 р.

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

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

27.

В12
С81

Столл, Роберт Р.
Множества.Логика.Аксиоматические теории [Текст] : нелитературный текст / Роберт Р.Столл ; Под ред.Ю.А.Шихановича.Пер.с англ. - М. : Просвещение, 1968. - 231с. - (Математическое просвещение). - 5.00 р.

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

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

28.

В127
М27

Марков, Андрей Андреевич.
Теория алгорифмов [Текст] : нелитературный текст / А.А.Марков,Н.М.Нагорный. - М. : Наука, 1984. - 432с. - (Математическая логика и основания математики). - 9.00 р.

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

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

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

29.

В12
Д72

Драгалин, Альберт Григорьевич.
Математический интуиционизм [Текст] : введение в теорию доказательств / А. Г.Драгалин. - М. : Наука, 1979. - 256с. - (Математическая логика и основания математики). - 2.00 р.

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

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

30.

В126
Ф87

Френкель, А. А.
Основания теории множеств [Текст] : нелитературный текст / А.А.Френкель,И.Бар-Хиллел.Пер.с англ. - М. : Мир, 1966. - 555с. - 6.00 р.

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

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

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

31.

В161.5я73
А46

Александров, П. С.
Введение в общую теорию множеств и функций [Текст] : учеб. пособие для вузов / П. С.Александров ; М-во высш. образования СССР. - М.-Л. : ОГИЗ : Гостехиздат, 1948. - 411 с. - 5.00 р.

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

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

32.

В12
Р58

Робинсон, Авраам.
Введение в теорию моделей и метаматематику алгебры [Текст] : нелитературный текст / А.Робинсон ; Пер.с англ. - М. : Наука, 1967. - 376с. - (Математическая логика и основания математики). - 4.00 р.

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

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

33.

В12я431
М34

Математическая логика и ее применения [Текст] : сб.ст. / Под.ред.Э.Нагела и др.Пер.с англ. - М. : Мир, 1965. - 341с. - 6.00 р.

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

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

34.

В127я73
Е80

Ершов, Юрий Леонидович.
Теория нумераций [Текст] : спецкурс для студентов-математиков НГУ. Ч.3. Конструктивные модели / Ю. Л.Ершов. - [Б. м. : б. и.]. - 139с. - 4.00 р.

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

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

35.

В126
А87

Архангельский, Александр Владимирович.
Канторовская теория множеств [Текст] : нелитературный текст / А. В.Архангельский. - М. : Изд-во МГУ, 1988. - 112с. - ISBN 5-211-00080-3 : 5.00 р.

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

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

36.

В121
А85

Арсланов, Марат Мирзаевич.
Локальная теория степеней неразрешимости и множества [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1987. - 137с. - 2.00 р.

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

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

37.

В12
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [Текст] : нелитературный текст / А. И.Мальцев. - 2-е изд. - М. : Наука, 1986. - 367с. - 10.00 р.

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

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

38.

В126
Х20

Харазишвили, А. Б.
Приложения теории множеств [Текст] : нелитературный текст / А. Б.Харазишвили. - Тбилиси : ТГУ, 1989. - 141с. - 10.00 р.

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

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

39.

В126
А85

Арсланов, Марат Мирзаевич.
Рекурсивно перечислимые множества и степени неразрешимости [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1986. - 205с. - 10.00 р.

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

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

40.

В126
И30

Йех, Томас.
Теория множеств и метод форсинга [Текст] : нелитературный текст / Т.Йех ; Под ред.В.Н.Гришина;Пер.с англ. - М. : Мир, 1973. - 148с. - 10.00 р.

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

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

1..20 21..40 41..60 61..80