Выбор БД
Тип поиска
Сортировать по:
1. Книга
bookCover
Луридас Панос.
Алгоритмы: самый краткий и понятный курс : доступное изложение; вся основная информация в одной книге; графы, алгоритмы поиска, ранжирования и многое другое / Панос Луридас ; перевод с английского М. А. Райтмана. - Москва : Бомбора, 2022. - 188, [3] с. : ил. - (Библиотека MIT). - ISBN 978-5-04-115765-4 : 550.00.
Авторы: Луридас Панос, Райтман Михаил Анатольевич
Шифры: В127 - Л 86
Ключевые слова: Математика, Математическая логика, Алгоритмы, Алгоритмы поиска, Теория алгоритмов, Алгоритмическая теория исчислений, Теория графов, Графы (мат.), Ранжирование
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Если вам нужно разобраться в том, что из себя представляют алгоритмы и графы, как они работают и какими бывают, эта книга для вас. Ее автор, Панос Луридас, уже много лет использует алгоритмы при проектировании программного обеспечения, криптографии, машинном обучении, и является научным сотрудником Афинского университета экономики и бизнеса. Очень доступным даже для новичков языком он знакомит читателей с концепцией алгоритмов и принципами их работы - для чтения книги достаточно базового школьного образования.
2. Книга
bookCover
Верещагин Николай Константинович.
Колмогоровская сложность и алгоритмическая случайность / Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр. - Москва : Московский центр непрерывного математического образования (МЦНМО), 2013. - 575 с. : ил., табл. - Библиогр.: с. 546-558 (194 назв.). - Указ. предм. и имен.: с. 559-570. - ISBN 978-5-4439-0212-8 : 460.00.
Авторы: Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Шифры: В127 - В 31
Ключевые слова: Алгоритмическая сложность, Алгоритмическая случайность, Алгоритмическая теория вероятностей, Алгоритмическая теория информации, Алгоритмическая энтропия, Алгоритмы, Информация, Кибернетика, Колмогоровская сложность, Математика, Сложность алгоритмов, Случайность, Случайные процессы (мат.), Теория алгоритмов, Теория вероятностей, Теория информации, Энтропия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках колмогоровского семинара по сложности определений и сложности вычислений, основанного А.Н.Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.
3. Книга
bookCover
Хансен Элдон.
Глобальная оптимизация с помощью методов интервального анализа / Хансен Элдон, Уолстер, Дж. Уильям; пер. с англ. С. И. Кумкова ; под ред. С. П. Шарого. - Москва : Регулярная и хаотическая динамика ; Ижевск : Институт компьютерных исследований, 2012. - 516 с. : ил. - Библиогр.: с. 493-510. - Предм. указ.: с. 511-516. - ISBN 978-5-93972-936-9 : 400.00.
Авторы: Хансен Элдон, Уолстер, Дж. Уильям
Шифры: В193.1 - Х 19
Ключевые слова: Вычислительная математика, Глобальная оптимизация, Задачи оптимизации, Интервальная арифметика, Интервальные методы, Интервальный анализ (мат.), Линейные уравнения, Математика, Методы интервального анализа, Методы решения, Нелинейные уравнения, Оптимизация (мат.), Системы линейных уравнений, Системы нелинейных уравнений, Численные методы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга посвящена теории, численным методам и практическим алгоритмам для глобальной оптимизации функций и доказательного решения систем нелинейных уравнений. Использование методов интервального анализа обеспечивает глобальный характер развиваемых подходов, вычислительные доказательства существования решений, а также их локализацию. Детально рассматриваются методы решения систем линейных и нелинейных уравнений и приложение разработанных методов к решению задач оптимизации как при отсутствии ограничений, так и с ограничениями в виде равенств и неравенств. Изложение иллюстрируется примерами и рекомендациями по практической реализации алгоритмов. Предлагаемое читателю второе издание содержит много новых результатов.
4. Книга
bookCover
Быченков Юрий Владимирович.
Итерационные методы решения седловых задач / Быченков Юрий Владимирович, Чижонков Евгений Владимирович. - Москва : Бином. Лаборатория знаний, 2010 (Вологда). - 349 с. - (Математическое моделирование). - Библиогр.: с. 329-343 (202 назв.). - ISBN 978-5-9963-0118-8 : 230.00.
Авторы: Быченков Юрий Владимирович, Чижонков Евгений Владимирович
Шифры: В193.1 - Б 95
Ключевые слова: Алгебраические уравнения, Вычислительная математика, Гидродинамика, Итерационные методы, Линейная алгебра, Линейные алгебраические системы, Линейные алгебраические уравнения, Математика, Обобщенные методы, Релаксационные методы, Седловые задачи, Системы линейных алгебраических уравнений, Численные методы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Впервые в одной книге рассматриваются все известные итерационные методы для больших систем линейных алгебраических уравнений блочной структуры, которые имеют в качестве решения седловую точку: подробно анализируются идеи построения, условия сходимости и вопросы оптимизации. Результаты анализа представлены в виде удобных для использования формул. Имеющееся приложение ориентировано на применение теории для численного моделирования в гидродинамике и смежных областях. Для научных работников в области вычислительной математики, аспирантов и студентов, а также для инженеров и исследователей в прикладных областях.
5. Книга
bookCover
Фалина Ирина Николаевна.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Авторы: Фалина Ирина Николаевна, Усатюк Владимир Владимирович
Шифры: В127 - Ф 19
Ключевые слова: Информатика в школе, Обработка информации, Машина Тьюринга, Задачи по информатике, Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Тема "Машина Тьюринга" может изучаться в 8-11 классах в рамках темы "Информационные процессы. Обработка информации", на факультативных занятиях, в системе дополнительного образования, например, в школах юных программистов.
6. Книга
bookCover
Пантелеев Андрей Владимирович.
Метаэвристические алгоритмы поиска глобального экстремума / Пантелеев Андрей Владимирович. - Москва : МАИ-ПРИНТ, 2009. - 159 с. : ил., табл. - (Научная библиотека). - Библиогр.: с. 156-159 (65 назв.). - ISBN 978-5-7035-2115-1 : 100.00.
Шифры: В193.1 - П 16
Ключевые слова: Алгоритмы оптимизации, Вычислительная математика, Генетические алгоритмы, Глобальная оптимизация, Глобальный экстремум, Математика, Метаэвристические алгоритмы, Метод дифференциальной эволюции, Метод имитации отжига, Метод муравьиных колоний, Метод частиц в стае, Методы оптимизации, Оптимальное управление, Оптимизация (мат.), Параметрическая оптимизация, Поиск глобального экстремума, Приближенные методы, Численные методы, Экстремумы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге описаны современные методы поиска глобального экстремума: генетические алгоритмы с бинарным и вещественным кодированием, методы частиц в стае, дифференциальной эволюции, имитации отжига, муравьиных колоний. Изложено их применение к решению некоторых задач параметрической оптимизации и оптимального управления. В каждом разделе приведены постановка задачи, стратегия поиска, детальный алгоритм решения, описание программного обеспечения и результаты решения типовых примеров. Для студентов и аспирантов технических вузов и университетов, а также инженеров, интересующихся современными проблемами глобальной оптимизации.
7. Книга
bookCover
Марченков Сергей Серафимович.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Шифры: В127 - М30
Ключевые слова: Вычислимые функции, Рекурсивные функции
Экземпляры: Всего: 4, из них: к3-4
Подробнее
8. Документ
bookCover
Аладьев Виктор Захарович.
Системы компьютерной алгебры: MAPLE : искусство программирования / Аладьев Виктор Захарович. - Москва : Лаборатория Базовых Знаний, 2006. - 791, [1] с. : ил., табл. - Библиогр.: с. 784-787. - ISBN 5-93208-189-9 : 849.42.
Шифры: З973.2 - А45
Ключевые слова: Maple, Алгебра, Компьютерная алгебра, Математические пакеты, Пакеты прикладных программ, Программирование в Maple, Программное обеспечение, Системы компьютерной алгебры
Экземпляры: Всего: 2, из них: к3-2
Подробнее
9. Документ
bookCover
Измаилов Алексей Федорович.
Численные методы оптимизации / Измаилов Алексей Федорович; А. Ф. Измаилов, М. В. Солодов. - Москва : Физматлит, 2003. - 300 с. - Библиогр.: с.294-296. - Предм. указ.: с.297-300. - ISBN 5-9221-0045-9 : 70.00.
Авторы: Измаилов Алексей Федорович, Солодов Михаил Владимирович
Шифры: В193.1 - И37
Ключевые слова: Оптимизация (мат.), Методы оптимизации, Численные методы оптимизации, Вычислительная математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
10. Документ
bookCover
Марченков Сергей Серафимович.
Элементарные рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Московский центр непрерывного математического образования, 2003. - 111,[1] с. - Библиогр.: с.109-111. - Предм. указ.: с.112. - ISBN 5-94057-098-4 : 18.00.
Шифры: В127 - М30
Ключевые слова: Функции, Элементарные функции, Рекурсивные функции, Вычислимые функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
11. Документ
bookCover
Сухинин Михаил Федорович.
Численное решение задач линейного программирования и вычисление границ спектра симметричной матрицы / Сухинин Михаил Федорович; М. Ф. Сухинин. - Москва : Физматлит, 2002. - 158,[1] с. - Библиогр.: с.159. - ISBN 5-9221-0242-7 : 55.00.
Шифры: В183.4 - С91
Ключевые слова: Программирование, Математическое программирование, Линейное программирование, Спектр симметричной матрицы, Экстремальные задачи, Численные методы, Матрицы, Симметричные матрицы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
12. Документ
bookCover
Деммель Джеймс.
Вычислительная линейная алгебра : Теория и приложения / Деммель Джеймс; Дж. Деммель; Пер. с англ. Х. Д. Икрамова. - Москва : Мир, 2001. - 429 с. : ил., табл. - Библиогр.: с.404-421. - Предм. указ.: с.422-427. - ISBN 5-03-003402-1. - ISBN 0-89871-389-7 : 52.00.
Авторы: Деммель Джеймс, Икрамов Х. Д.
Шифры: В193.1 - Д30
Ключевые слова: Линейная алгебра, Вычислительная алгебра, Численные методы алгебры, Вычислительная линейная алгебра, Вычислительные методы алгебры
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Тан Киат Ши.
Символьный С++ : Введение в компьютерную алгебру с использованием объектно-ориентир. программирования / Тан Киат Ши; К. Ш. Тан, В.-Х Стиб, Й. Харди; Пер. со 2-го расшир. и пересмотр. изд. В. И. Акмолина и С. В. Чудова; Под ред. Г. М. Кобелькова. - Москва : Мир, 2001. - 622 с. - Перевод изд.: Symbolic C++: An introduction to computer algebra using objiect-oriented programming / Nan Kiat Shi, Willi-Hans Steeb and Yorick Hardy. - Библиогр.: с.612-614. - Предм. указ.: с. 615-619. - ISBN 5-03-003355-6 : 171.50.
Авторы: Тан Киат Ши, Стиб Вилли-Ханс, Харди Йорик, Ахмолин В. И., Чудов С. В., Кобельков Г. М
Шифры: З973.2 - Т18
Ключевые слова: Symbolic C++, Алгебра, Компьютерная алгебра, Компьютеры, Объектно-ориентированное программирование, Персональные компьютеры, Прикладное программирование, Программирование прикладных программ, С++, язык программирования, Символьные вычисления, Символьный С++, Системы компьютерной алгебры, Языки программирования
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Документ
bookCover
Соар Роберт И.
Вычислимо перечислимые множества и степени : Изуч. вычислимых функций и вычислимо перечислимых множеств : Пер. с англ. / Соар Роберт И.; Под ред. М. М. Арсланова. - Казань : Казан. мат. о-во, 2000. - 576 с. - Библиогр.: с.510-548. - Предм. указ.: с.562-576. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 38.00.
Авторы: Соар Роберт И., Арсланов М. М.
Шифры: В127 - С54
Ключевые слова: Множества, Рекурсивно перечислимые степени, Теория вычислимости, Вычислимо перечислимые степени, Степени, Рекурсивные функции, Вычислимые функции, Функции, Рекурсивно перечислимые множества, Вычислимо перечислимые множетва
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Документ
bookCover
Кокс Дэвид.
Идеалы, многообразия и алгоритмы : Введ. в вычисл. аспекты алгебраич. геометрии и коммутатив. алгебры / Кокс Дэвид; Д. Кокс, Дж. Литтл, Д. О'Ши; Пер. с англ. Ю. Ю. Кочеткова; Под ред. В. Л. Попова. - Москва : Мир, 2000. - 687 с. : ил. - Перевод изд.:Ideals, Varieties, and Algorithms /David Cox, John Little, Donal O'Shea (1998). - Библиогр.: с.671-675. - Предм. указ.: с.676-684. - ISBN 5-03-003320-3 : 168.00.
Авторы: Кокс Дэвид, Литтл Джон, О"Ши Донал, Кочеткова Ю. Ю., Попов В. Л.
Шифры: В147 - К59
Ключевые слова: Алгебраическая геометрия, Алгоритмы, Вычислительная алгебра, Вычислительные методы, Идеалы, Коммутативная алгебра, Компьютерная алгебра, Многообразия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
bookCover
Срочко Владимир Андреевич.
Итерационные методы решения задач оптимального управления / Срочко Владимир Андреевич; В. А. Срочко; Федерал. целевая программа "Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг.". - Москва : Физматлит, 2000. - 160 с. - Библиогр.: с.159-160. - ISBN 5-92210086-6 : 41.00.
Шифры: В193.1 - С75
Ключевые слова: Оптимальное управление, Численные методы, Итерационные методы, Вычислительная математика
Экземпляры: Всего: 7, из них: к3-7
Подробнее
17. Документ
bookCover
Методы и алгоритмы исследования задач оптимального управления : Сб. науч. тр. / Вычисл. центр Рос. акад. наук, Твер. гос. ун-т; [Редкол.: Ю. Г. Евтушенко и др.]. - Тверь : Тверской государственный университет, 2000. - 137,[1] с. : ил. - Библиогр. в конце ст. - 16.00.
Авторы: Евтушенко Ю. Г., Андреева Елена Аркадьевна, Катулев Александр Николаевич
Шифры: В161.8 - М54
Ключевые слова: Оптимальное управление, Оптимизация (мат.), Исследование операций, Математическое программирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
18. Документ
bookCover
Ильин Валерий Павлович.
Методы неполной факторизации для решения алгебраических систем / Ильин Валерий Павлович; В.П. Ильин. - Москва : Физматлит, 1995. - 286,[1] с. : ил. - Библиогр.: с.273-284. - Предм. указ.: с.285-286. - ISBN 5-02-014979-9 : 20.00.
Шифры: В193.1 - И46
Ключевые слова: Алгебраические системы, Системы линейных алгебраических уравнений, Методы неполной факторизации, Численные методы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
bookCover
Воеводин Анатолий Федорович.
Методы решения одномерных эволюционных систем / Воеводин Анатолий Федорович; А. Ф. Воеводин, С. М. Шугрин; Отв. ред. Э. А. Бондарев; Рос. АН. Сиб. отд-ние. Ин-т гидродинамики им. М.А. Лаврентьева. - Новосибирск : Наука. сиб. изд. фирма, 1993. - 364,[4] с. - Библиогр. в конце глав. - ISBN 5-02-030308-9 : 390.00.
Авторы: Воеводин Анатолий Федорович, Шугрин Сергей Михайлович
Шифры: В193.1 - В63
Ключевые слова: Дифференциальные уравнения, Математическая физика, Эволюционные уравнения
Экземпляры: Всего: 2, из них: к3-2
Подробнее
20. Книга
bookCover
Ахмеров Рустям Рафаэлович.
Методы оптимизации гладких функций : учебное пособие / Ахмеров Рустям Рафаэлович; Новосиб. гос. ун-т. - Новосибирск : б. и., 1992. - 99 с. : ил. - Библиогр.: с .95. - Предм. указ.: с. 96-98. - <null>.
Шифры: В193.1 - А 95
Ключевые слова: Оптимизация гладких функций, Функции, Гладкие функции, Учебники
Экземпляры: Всего: 1, из них: к3-1
Подробнее