Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>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