Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (10)
"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=КОНСТРУКТИВНАЯ<.>)
Общее количество найденных документов
:
45
Показаны документы
с 1 по 20
1..20
21..40
41..45
1.
У.в611я73
А57
Альсевич, Виталий Викентьевич
.
Математическая экономика.
Конструктивная
теория [Текст] : учебное пособие для вузов / В. В. Альсевич. - Мн. : Дизайн ПРО, 1998. - 240с. - 33.60 р.
ББК
У.в611я73
Рубрики:
математическая экономика
математические методы исследования операций
Кл.слова (ненормированные):
экономика и математика
--
учебник В183
--
учебник У.в6
Держатели документа:
ЯрГУ ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В161.55
С50
Смирнов, Владимир Иванович
.
Конструктивная
теория функций комплексного переменного [Текст] : нелитературный текст / В. И. Смирнов. - М.-Л. : Наука, 1964. - 440с. - 10 р.
ББК
В161.55
Рубрики:
математический анализ
теория функций
Кл.слова (ненормированные):
функции комплексного переменного
Держатели документа:
ЯрГУ
Доп.точки доступа:
Лебедев, Николай Андреевич ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В1я44
М26
Марков, Андрей Андреевич
.
Избранные труды [Текст] : нелитературный текст. Т.2. Теория алгорифмов и
конструктивная
математика.Математическая логика.Информатика и смежные вопросы / А. А. Марков ; Сост. и общ. ред. Н. М. Нагорного. - [Б. м. : б. и.]. - 626с. -
ISBN
5-94057-113-1. -
ISBN
5-94057-044-5 : 100.00 р.
ББК
В1я44
Рубрики:
математика
математическая логика
Кл.слова (ненормированные):
конструктивная
математика
--
информатика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В12
Д72
Драгалин, Альберт Григорьевич
.
Конструктивная
теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. -
ISBN
5-354-00388-1 : 60.00 р.
ББК
В12
Рубрики:
логика
математическая логика
Кл.слова (ненормированные):
нестандартный анализ
--
интуиционистская логика
--
теория доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
В315я43
К65
Конструктивная
теория поля
[Текст] : сб.статей / Пер.с англ. - М. : Мир, 1977. - 268с. - (Математика.Новое в зарубежной науке.Вып.6). - 3.00 р.
ББК
В315я43
Рубрики:
Теоретическая физика
Кл.слова (ненормированные):
б-ка Русина
--
квантовая теория поля
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
В161.5
К96
Кушнер, Борис Абрамович
.
Лекции по конструктивному математическому анализу [Текст] : нелитературный текст / Б. А.Кушнер. - М. : Наука, 1973. - 447с. - (Математическая логика и основания математики). - 4.00 р.
ББК
В161.5
Рубрики:
математический анализ
Кл.слова (ненормированные):
б-ка Русина
--
теория функций
--
функции
--
конструктивные действительные числа
--
конструктивная
сходимость
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В12
Н73
Новиков, Петр Сергеевич
.
Конструктивная
математическая логика с точки зрения классической [Текст] : нелитературный текст / П. С.Новиков. - М. : Наука, 1977. - 328с. - (Математическая логика и основания математики). - 4.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математическая логика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
8.
В1
Б51
Бернштейн, С. Н.
Собрание сочинений [Текст] : нелитературный текст. Т.1.
Конструктивная
теория функций(1905-1930) / С. Н.Бернштейн. - [Б. м. : б. и.]. - 581с. - 15.00 р.
ББК
В1
Рубрики:
Математика
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
теория функций
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
В1
Б51
Бернштейн, С. Н.
Собрание сочинений [Текст] : нелитературный текст. Т.2.
Конструктивная
теория функций(1931-1953) / С. Н.Бернштейн. - [Б. м. : б. и.]. - 624с. - 15.00 р.
ББК
В1
Рубрики:
Математика
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
теория функций
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
10.
В12я2
С74
Справочная книга по
математической логике [Текст] : в 4-х частях. Ч.4. Теория доказательств и
конструктивная
математика / Под ред.Дж.Барвайса.Пер.с англ. - [Б. м. : б. и.]. - 391с. - 10.00 р.
ББК
В12я2
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория доказательств
--
конструктивная
математика
--
справочник В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
11.
В12я54
И88
Данцин, Е. Я.
Исследования по конструктивной математике и математической логике.10 [Текст] : сборник работ / Под ред.Е.Я.Данцина В.П.Оревкова. - СПб. : Изд-во СПбГУ, 1997. - 152с. - (Записки научных семинаров ПОМИ,том 220). - 10.00 р.
ББК
В12я54
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математика
--
диофантовы представления
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
12.
В161.54
Н33
Натансон, И. П.
Конструктивная
теория функций [Текст] : нелитературный текст / И. П.Натансон. - М.-Л. : Техтеоретиздат, 1949. - 688с. - 30.00 р.
ББК
В161.54
Рубрики:
математический анализ
Кл.слова (ненормированные):
б-ка Русина
--
теория функций
--
конструктивная
теория функций
--
вещественные функции
--
приближения функций
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
13.
В127
М29
Мартин-Лёф, Пер
.
Очерки по конструктивной математике [Текст] : нелитературный текст / П. Мартин-Лёф. Пер. с англ. - М. : Мир, 1975. - 136 с. - (Б-ка сборника "Математика"). - 10.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
математика
--
конструктивный анализ
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
14.
В127я54
П78
Оревков, В. П.
Проблемы конструктивного направления в математике. 4 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1967. - 264 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 93). - 40.00 р.
ББК
В127я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математика
--
исчисление
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
15.
В12я54
И88
Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике.6 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1974. - 163 с. - (Записки научных семинаров ЛОМИ,том 40). - 5.00 р.
ББК
В12я54
Рубрики:
логика
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математика
--
конструктивный математический анализ
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
16.
В12я54
И88
Слисенко, А. О.
Исследования по конструктивной математике и математической логике.3 [Текст] : сборник работ / Под ред. А. О. Слисенко. - Л. : Наука, 1969. - 187 с. - (Записки научных семинаров ЛОМИ,том 16). - 5.00 р.
ББК
В12я54
Рубрики:
логика
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математика
--
машинный алгорифм
--
закон больших чисел
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
17.
В1я54
П78
Шанин, Н. А.
Проблемы конструктивного направления в математике. 3 [Текст] : сборник работ / под ред. Н. А. Шанина. - М. ; Л. : Наука, 1964. - 547 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 72). - 10.00 р.
Посвящается Андрею Андреевичу Маркову к его шестидесятилетию
ББК
В1я54
Рубрики:
Математика
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
математика
--
теория алгорифмов
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
18.
В1я54
П78
Оревков, В. П.
Проблемы конструктивного направления в математике. 6 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1973. - 269 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 129). - 10.00 р.
ББК
В1я54
Рубрики:
Математика
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
математика
--
конструктивная
математическая логика
--
теория алгорифмов
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
19.
В1я54
П78
Оревков, В. П.
Проблемы конструктивного направления в математике. 5 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1970. - 263 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 113). - 10.00 р.
ББК
В1я54
Рубрики:
Математика
Кл.слова (ненормированные):
б-ка Русина
--
конструктивная
математика
--
конструктивная
математическая логика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
20.
В12я54
И88
Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.
ББК
В12я54
Рубрики:
логика
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
конструктивная
математика
--
непрерывность
--
алгорифмические последовательности
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
1..20
21..40
41..45