Тюменская областная научная библиотека

Базы данных

Электронный каталог книг- результаты поиска

Вид поиска

Электронный каталог книг

Патентная и нормативно-техническая документация

Краеведение

Журналы. Газеты. Статьи

КОЛЛЕКЦИИ

Область поиска

Найдено в других БД:

Журналы. Газеты. Статьи (2)

Формат представления найденных документов:
полный	информационный	краткий

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

Поисковый запрос: (<.>A=Ершов, Юрий Леонидович$<.>)

Общее количество найденных документов : 11
Показаны документы с 1 по 11

   51
   С74

    Справочная книга по математической логике : в 4-х ч. / Под ред. Дж. Барвайса;Перевод с англ. С. С. Гончарова и др. - Москва : Наука, 1982 - . - Текст : непосредственный.
   ч.3 : Теория рекурсии / [Г. Б. Эндертон, М. Девис, М. О. Рабин и др.] ; Перевод С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. ; 22 см. - Библиогр.: с. 6 (6 назв.). - Библиогр. в конце глав. - Предм. указ.: с. 354-359. - 20000 экз.. - (в пер.) : 2.00 р.
В кн. также: Алгоритмические проблемы в теории полей: Положит. аспекты / Ю. Л. Ершов

Рубрики:
Математическая логика

Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59

Доп. точки доступа:
Барвайс, Дж.
Ершов, Юрий Леонидович\ред.\
Барвайс, Дж.\ред.\

Экземпляры всего: 2
ДП (1), КХ (С 2) (1)
Свободны: ДП (1), КХ (С 2) (1)
Найти похожие

   51
   С74

    Справочная книга по математической логике : в 4-х ч. / Под ред. Дж. Барвайса;Перевод с англ. С. С. Гончарова и др. - Москва : Наука, 1982 - . - Текст : непосредственный.
   Ч.1 : Теория моделей / [Дж. Барвайс, Х. Дж. Кейслер, П. Эклоф и др.]. - 1982. - 392 с. : ил. ; 22 см. - Библиогр. в конце глав. - Предм. указ.: с. 388-391. - 20000 экз.. - (в пер.) : 2.20 р.
В кн. также: Спектр и структура моделей полных теорий / Е. А. Палютин

Рубрики:
Математическая логика

Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59

Доп. точки доступа:
Барвайс, Дж.
Ершов, Юрий Леонидович\ред.\

Экземпляры всего: 2
КХ (С 2) (2)
Свободны: КХ (С 2) (2)
Найти похожие

   51
   С74

    Справочная книга по математической логике : в 4-х ч. / Под ред. Дж. Барвайса;Перевод с англ. С. С. Гончарова и др. - Москва : Наука, 1982 - . - Текст : непосредственный.
   Ч.2 : Теория множеств / [Д. Р. Шенфилд, Т. Д. Йех, К. Кюнен и др.] ; Пер. В. Г. Кановея. - 1982. - 375 с. ; 22 см. - Библиогр. в конце глав. - Указ. имен., предм. и обозначений: с. 365-370, 372-374. - 20000 экз.. - (в пер.) : 2.10 р.
В кн. также: Проективная иерархия Н. Н. Лузина: современное состояние теории / В. Г. Кановей

Рубрики:
Математическая логика

Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59

Доп. точки доступа:
Барвайс, Дж.
Ершов, Юрий Леонидович\ред.\
Барвайс, Дж.\ред.\
Гришин, В. Н.\ред.\

Экземпляры всего: 2
КХ (С 2) (2)
Свободны: КХ (С 2) (2)
Найти похожие

   51
   С74

    Справочная книга по математической логике : в 4-х ч. / Под ред. Дж. Барвайса;Перевод с англ. С. С. Гончарова и др. - Москва : Наука, 1982 - . - Текст : непосредственный.
   Ч.4 : Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.] ; Пер. Г. В. Давыдова, Г. Е. Минца. - 1983. - 391 с. : ил. ; 22 см. - Библиогр. в конце глав. - Предм. указ.: с. 383-388. - 20000 экз.. - (в пер.) : 2.10 р.

Рубрики:
Математическая логика

Держатели документа:
Тюменская ОНБ : ул. Орджоникидзе, 59

Доп. точки доступа:
Барвайс, Дж.
Ершов, Юрий Леонидович\ред.\
Барвайс, Дж.\ред.\
Оревков, В. П.\ред.\

Экземпляры всего: 2
ДП (1), КХ (С 2) (1)
Свободны: ДП (1), КХ (С 2) (1)
Найти похожие

   517
   Е80

    Ершов, Юрий Леонидович.
    Математическая логика : [Учеб. пособие для вузов] / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. ; 20 см. - Указ. предм. и обозначений: с. 314-320. - 45000 экз.. - (в пер.) : 0.80 р.

