Логин (фамилия): Пароль (штрих-код):

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

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=конструктивная математика<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 13
 1..13 
1.
В1я44
М26

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

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

   
    Справочная книга по математической логике [Текст] : в 4-х частях. Ч.4. Теория доказательств и конструктивная математика / Под ред.Дж.Барвайса.Пер.с англ. - [Б. м. : б. и.]. - 391с. - 10.00 р.
ББК В12я2
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория доказательств -- конструктивная математика -- справочник В12

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

    Данцин, Е. Я.
    Исследования по конструктивной математике и математической логике.10 [Текст] : сборник работ / Под ред.Е.Я.Данцина В.П.Оревкова. - СПб. : Изд-во СПбГУ, 1997. - 152с. - (Записки научных семинаров ПОМИ,том 220). - 10.00 р.
ББК В12я54
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- диофантовы представления

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

    Мартин-Лёф, Пер.
    Очерки по конструктивной математике [Текст] : нелитературный текст / П. Мартин-Лёф. Пер. с англ. - М. : Мир, 1975. - 136 с. - (Б-ка сборника "Математика"). - 10.00 р.
ББК В127
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивный анализ

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

    Оревков, В. П.
    Проблемы конструктивного направления в математике. 4 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1967. - 264 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 93). - 40.00 р.
ББК В127я54
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- исчисление

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике.6 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1974. - 163 с. - (Записки научных семинаров ЛОМИ,том 40). - 5.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- конструктивный математический анализ

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

    Слисенко, А. О.
    Исследования по конструктивной математике и математической логике.3 [Текст] : сборник работ / Под ред. А. О. Слисенко. - Л. : Наука, 1969. - 187 с. - (Записки научных семинаров ЛОМИ,том 16). - 5.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- машинный алгорифм -- закон больших чисел

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

    Шанин, Н. А.
    Проблемы конструктивного направления в математике. 3 [Текст] : сборник работ / под ред. Н. А. Шанина. - М. ; Л. : Наука, 1964. - 547 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 72). - 10.00 р.
Посвящается Андрею Андреевичу Маркову к его шестидесятилетию
ББК В1я54
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- теория алгорифмов

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

    Оревков, В. П.
    Проблемы конструктивного направления в математике. 6 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1973. - 269 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 129). - 10.00 р.
ББК В1я54
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивная математическая логика -- теория алгорифмов

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

    Оревков, В. П.
    Проблемы конструктивного направления в математике. 5 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1970. - 263 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 113). - 10.00 р.
ББК В1я54
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивная математическая логика

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- непрерывность -- алгорифмические последовательности

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике. 5 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, О. А. Слисенко. - Л. : Наука, 1972. - 162 с. - (Записки научных семинаров ЛОМИ, том 32). - 10.00 р.
ББК В12я54
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- теория алгоритмов

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

    Саймон, Барри.
    Модель Р(фи)2 эвклидовой квантовой теории поля [Текст] : нелитературный текст / Б. Саймон ; пер. с англ. - М. : Мир, 1976. - 357 с. - 10.00 р.
ББК В315.1
Рубрики: Теоретическая физика
Кл.слова (ненормированные):
б-ка Русина -- квантовая теория поля -- конструктивная математика

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