Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

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

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

Поисковый запрос: (<.>A=Лавров, Игорь Андреевич$<.>)

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

   519
   Л 136

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - Москва : ФИЗМАТЛИТ, 2001. - 256 с. : ил. - Библиогр.: с. 248-249. - ISBN 5-9221-0026-2 : 129.00 р., 129.00 р.

УДК

510.22+510.6](076.1)

РУБ 519
Рубрики: Множеств теория
Кл.слова (ненормированные):
Математическая логика -- Алгоритмы -- Множеств теория -- Учебные издания

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие

   517
   Л 136

    Лавров, Игорь Андреевич.
    Математическая логика : учебное пособие для вузов / И. А. Лавров ; . - Москва : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика.). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : 151.50 р., 151.50 р.

27.03
УДК	510.6(075.8)

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебраические системы -- исчисление предикатов -- исчисление высказываний -- ИСЧИСЛЕНИЕ ФУНКЦИЙ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие

   517
   Л 136

    Лавров, Игорь Андреевич.
    Логика и алгоритмы : лекции для слушателей ФПК при НГУ / И. А. Лавров ; НГУ. - Новосибирск : [б. и.], 1970. - 173 с. - 0.40 р.

УДК

510.51(07)

Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
математическая логика -- алгоритмы

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

   519
   Л 136

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 223 с. - Библиогр.: с. 214-215. - Указ. предм., обозначений: с. 216-223. - 00.90 р.

ГРНТИ	27.43
УДК	519.5(076.1)

Рубрики: Теория вероятностей. Математическая статистика--Учебные издания
Кл.слова (ненормированные):
Теория множеств (Задачи) -- МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГОРИТМЫ

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие

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

Статистика обращений

Статистика за 30.06.2024
Число запросов	24903
Число посетителей	308
Число заказов	0

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