Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ершов, Юрий Леонидович$<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
   001
   Г657

    Гончаров, Сергей Севостьянович.
    Введение в логику и методологию науки / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - Москва : Интерпракс ; Новосибирск : Институт математики СО РАН, 1994. - 255 с. - (Программа "Обновление гуманитарного образования в России"). - ISBN 5-86134-009-9 : 2500.00 р., 2500.00 р.
УДК
001:1(075.8)
ББК Ч210.1я73
Рубрики: Наука
Кл.слова (ненормированные):
наука (методология) -- наука (логика)


Доп.точки доступа:
Ершов, Юрий Леонидович; Самохвалов, Климентий Федорович
Экземпляры всего: 2
Х (1), АБУ (1)
Свободны: Х (1), АБУ (1)
Найти похожие
2.
   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 195.80 р., 195.80 р.
27.23
УДК
510.6(075.8)
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Исчисление предикатов -- Алгоритмы


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 19
Х (1), ЧЗЕ (1), АБУ (17)
Свободны: Х (1), ЧЗЕ (1), АБУ (17)
Найти похожие
3.
   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математический анализ--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 10
Х (1), АБЗ (9)
Свободны: Х (1), АБЗ (9)
Найти похожие
4.
   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : лекции для студентов-математиков НГУ / Ю. Л. Ершов, Е. А. Палютин, М. А. Тайцлин ; НГУ. - Новосибирск : НГУ, 1973. - 159 с. - 00.50 р.
УДК
510.6(075.8)
Рубрики: математический анализ--Учебные издания
Кл.слова (ненормированные):
математическая логика


Доп.точки доступа:
Палютин, Евгений Андреевич; Тайцлин, Михаил Абрамович; Новосибирский государственный университет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
   517
   Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. - 00.80 р.
УДК
510.6(075.8)
Рубрики: математический анализ--Учебные издания
Кл.слова (ненормированные):
математическая логика


Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
6.
   512
   Е 804

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

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
7.
   681
   Е 804

    Ершов, Юрий Леонидович.
    Теория нумераций / Ю. Л. Ершов. - Москва : Наука, 1977. - 416 с. - (Математическая логика и основания математики). - 1.80 р.
ГРНТИ
20
УДК
510.5
Рубрики: Теория алгоритмов и вычислительные функции
Кл.слова (ненормированные):
АЛГОРИТМЫ

Экземпляры всего: 5
АБН (4), Х (1)
Свободны: АБН (4), Х (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 33
Число посетителей 32
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)