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

Базы данных:

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

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

Виды поиска:

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

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (10)

"Руконт"-Национальный цифровой ресурс (3)

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

Поисковый запрос: (<.>K=КОНСТРУКТИВНАЯ<.>)
Общее количество найденных документов : 45 Показаны документы с 1 по 20

1..20 21..40 41..45

У.в611я73
А57

Альсевич, Виталий Викентьевич.
Математическая экономика. Конструктивная теория [Текст] : учебное пособие для вузов / В. В. Альсевич. - Мн. : Дизайн ПРО, 1998. - 240с. - 33.60 р.

ББК У.в611я73
Рубрики: математическая экономика
математические методы исследования операций
Кл.слова (ненормированные):
экономика и математика -- учебник В183 -- учебник У.в6

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

В161.55
С50

Смирнов, Владимир Иванович.
Конструктивная теория функций комплексного переменного [Текст] : нелитературный текст / В. И. Смирнов. - М.-Л. : Наука, 1964. - 440с. - 10 р.

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

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

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

В1я44
М26

Марков, Андрей Андреевич.
Избранные труды [Текст] : нелитературный текст. Т.2. Теория алгорифмов и конструктивная математика.Математическая логика.Информатика и смежные вопросы / А. А. Марков ; Сост. и общ. ред. Н. М. Нагорного. - [Б. м. : б. и.]. - 626с. - ISBN 5-94057-113-1. - ISBN 5-94057-044-5 : 100.00 р.

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

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

В12
Д72

Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. - ISBN 5-354-00388-1 : 60.00 р.

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

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

В315я43
К65

Конструктивная теория поля [Текст] : сб.статей / Пер.с англ. - М. : Мир, 1977. - 268с. - (Математика.Новое в зарубежной науке.Вып.6). - 3.00 р.

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

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

В161.5
К96

Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу [Текст] : нелитературный текст / Б. А.Кушнер. - М. : Наука, 1973. - 447с. - (Математическая логика и основания математики). - 4.00 р.

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

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

В12
Н73

Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической [Текст] : нелитературный текст / П. С.Новиков. - М. : Наука, 1977. - 328с. - (Математическая логика и основания математики). - 4.00 р.

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

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

В1
Б51

Бернштейн, С. Н.
Собрание сочинений [Текст] : нелитературный текст. Т.1. Конструктивная теория функций(1905-1930) / С. Н.Бернштейн. - [Б. м. : б. и.]. - 581с. - 15.00 р.

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

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

В1
Б51

Бернштейн, С. Н.
Собрание сочинений [Текст] : нелитературный текст. Т.2. Конструктивная теория функций(1931-1953) / С. Н.Бернштейн. - [Б. м. : б. и.]. - 624с. - 15.00 р.

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