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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (4)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=517.11<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.

Вид документа : Однотомное издание
Шифр издания : 517/М 292
Автор(ы) : Мартин-Лёф, Пер
Заглавие : Очерки по конструктивной математике
Выходные данные : Москва: Мир, 1975
Колич.характеристики :136 с.: ил.
Серия: Библиотека сборника "Математика"
Примечания : Библиогр.: с. 128-131. - Указ.: с. 132-134
Цена : 0.40, 0.40, р.
ГРНТИ : 27.23
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): математика конструктивная
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 517/А 437
Заглавие : Актуальные вопросы математической логики и теории множеств : сб. трудов
Выходные данные : М.: МГПИ, 1975
Колич.характеристики :310 с.: граф.
Коллективы : Министерство просвещения РСФСР, Московский государственный педагогический институт им. В. И. Ленина. Кафедра математического анализа
Примечания : Библиогр. в конце работ
Цена : 2.12 р.
ГРНТИ : 27.23
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): классификации рекурсивных функций--автоматов теория--несчетные семейства множеств--топология
Содержание : Аналитическое описание классов сложности вычислимых функций/ В. Матросов. О замкнутости некоторых классов сложности относительно рекурсивных операций/ В. Матросов. Полные классы сложности вычислимых функций/ В. Ю. Ившин. О классах сложности по числу колебаний при вычислениях в реальное время/ В. Ю. Ившин. Относительные вычисления предикатов и их сложности/ М. И. Дектярь. Сводимости с ограниченной сложностью/ М. И. Дехтярь. Теоретико-автоматные характеристики для спектров формул конечных ступеней/ Н. А. Рахматуллин. Аксиоматический подход к описанию систем с управлением/ А. Н. Маслов. Моделирование многоленточных магазинных автоматов/ Н. П. Астанина. О сложности построения булевских таблиц/ В. Н. Захаров. Иерархия множеств по табличной перечислимости/ Сейтиняз Каллибеков. О базисе и классификации рекурсивных функций/ Я. Л. Крейнин. К доказательству теоремы Цермело и леммы Цорна/ М. Ф. Бокштейн. О некоторых свойствах проективных операций с полной глубиной цепей над несчетными семействами множеств/ З. И. Козлова. Расщепление некоторых В-множеств пространства.../ Е. А. Макаренкова. О жестких семейных упорядоченных континуумов/ Б. А. Ефимов. О множествах мощности, эффективно более высокой, чем данное кардинальное число/ Я. Л. Крейнин. О древовидных и линейно древовидных пространствах/ Е. Д. Халимский. Об одном обобщении паракомпактности/ А. Л. Монич. О счетных связных пространствах/ С. Ф. Цвид. Характеристика размерности хаусдорфова бикомпакта с помощью кольца непрерывных функций/ Л. Д. Вайнгортин. О продолжении векторнозначной меры/ М. Х. Хафизов. К теории интегрального представления линейгых отображений/ М. Х. Хафизов.
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
3.

Вид документа : Многотомное издание
Шифр издания : 517/Ц 718
Автор(ы) : Цирулис, Ян Петрович
Заглавие : Лекции по математической логике и теории множеств: учеб. пособие/ Я. П. Цирулис ; Латв. гос. ун-т. Ч. 2: Теория множеств
Выходные данные : Рига: Латв. ун-т, 1975
Колич.характеристики :74 с
Коллективы : Латвийский государственный университет
Цена : 0.10 р.
ГРНТИ : 27
УДК : 517.11 + 519.5 + 510.22(075.8)
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): множеств теория
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 517/М 501
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику : научное издание . -2-е изд., испр.
Выходные данные : Москва: Наука, 1976
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-309. - Алф. указ.: с. 310-317
Цена : 1.65, 1.65, р.
ГРНТИ : 27.23
УДК : 517.11
Предметные рубрики: Математический анализ
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 517/Г 474
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики. Логические исчисления и формализация арифметики : перевод с немецкого . -2-е изд.
Выходные данные : Москва: Наука, 1982
Колич.характеристики :556 с
Серия: Математическая логика и основания математики
Цена : 2.70, 2.70, р.
ГРНТИ : 27
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): элементарная арифметика--процессы вывода--геометрическая интуиция
Экземпляры : всего : АБН(2), Х(1)
Свободны : АБН(2), Х(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 517/Г 474
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики. Теория доказательств
Выходные данные : Москва: Наука, 1982
Колич.характеристики :652 с
Серия: Математическая логика и основания математики
Цена : 3.40, 3.40, р.
ГРНТИ : 27
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): логический формализм--математическое доказательство (теория)--теоремы о полноте (неполноте)--исчисление предикатов--теорема чёрча--арифметический формализм (доказательство кальмара)
Экземпляры : всего : АБН(2), Х(1)
Свободны : АБН(2), Х(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 517/Г 471
Автор(ы) : Гилмор, Роберт
Заглавие : Прикладная теория катастроф: в 2-х кн./ Р. Гилмор ; пер. с англ. под ред.: Ю. П. Гупало, А. А. Пионтковского. Т. 2
Выходные данные : Москва: Мир, 1984
Колич.характеристики :285 с.: ил.
Цена : 1.50, 1.50, р.
ГРНТИ : 27
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): катастроф теория--прикладная математика--квантовая механика (математические методы)--климатология (математические методы)
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 517/Г 474
Автор(ы) : Гиль, Михаил Иосифович
Заглавие : Операторные функции дифференциальные уравнения и динамика систем
Выходные данные : Москва: Наука, 1984
Колич.характеристики :151 с
Коллективы : Академия наук СССР, Хабаровский комплексный научно-исследовательский институт
Цена : 1, 1.00, р.
ГРНТИ : 27
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): дифференциальные уравнения--гильбертовы пространства
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 517/Г 471
Автор(ы) : Гилмор, Роберт
Заглавие : Прикладная теория катастроф: в 2-х кн./ Р. Гилмор ; пер. с англ. под ред.: Ю. П. Гупало, А. А. Пионтковского. Т. 1
Выходные данные : Москва: Мир, 1984
Колич.характеристики :350 с.: ил.
Цена : 1.60, 1.60, р.
ГРНТИ : 27
УДК : 517.11
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): катастроф теория--прикладная математика--термодинамика (математические методы)--аэродинамика (математические методы)
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 03.07.2024
Число запросов 18484
Число посетителей 391
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)