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

Базы данных:

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

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Ершов, Ю. Л.$<.>)
Общее количество найденных документов : 9 Показаны документы с 1 по 9

1..9

В12я43
С87

Ершов, Ю. Л.
Структурные алгоритмические свойства вычислимости [Текст] : сборник науч.трудов / Науч.ред.Ю.Л.Ершов,С.С.Гончаров.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1996. - 152с. - (Вычислительные системы.Вып.156). - 10.00 р.

ББК В12я43
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- вычислимость -- универсальные алгебры -- интерированные модели

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

В12я43
О-21

Ершов, Ю. Л.
Обобщенная вычислимость и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.Ершова,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.

ББК В12я43
Рубрики: основания математики
кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- семантическое программирование -- теория моделей -- математические модели вычислимости

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

В12я54
В74

Ершов, Ю. Л.
Вопросы алгебры и логики [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов, В. Д. Мазуров ; РАН, Сиб. отд-ние. - Новосибирск : Изд-во ИМ СО РАН, 1996. - 191 с. - (Труды Ин-та математики. Т. 30). - ISBN 5-86134-019-6 : 5.00 р.

ББК В12я54
Рубрики: вычислительная логика
алгебра
Кл.слова (ненормированные):
б-ка Русина -- булевы алгебры -- конечные группы -- дискриминантные многообразия

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

В12я54
Т33

Ершов, Ю. Л.
Теория моделей и ее применения [Текст] : сборник науч. тр. / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 183 с. - (Труды Ин-та математики, т. 8). - 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория моделей

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

В12я54
М34

Ершов, Ю. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). - ISBN 5-86134-004-8 : 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория алгоритмов -- теория моделей

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

Гончаров, С. С.
Введение в логику и методологию науки [Текст] / С.С. Гончаров, Ершов Ю.Л., Самохвалов К.Ф. - М. : Интерпракс ; Новосибирск : Ин-т математики СО РАН, 1994. - 255с. - Библиогр.:с.239-241.-Указ. - ISBN 5-86134-009-9 : Б. ц.
Программа "Обновление гуманитарного образования в России"

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

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

87.4+87.25
Г657

Гончаров, С. С.
Введение в логику и методологию науки [Текст] : нелитературный текст / С.С.Гончаров. - М. : Интерпракс, 1994. - 256 с. : ил. - (Программа "Обновление гуманитарного образования в России"). - ISBN 5-86134-009-9 : 4000,00 р.

ББК 87.4+87.25
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА

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

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

512
Е 80

Ершов, Ю. Л.
Кратно-нормированные поля [Текст] / Ю. Л. Ершов. - [Б. м.] : Науч. кн., 2000. - 330с. - (Сиб. шк. алгебры и логики). - Библиогр. : с. 319-326. - Предм. указ. : с. 327-329. - ISBN 5-88119-028-9 : Б. ц.

УДК

512

Рубрики: Математика

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

УДК

512

1..9