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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

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

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

Вид документа : Многотомное издание
Шифр издания : 51/А 456
Автор(ы) :
Заглавие : Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сент. 1979 г./ АН СССР, Сибирское отд-ние, ВЦ; ред.: А. П. Ершов, Д. Кнут. Ч. 2
Выходные данные : Новосибирск: ВЦ СО АН СССР, 1982
Колич.характеристики :315 с
Коллективы : Академия наук СССР, Вычислительный центр
Примечания : Библиогр. в конце докл.
Цена : 1.40 р.
ГРНТИ : 27.01.13
УДК : 51(082)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): алгоритмы (математика)--алгоритмы (приложения)--математика (алгоритмы)
Содержание : Расширяющаяся конструктивная вселенная/ Ю. И. Манин. Безъязыковое программирование/ Вейнгаарден А. Ван. Логический подход к программированию/ Н. Н. Непейвода. Структурный синтез программ/ Э. Х. Тыугу. О поиске инвариантных соотношений в программах/ А. А. Летичевский. Что мы можем сделать с задачами полного перебора?/ Г. М. Адельсон-Вельский, А. О. Слисенко. Алгоритмическая сложность линейных алгебр/ А. Альдер, Ф. Штрассен. Алгоритмы в различных смыслах/ С. К. Клини. Роль понятия алгорифма в семантике арифметических языков/ Н. А. Шанин. От логицизма к процедурализму/ Г. С. Цейтин. Абстрактная вычислимость в алгебраических системах/ А. П. Ершов. Алгоритмы и алгебра/ Ф. Л. Бауэр. О формальных преобразованиях алгоритмов/ В. М. Глушков. Что делать после установления неразрешимости алгорифмической проблемы?/ Ю. Матиясевич. Об опыте езды на двух конях в программировании/ А. Буда. Преобразование Чёрча-Россера и разрешимые свойства обработки деревьев/ А. В. Анисимов. Об истоках теории рекурсивных функций/ С. К. Клини.
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/У 774
Автор(ы) : Успенский, Владимир Андреевич, Семенов, Алексей Львович
Заглавие : Теория алгоритмов: основные открытия и приложения
Выходные данные : Москва: Наука: Физматлит, 1987
Колич.характеристики :288 с
Серия: Библиотечка программиста
Цена : 1.20, 1.20, р.
ГРНТИ : 27
УДК : 510.51
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математика (алгоритмы)--алгоритмы (математика)--теория алгоритмов
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие

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

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

Статистика за 03.07.2024
Число запросов	23255
Число посетителей	398
Число заказов	0

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