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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>U=517.11<.>)

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

   517
   Ц 718

   Цирулис, Ян Петрович
    Лекции по математической логике и теории множеств : учеб. пособие / Я. П. Цирулис ; Латв. гос. ун-т. - Рига : Латв. ун-т, 1975 - .
   Ч. 2 : Теория множеств. - 1975. - 74 с. - 0.10 р.

ГРНТИ	27
УДК	517.11	519.5	510.22(075.8)

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

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

   517
   А 437


    Актуальные вопросы математической логики и теории множеств : сб. трудов / М-во просвещения РСФСР, Московский гос. пед. ин-т, Каф. мат. анализа ; ред. Е. А. Щегольков. - М. : МГПИ, 1975. - 310 с. : граф. - Библиогр. в конце работ. - 2.12 р.
    Содержание:
Матросов, В. Аналитическое описание классов сложности вычислимых функций / В. Матросов. - С .3-12
Матросов, В. О замкнутости некоторых классов сложности относительно рекурсивных операций / В. Матросов. - С .13-32
Ившин, В. Ю. Полные классы сложности вычислимых функций / В. Ю. Ившин. - С .33-48
Ившин, В. Ю. О классах сложности по числу колебаний при вычислениях в реальное время / В. Ю. Ившин. - С .48-71
Дехтярь, М. И. Относительные вычисления предикатов и их сложности / М. И. Дектярь. - С .72-87
Дехтярь, М. И. Сводимости с ограниченной сложностью / М. И. Дехтярь. - С .88-104
Рахматуллин, Н. А. Теоретико-автоматные характеристики для спектров формул конечных ступеней / Н. А. Рахматуллин. - С .105-127
Маслов, А. Н. Аксиоматический подход к описанию систем с управлением / А. Н. Маслов. - С .128-138
Астанина, Н. П. Моделирование многоленточных магазинных автоматов / Н. П. Астанина. - С .139-146
Захаров, В. Н. О сложности построения булевских таблиц / В. Н. Захаров. - С .147-154
Каллибеков, Сейтиняз. Иерархия множеств по табличной перечислимости / Сейтиняз Каллибеков. - С .155-163
Крейнин, Я. Л. О базисе и классификации рекурсивных функций / Я. Л. Крейнин. - С .164-170
Бокштейн, М. Ф. К доказательству теоремы Цермело и леммы Цорна / М. Ф. Бокштейн. - С .171-177
Козлова, З. И. О некоторых свойствах проективных операций с полной глубиной цепей над несчетными семействами множеств / З. И. Козлова. - С .178-211
Макаренкова, Е. А. Расщепление некоторых В-множеств пространства... / Е. А. Макаренкова. - С .212-217
Ефимов, Б. А. О жестких семейных упорядоченных континуумов / Б. А. Ефимов. - С .218-227
Крейнин, Я. Л. О множествах мощности, эффективно более высокой, чем данное кардинальное число / Я. Л. Крейнин. - С .228-240
Халимский, Е. Д. О древовидных и линейно древовидных пространствах / Е. Д. Халимский. - С .241-257
Монич, А. Л. Об одном обобщении паракомпактности / А. Л. Монич. - С .258-275
Цвид, С. Ф. О счетных связных пространствах / С. Ф. Цвид. - С .278-284
Вайнгортин, Л. Д. Характеристика размерности хаусдорфова бикомпакта с помощью кольца непрерывных функций / Л. Д. Вайнгортин. - С .285-290
Хафизов, М. Х. О продолжении векторнозначной меры / М. Х. Хафизов. - С .291-301
Хафизов, М. Х. К теории интегрального представления линейгых отображений / М. Х. Хафизов. - С .302-310

ГРНТИ	27.23
УДК	517.11

Рубрики: Математический анализ--Сборники
Кл.слова (ненормированные):
классификации рекурсивных функций -- автоматов теория -- несчетные семейства множеств -- топология

Доп.точки доступа:
Щегольков, Е. А. \ред.\; Министерство просвещения РСФСРМосковский государственный педагогический институт им. В. И. Ленина. Кафедра математического анализа
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   517
   Г 474

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики : перевод с немецкого / Д. Гильберт, П. Бернайс ; пер. Н. М. Нагорный ; ред. С. И. Адян. - 2-е изд. - Москва : Наука, 1982. - 556 с. - (Математическая логика и основания математики). - 2.70 р., 2.70 р.

ГРНТИ	27
УДК	517.11

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

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

   517
   Г 474

    Гильберт, Давид.
    Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; ред. С. И. Адян. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р., 3.40 р.

ГРНТИ	27
УДК	517.11

Рубрики: Математический анализ
Кл.слова (ненормированные):
ЛОГИЧЕСКИЙ ФОРМАЛИЗМ -- МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО (ТЕОРИЯ) -- ТЕОРЕМЫ О ПОЛНОТЕ (НЕПОЛНОТЕ) -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРЕМА ЧЁРЧА -- АРИФМЕТИЧЕСКИЙ ФОРМАЛИЗМ (ДОКАЗАТЕЛЬСТВО КАЛЬМАРА)

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

   517
   Г 474

    Гиль, Михаил Иосифович.
    Операторные функции дифференциальные уравнения и динамика систем / М. И. Гиль ; ред. Р. И. Трухаев ; Академия наук СССР, Хабаровский комплексный научно-исследовательский институт. - Москва : Наука, 1984. - 151 с. - 1 р., 1.00 р.

ГРНТИ	27
УДК	517.11

Рубрики: Математический анализ
Кл.слова (ненормированные):
Дифференциальные уравнения -- Гильбертовы пространства

Доп.точки доступа:
Трухаев, Р. И. \ред.\; Академия наук СССРХабаровский комплексный научно-исследовательский институт
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие

   517
   Г 471

   Гилмор, Роберт
    Прикладная теория катастроф : в 2-х кн. / Р. Гилмор ; пер. с англ. под ред.: Ю. П. Гупало, А. А. Пионтковского. - Москва : Мир, 1984 - .
   Т. 1. - 1984. - 350 с. : ил. - 1.60 р.

ГРНТИ	27
УДК	517.11

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

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

   517
   Г 471

   Гилмор, Роберт
    Прикладная теория катастроф : в 2-х кн. / Р. Гилмор ; пер. с англ. под ред.: Ю. П. Гупало, А. А. Пионтковского. - Москва : Мир, 1984 - .
   Т. 2. - 1984. - 285 с. : ил. - 1.50 р.

ГРНТИ	27
УДК	517.11

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

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

   517
   М 501

    Мендельсон, Эллиот.
    Введение в математическую логику : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабаков ; ред. С. И. Адян. - 2-е изд., испр. - Москва : Наука, 1976. - 320 с. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

ГРНТИ	27.23
УДК	517.11

Рубрики: Математический анализ

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

   517
   М 292

    Мартин-Лёф, Пер.
    Очерки по конструктивной математике / П. Мартин-Лёф ; пер. с англ., авт. предисл. Г. Е. Минц, ред. А. Г. Драгалин. - Москва : Мир, 1975. - 136 с. : ил. - (Библиотека сборника "Математика"). - Библиогр.: с. 128-131. - Указ.: с. 132-134. - 0.40 р., 0.40 р.

ГРНТИ	27.23
УДК	517.11

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

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

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

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

Статистика за 29.06.2024
Число запросов	24357
Число посетителей	558
Число заказов	0

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