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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ершов, Юрий Леонидович$<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
 1..7 
1.
Ю4я73
Г65

    Гончаров, Сергей Севостьянович.
    Введение в логику и методологию науки [Текст] : нелитературный текст / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М. : Интерпракс,Новосибирск:Ин-т матем.СО РАН, 1994. - 256с. - 5000.2000 р.
ББК Ю4я73
Рубрики: философия математики
   логика
   математическая логика
Кл.слова (ненормированные):
программа Гилберта -- учебник Ю4 -- культурная инициатива

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

Доп.точки доступа:
Ершов, Юрий Леонидович; Самохвалов, Климентий Федорович ЯрГУ/КХ/НБ, ЯрГУ/УФ/НБ
Свободных экз. нет
Найти похожие
2.
В162
Е80

    Ершов, Юрий Леонидович.
    Кратно нормированные поля [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 2000. - 330с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-028-9 : 20 р.
ББК В162
Рубрики: функциональный анализ
Кл.слова (ненормированные):
нормированные поля

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

    Ершов, Юрий Леонидович.
    Проблемы разрешимости и конструктивные модели [Текст] : нелитературный текст / Ю. Л.Ершов. - М. : Наука, 1980. - 415с. - (Математическая логика и основания математики). - 7.00 р.
ББК В14
Рубрики: алгебра
Кл.слова (ненормированные):
б-ка Русина -- алгебраические системы -- абелевы группы -- нормированные поля

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

    Ершов, Юрий Леонидович.
    Теория нумераций [Текст] : спецкурс для студентов-математиков НГУ. Ч.3. Конструктивные модели / Ю. Л.Ершов. - [Б. м. : б. и.]. - 139с. - 4.00 р.
ББК В127я73
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- учебник В127 -- теория моделей -- теория нумераций -- алгоритмы

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

    Ершов, Юрий Леонидович.
    Теория нумераций [Текст] : нелитературный текст / Ю. Л.Ершов. - М. : Наука, 1977. - 416с. - (Математическая логика и основания математики). - 10.00 р.
ББК В127
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- алгоритмы -- теория нумераций

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

    Ершов, Юрий Леонидович.
    Е-определимость и теорема Гёделя о неполноте [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - Новосибирск : Научная книга, 1995. - 75 с. - ISBN 5-88119-003-3 : 10.00 р.
ББК В12я73
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория алгоритмов -- множества допустимые -- рекурсивные функции -- учебник В12

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

    Ершов, Юрий Леонидович.
    Определимость и вычислимость [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-007-7 : 50.00 р.
ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- определимость -- вычислимость -- теория допустимых множеств -- динамическая логика

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