Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>A=Ершов, Ю. Л.$<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1..9
1.
В12я43
С87
Ершов
, Ю. Л.
Структурные алгоритмические свойства вычислимости [Текст] : сборник науч.трудов / Науч.ред.Ю.Л.
Ершов
,С.С.Гончаров.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1996. - 152с. - (Вычислительные системы.Вып.156). - 10.00 р.
ББК
В12я43
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
вычислимость
--
универсальные алгебры
--
интерированные модели
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В12я43
О-21
Ершов
, Ю. Л.
Обобщенная вычислимость и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.
Ершов
а,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.
ББК
В12я43
Рубрики:
основания математики
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
семантическое программирование
--
теория моделей
--
математические модели вычислимости
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В12я54
В74
Ершов
, Ю. Л.
Вопросы алгебры и логики [Текст] : нелитературный текст / Отв. ред. Ю. Л.
Ершов
, В. Д. Мазуров ; РАН, Сиб. отд-ние. - Новосибирск : Изд-во ИМ СО РАН, 1996. - 191 с. - (Труды Ин-та математики. Т. 30). -
ISBN
5-86134-019-6 : 5.00 р.
ББК
В12я54
Рубрики:
вычислительная логика
алгебра
Кл.слова (ненормированные):
б-ка Русина
--
булевы алгебры
--
конечные группы
--
дискриминантные многообразия
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В12я54
Т33
Ершов
, Ю. Л.
Теория моделей и ее применения [Текст] : сборник науч. тр. / отв. ред. Ю. Л.
Ершов
. - Новосибирск : Наука, 1988. - 183 с. - (Труды Ин-та математики, т. 8). - 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
В12я54
М34
Ершов
, Ю. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. Ю. Л.
Ершов
, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). -
ISBN
5-86134-004-8 : 10.00 р.
ББК
В12я54
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория алгоритмов
--
теория моделей
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
6.
Гончаров, С. С.
Введение в логику и методологию науки [Текст] / С.С. Гончаров,
Ершов
Ю.Л., Самохвалов К.Ф. - М. : Интерпракс ; Новосибирск : Ин-т математики СО РАН, 1994. - 255с. - Библиогр.:с.239-241.-Указ. -
ISBN
5-86134-009-9 : Б. ц.
Программа "Обновление гуманитарного образования в России"
Держатели документа:
ЯОУНБ
Доп.точки доступа:
Ершов
, Ю.Л.; Самохвалов, К.Ф. ЯОУНБ/ч/з, ЯОУНБ
Свободных экз. нет
Найти похожие
7.
87.4+87.25
Г657
Гончаров, С. С.
Введение в логику и методологию науки [Text] : нелитературный текст / С.С.Гончаров. - М. : Интерпракс, 1994. - 256 с. : ил. - (Программа "Обновление гуманитарного образования в России"). -
ISBN
5-86134-009-9 : 4000,00 р.
ББК
87.4+87.25
Рубрики:
Логика
Кл.слова (ненормированные):
ЛОГИКА
!ed_reference.pft: FILE NOT FOUND!
Держатели документа:
КГУ
Доп.точки доступа:
Ершов
, Ю.Л.; Самохвалов, К.Ф. КГУ/ОФ
Свободных экз. нет
Найти похожие
8.
512
Е 80
Ершов
, Ю. Л.
Кратно-нормированные поля [Текст] / Ю. Л.
Ершов
. - [Б. м.] : Науч. кн., 2000. - 330с. - (Сиб. шк. алгебры и логики). - Библиогр. : с. 319-326. - Предм. указ. : с. 327-329. -
ISBN
5-88119-028-9 : Б. ц.
УДК
512
Рубрики:
Математика
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
9.
512
Е 80
Ершов
, Ю. Л.
Кратно-нормированные поля [Текст] / Ю. Л.
Ершов
. - [Б. м.] : Науч. кн., 2000. - 330с. - (Сиб. шк. алгебры и логики). - Библиогр. : с. 319-326. - Предм. указ. : с. 327-329. -
ISBN
5-88119-028-9 : Б. ц.
УДК
512
Рубрики:
Математика
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
1..9