ББК 517(075.3)

Рубрики:
Математическая логика -- Учебники и пособия

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
КХ (С 1) (1)
Свободны: КХ (С 1) (1)
Найти похожие

   22.12
   Е80

    Ершов, Юрий Леонидович.
    Математическая логика : [Учеб. пособие для мат. спец. вузов] / Ю. Л. Ершов, Е. А. Палютин. - 2-е издание, исправленное и дополненное. - Москва : Наука, 1987. - 336 с. ; 21 см. - Предм. указ.: с. 335-336. - 30000 экз.. - (в пер.) : 0.95 р.

ББК 22.12я73

Рубрики:
Математическая логика -- Учебники и пособия

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
КХ (С 2) (1)
Свободны: КХ (С 2) (1)
Найти похожие

   517.12
   Е80

    Ершов, Юрий Леонидович.
    Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов. - Москва : Наука, 1980. - 415 с. ; 20 см. - (Мат. логика и основания математики). - Библиогр.: с. 397-409 (259 назв.). - Указ. обозначений, предм.: с. 410-415. - 5450 экз.. - (в пер.) : 3.10 р.

ББК 517.12

Рубрики:
Алгебра высшая

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
ДП (1)
Свободны: ДП (1)
Найти похожие

   517.12
   Е80

    Ершов, Юрий Леонидович.
    Теория нумераций / Ю. Л. Ершов. - Москва : Наука, 1977. - 416 с. : ил. ; 21 см. - (Мат. логика и основания математики). - Список лит.: с. 402-410. - Указ. предм., обозначений: с. 411-416. - 7900 экз.. - (в пер.) : 1.80 р.

ББК 517.12 + 6П2.154.5

Рубрики:
Алгоритмы

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
ДП (1)
Свободны: ДП (1)
Найти похожие

   32.973
   В94

    Вычислительные системы : сб. науч. тр. / АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : ИМ, 1961-1996 - . - Текст : непосредственный.
   146 : Логика и семантическое программирование / Науч. ред. Ю. Л. Ершов, С. С. Гончаров. - 1992. - 202, [2] с. : ил. ; 21 см. - Библиогр. в конце ст. - 500 экз.. - ISBN 5-7623-0417-5 : Б. ц.

ББК 32.973

Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Ершов, Юрий Леонидович\ред.\

Экземпляры всего: 1
КХ (С 3) (1)
Свободны: КХ (С 3) (1)
Найти похожие

10.

   22.12
   Т 33


    Теория моделей и ее применения / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука. Сиб. отд-ние, 1988. - 181, [2] с. - (Тр. Ин-та математики / АН СССР, Сиб. отд-ние, ISSN 0208-0060 ; т. 8). - Библиогр. в конце ст. - ISBN 5-02-028576-5 : 3.10 р.

ББК 22.123 я54

Рубрики:
Математическая логика -- Сборники

Держатели документа:
Тюменская ОНБ

Доп. точки доступа:
Ершов, Юрий Леонидович\ред.\

Экземпляры всего: 1
КХ (С 8) (1)
Свободны: КХ (С 8) (1)
Найти похожие

11.

   87
   Е 80

    Ершов, Юрий Леонидович.
    Алгоритмы и вычислимость в человеческом познании = Algorithms and computability in human knowledg : [монография] / Ю. Л. Ершов, В. В. Целищев ; науч. ред.: К. Ф. Самохвалов, А. С. Морозов ; Рос. акад. наук, Сиб. отд-ние, Ин-т матем. им. С. Л. Соболева, Ин-т филос. и права. - Новосибирск : СО РАН, 2012. - 497, [6] с. ; 25 см. - (Интеграционные проекты СО РАН ; вып. 40). - Библиогр.: с. 490-497. - 330 экз.. - ISBN 978-5-7692-1248-8 (в пер.) : 1120.00 р.

ГРНТИ

02.15.31

ББК 87.154в631.0

Рубрики:
Познание -- Моделирование -- Системные исследования

Кл.слова (ненормированные): вычислимость и невычислимость -- познание законов природы

Держатели документа:
Тюменская ОНБ

Доп. точки доступа:
Целищев, Виталий Валентинович
Самохвалов, К. Ф.\ред.\
Морозов, А. С.\ред.\
Российская академия наук, Сибирское отделение (Новосибирск). Институт математики им. С. Л. Соболева
Российская академия наук, Сибирское отделение (Новосибирск). Институт философии и права

Экземпляры всего: 1
КХ (С 5) (1)
Свободны: КХ (С 5) (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)