51 А 456 Алгоритмы в современной математике и ее приложениях : материалы международного симпозиума, Ургенч, УзССР, 16-22 сент. 1979 г. / АН СССР, Сибирское отд-ние, ВЦ; ред.: А. П. Ершов, Д. Кнут. - Новосибирск : ВЦ СО АН СССР, 1982 - . Ч. 1. - 1982. - 364 с. - Библиогр. в конце разд. - 1.60 р. Содержание: Земанек, Х. Аль-Хорезми: происхождение, личность, работы, влияние / Х. Земанек. - С .8-64 Кнут, Д. Алгоритмы в современной математике и вычислительной науке / Д. Кнут. - С .64-99 Успенский, В. А. Теория алгоритмов: ее основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - С .99-343
Кл.слова (ненормированные): АЛГОРИТМЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (ПРИЛОЖЕНИЯ) -- МАТЕМАТИКА (АЛГОРИТМЫ) Доп.точки доступа: Ершов, Андрей Петрович \ред.\; Кнут, Дональд Э. \ред.\; Академия наук СССР. Сибирское отделение; Вычислительный центр Экземпляры всего: 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
Кл.слова (ненормированные): АЛГОРИТМЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (ПРИЛОЖЕНИЯ) -- МАТЕМАТИКА (АЛГОРИТМЫ) Доп.точки доступа: Ершов, Андрей Петрович \ред.\; Кнут, Дональд Э. \ред.\; Академия наук СССР. Сибирское отделение; Вычислительный центр Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 У 774 Успенский, Владимир Андреевич. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука : Физматлит, 1987. - 288 с. - (Библиотечка программиста). - 1.20 р.
Кл.слова (ненормированные): Математика (алгоритмы) -- Алгоритмы (математика) -- Теория алгоритмов Доп.точки доступа: Семенов, Алексей Львович Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
519 А 900 Асанов, Магаз Оразкимович. Дискретная математика: графы, матроиды, алгоритмы : учебное пособие / М. О. Асанов, В. А. Баранский, В. В. Расин. - 2-е изд., испр. и доп. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2010. - 362 с. : ил. - Библиогр.: с. 351-354. - ISBN 978-5-8114-1068-2 : 539.00 р., 539.00 р., 539 р.
Кл.слова (ненормированные): ДИСКРЕТНАЯ МАТЕМАТИКА -- ДИСКРЕТНАЯ ОПТИМИЗАЦИЯ -- ГРАФОВ ТЕОРИЯ -- ГРАФЫ (МАТЕМАТИКА) -- МАТРОИДЫ (МАТЕМАТИКА) -- АЛГОРИТМЫ (МАТЕМАТИКА) -- ПЛАНАРНОСТЬ (МАТЕМАТИКА) Перейти: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=536 Доп.точки доступа: Баранский, Валентин Анатольевич; Расин, Вениамин Вольфович Экземпляры всего: 10 Х (1), ЧЗЕ (1), АБУ (8) Свободны: Х (1), ЧЗЕ (1), АБУ (8) |
512 К 637 Компьютерная алгебра: символьные и алгебраические вычисления = Computer algebra / Б. Бухбергер, Ж. Калме, Э. Калтофен ; ред.: Б. Бухбергер, Н. Н. Говорун ; пер. с англ. П. Гердт. - Москва : Мир, 1986. - 392 с. : ил. - Библиогр. в конце глав. - Предм. указ.: с. 386-391. - 3.50 р., 3.50 р.
Кл.слова (ненормированные): АЛГОРИТМЫ (МАТЕМАТИКА) -- РЕШЕНИЕ НА ВЫЧИСЛИТЕЛЬНЫХ МАШИНАХ Доп.точки доступа: Бухбергер, Б.; Калме, Ж.; Калтофен, Э.; Бухбергер, Б. \ред.\; Гердт, П. \пер. с англ.\; Говорун, Н. Н. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |