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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

Поисковый запрос: (<.>A=Дехтярь, М. И.$<.>)

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

   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)
Найти похожие

62815

Дехтярь, М. И.
Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 22.12

Кл.слова (ненормированные):
алгоритм -- алгоритмическая процедура -- булева функция -- граф -- дискретная математика -- конечный автомат -- логика предикатов -- учебное пособие -- экономика
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

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

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

Статистика за 07.08.2024
Число запросов	21524
Число посетителей	456
Число заказов	0

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