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

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

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

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

    Шанин, Н. А.
    Проблемы конструктивного направления в математике 2 [Текст] : конструктивный математический анализ.Сборник работ / Под ред.Н.А.Шанина. - М.-Л. : Изд-во АН СССР, 1962. - 503с. - (Математический ин-т им.В.А.Стеклова.Труды.Т. 42). - 15.00 р.
ББК В127я54
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивный анализ -- конструктивные числа -- функциональные пространства

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

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

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

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

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

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

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