Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>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