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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

Поисковый запрос: (<.>K=Математика (алгоритмы)<.>)

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

ГРНТИ	27.01.13
УДК	51(082)

Рубрики: Математика--Сборники
Кл.слова (ненормированные):
АЛГОРИТМЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (ПРИЛОЖЕНИЯ) -- МАТЕМАТИКА (АЛГОРИТМЫ)

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

   51
   А 456

    Алгоритмы в современной математике и ее приложениях : материалы международного симпозиума, Ургенч, УзССР, 16-22 сент. 1979 г. / АН СССР, Сибирское отд-ние, ВЦ; ред.: А. П. Ершов, Д. Кнут. - Новосибирск : ВЦ СО АН СССР, 1982 - .
   Ч. 2. - 1982. - 315 с. - Библиогр. в конце докл. - 1.40 р.
    Содержание:
Манин, Ю. И. Расширяющаяся конструктивная вселенная / Ю. И. Манин. - С .4-10
Ван, Вейнгаарден А. Безъязыковое программирование / Вейнгаарден А. Ван. - С .10-32
Непейвода, Н. Н. Логический подход к программированию / Н. Н. Непейвода. - С .32-64
Тыугу, Э. Х. Структурный синтез программ / Э. Х. Тыугу. - С .64-79
Летичевский, А. А. О поиске инвариантных соотношений в программах / А. А. Летичевский. - С .79-93
Адельсон-Вельский, Г. М. Что мы можем сделать с задачами полного перебора? / Г. М. Адельсон-Вельский, А. О. Слисенко. - С .93-124
Альдер, А. Алгоритмическая сложность линейных алгебр / А. Альдер, Ф. Штрассен. - С .124-139
Клини, С. К. Алгоритмы в различных смыслах / С. К. Клини. - С .139-147
Шанин, Н. А. Роль понятия алгорифма в семантике арифметических языков / Н. А. Шанин. - С .147-181
Цейтин, Г. С. От логицизма к процедурализму / Г. С. Цейтин. - С .181-194
Ершов, А. П. Абстрактная вычислимость в алгебраических системах / А. П. Ершов. - С .194-230
Бауэр, Фридрих Л. Алгоритмы и алгебра / Ф. Л. Бауэр. - С .230-240
Глушков, В. М. О формальных преобразованиях алгоритмов / В. М. Глушков. - С .240-254
Матиясевич, Ю. Что делать после установления неразрешимости алгорифмической проблемы? / Ю. Матиясевич. - С .254-257
Буда, А. Об опыте езды на двух конях в программировании / А. Буда. - С .257-263
Анисимов, А. В. Преобразование Чёрча-Россера и разрешимые свойства обработки деревьев / А. В. Анисимов. - С .263-270
Клини, С. К. Об истоках теории рекурсивных функций / С. К. Клини. - С .270-309

ГРНТИ	27.01.13
УДК	51(082)

   51
   У 774

    Успенский, Владимир Андреевич.
    Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука : Физматлит, 1987. - 288 с. - (Библиотечка программиста). - 1.20 р.

ГРНТИ	27
УДК	510.51

Рубрики: Математика
Кл.слова (ненормированные):
Математика (алгоритмы) -- Алгоритмы (математика) -- Теория алгоритмов

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

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

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

Статистика за 01.07.2024
Число запросов	42062
Число посетителей	406
Число заказов	0

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