Выбор БД
Тип поиска
Сортировать по:
12
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
Фалина Ирина Николаевна.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Авторы: Фалина Ирина Николаевна, Усатюк Владимир Владимирович
Шифры: В127 - Ф 19
Ключевые слова: Информатика в школе, Обработка информации, Машина Тьюринга, Задачи по информатике, Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Тема "Машина Тьюринга" может изучаться в 8-11 классах в рамках темы "Информационные процессы. Обработка информации", на факультативных занятиях, в системе дополнительного образования, например, в школах юных программистов.
4. Книга
bookCover
Марченков Сергей Серафимович.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Шифры: В127 - М30
Ключевые слова: Вычислимые функции, Рекурсивные функции
Экземпляры: Всего: 4, из них: к3-4
Подробнее
5. Документ
bookCover
Марченков Сергей Серафимович.
Элементарные рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Московский центр непрерывного математического образования, 2003. - 111,[1] с. - Библиогр.: с.109-111. - Предм. указ.: с.112. - ISBN 5-94057-098-4 : 18.00.
Шифры: В127 - М30
Ключевые слова: Функции, Элементарные функции, Рекурсивные функции, Вычислимые функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
6. Документ
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
Подробнее
7. Книга
bookCover
Алгоритмические и комбинаторные задачи дискретных систем и ЭВМ : сборник научных трудов / Иркут. гос. ун-т ; [отв. ред. Ю. Д. Корольков]. - Иркутск : Иркутский государственный университет, 1991. - 181 с. : ил. ; 21 см. - Библиогр. в конце ст. - 3.00.
Шифры: З973.2 - А45
Ключевые слова: Алгоритмы, Дискретная математика, Комбинаторика, Сборники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Книга
bookCover
Алгоритмические и комбинаторные вопросы дискретных систем и ЭВМ : сборник научных трудов / Иркут. гос. ун-т ; [отв. ред. Ю. Д. Корольков]. - Иркутск : Иркутский государственный университет, 1990. - 155 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
Шифры: З973.2 - А45
Ключевые слова: Алгоритмы, Дискретная математика, Комбинаторика, Сборники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
bookCover
Сухарев Алексей Григорьевич.
Минимаксные алгоритмы в задачах численного анализа / Сухарев Алексей Григорьевич; А. Г. Сухарев. - Москва : Наука, 1989. - 299,[4] с. : ил. ; 21 см. - (Оптимизация и исслед. операций). - Библиогр.: с. 270-294 (468 назв.). - Предм. указ.: с. 295-299. - ISBN 5-02-013942-4 (в пер.) : 3.70.
Шифры: В127 - С91
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Документ
bookCover
Ганов Валерий Александрович.
Общая теория вычислений с оракулами / Ганов Валерий Александрович; В. А. Ганов, Н. В. Белякин ; [под ред. С. С. Гончарова] ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Институт математики, 1989. - 136 с. : ил. - Библиогр.: с. 135. - 0.80.
Авторы: Ганов Валерий Александрович, Белякин Николай Васильевич, Гончаров Сергей Севостьянович
Шифры: В127 - Г19
Ключевые слова: Математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
bookCover
Макаренков Юрий Алексеевич.
Что такое алгоритм? : беседы со старшеклассником / Макаренков Юрий Алексеевич; Ю. А. Макаренков, А. А. Столяр. - Минск : Народная асвета, 1989. - 125,[2] с. : ил. ; 22 см. - ISBN 5-341-00162-1 : 0.30.
Авторы: Макаренков Юрий Алексеевич, Столяр Абрам Аронович
Шифры: В127 - М15
Ключевые слова: Основания математики, Математическая логика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
bookCover
Трауб Джо Фред.
Информация, неопределенность, сложность / Трауб Джо Фред; Дж. Трауб, Г. Васильковский, Х. Вожьняковский; Пер. с англ. О. Р. Чуян; Под ред. А. Г. Сухарева. - Москва : Мир, 1988. - 183 с. : ил. ; 22 см. - Перед вып. дан. 1-й авт.: Джозеф Фредрик Трауб. - Перевод изд.: Information, uncertainty, complexity / Joseph Frederick Traub, G. W. Wasilkowski, Henryk Wozniakowski (London etc.). - Библиогр.: с. 173-175. - Указ. имен. и предм.: с. 176-181. - ISBN 5-03-000991-4 : 1.50.
Авторы: Трауб Джо Фред, Васильковский Г. В., Вожьняковский Хенрик, Сухарев А. Г., Чуян О. Р.
Шифры: В127 - Т65
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
bookCover
Арсланов Марат Мирзаевич.
Локальная теория степеней неразрешимости и ? 2- -множества / Арсланов Марат Мирзаевич; М. М. Арсланов. - Казань : Казанский государственный университет, 1987. - 138,[1] с. : ил. - Библиогр.: с.131-137. - 0.40.
Шифры: В127 - А85
Ключевые слова: Теория множеств, Рекурсивные функции
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Документ
bookCover
Грин Дэниел Х.
Математические методы анализа алгоритмов / Грин Дэниел Х., Кнут Дональд Э.; пер. со 2-го англ. изд. Б. Б. Походзея ; под ред. Ю. В. Матиясевича. - Москва : Мир, 1987. - 119, [1] с. - Документ создан на книгу, но есть еще "Электронный ресурс". - Извлечено из: Математические основы программирования. - М., 2005. - (Электронная библиотека). - Доп. тит. л. англ. - Библиогр.: с. 111-113 и в прмеч.: с. 110. - Указ.: с. 116-119. - 0.55.
Авторы: Грин Дэниел Х., Матиясевич Ю. В., Кнут Дональд Э., Походзей Б. Б.
Шифры: В127 - Г 85
Ключевые слова: Алгоритмы, Синтез алгоритмов, АВМ, CD-ROM
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Документ
bookCover
Успенский Владимир Андреевич.
Теория алгоритмов: основные открытия и приложения / Успенский Владимир Андреевич; В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Библиогр.: с. 245-271, 287-288. - Указ. имен., предм.: с. 272-286. - 1.20.
Авторы: Успенский Владимир Андреевич, Семенов Алексей Львович
Шифры: В127 - У77
Ключевые слова: Алгоритмы
Экземпляры: Всего: 2, из них: к3-2
Подробнее
16. Документ
bookCover
Мальцев Анатолий Иванович.
Алгоритмы и рекурсивные функции / Мальцев Анатолий Иванович; А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367, [1] с. : ил. - Загл. прил.: Диофантность рекурсивно перечислимых множеств и предикатов / Д. А. Захаров. - Библиогр.: с. 348-354 и в прил. в конце кн. - Предм. указ.: с. 365-367. - 1.70.
Авторы: Мальцев Анатолий Иванович, Захаров Д. А.
Шифры: В127 - М21
Ключевые слова: Алгоритмы, Функции (мат.), Рекурсивные функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
17. Документ
bookCover
Арсланов Марат Мирзаевич.
Рекурсивно перечислимые множества и степени неразрешимости / Арсланов Марат Мирзаевич; М. М. Арсланов. - Казань : Казанский государственный университет, 1986. - 202,[3] с. ; 21 см. - Библиогр.: с.198-203. - 2.10.
Шифры: В127 - А85
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Документ
bookCover
Фесенко В И.
Элементы теории алгоритмов и абстрактных автоматов : Учеб. пособие / В. И. Фесенко, В. М. Шабашов. - Днепропетровск : Б. и., 1985. - 96 с. : ил. - 0.20.
Авторы: Фесенко В И, Шабашов В М
Шифры: В127 - Ф44
Ключевые слова: Теория автоматов, Алгоритмы, Теория алгоритмов, Автоматы, Абстрактные автоматы, Учебники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Книга
bookCover
Марков Андрей Андреевич.
Теория алгорифмов / Марков Андрей Андреевич, Нагорный Николай Макарович. - Москва : Наука, 1984. - 432 с. : [1] л. портр. ; 20 см. - (Математическая логика и основания математики). - Библиогр.: с. 422-426. - Указ. имен. и предм.: с. 427-432/. - 3 р. 30 к.
Авторы: Марков Андрей Андреевич, Нагорный Николай Макарович
Шифры: В127 - М 26
Ключевые слова: Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
bookCover
Катленд Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Катленд Найджел; пер. с англ. А. А. Мучника ; под ред. С. Ю. Маслова. - Москва : Мир, 1983. - 256 с. : ил. - Перевод изд.: Computability. An introduction to recursive function theory / Nigel Cutland (London, 1980). - Библиогр.: с. 252-254. - 1.00.
Авторы: Катленд Найджел, Мучник А. А., Маслов С. Ю.
Шифры: В127 - К29
Ключевые слова: Вычисление рекурсивных функций, Рекурсивные функции, Функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12