Выбор БД
Тип поиска
Сортировать по:
1. Книга
bookCover
Голубенко Дмитрий Александрович.
Языки, автоматы и грамматики / Д. А. Голубенко, Ю. В. Саватеев. - Москва : МЦНМО, 2023. - 301, [1] с. : ил., табл. - Библиогр.: с. 292-296. - Предм. указ.: с. 297-301. - ISBN 978-5-4439-1775-7 : 500.00.
Авторы: Голубенко Дмитрий Александрович, Саватеев Юрий Вячеславович
Шифры: З973.2 - Г 62
Ключевые слова: Языки программирования, Формальные языки и грамматики, Программирование, Машины Тьюринга, Теорема Успенского-Райса, Теорема Хомского-Шютценберже, Регулярные языки, Контекстно-свободные языки, Контекстно-зависимые языки, Перечислимые языки
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга содержит введение в теорию формальных языков. В основу этой книги легли материалы, подготовленные одним из авторов для семинаров в Московском физико-техническом институте. Для студентов и аспирантов университетов, изучающих теоретическую информатику и смежные дисциплины.
2. Книга
bookCover
Луридас Панос.
Алгоритмы: самый краткий и понятный курс : доступное изложение; вся основная информация в одной книге; графы, алгоритмы поиска, ранжирования и многое другое / Панос Луридас ; перевод с английского М. А. Райтмана. - Москва : Бомбора, 2022. - 188, [3] с. : ил. - (Библиотека MIT). - ISBN 978-5-04-115765-4 : 550.00.
Авторы: Луридас Панос, Райтман Михаил Анатольевич
Шифры: В127 - Л 86
Ключевые слова: Математика, Математическая логика, Алгоритмы, Алгоритмы поиска, Теория алгоритмов, Алгоритмическая теория исчислений, Теория графов, Графы (мат.), Ранжирование
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Если вам нужно разобраться в том, что из себя представляют алгоритмы и графы, как они работают и какими бывают, эта книга для вас. Ее автор, Панос Луридас, уже много лет использует алгоритмы при проектировании программного обеспечения, криптографии, машинном обучении, и является научным сотрудником Афинского университета экономики и бизнеса. Очень доступным даже для новичков языком он знакомит читателей с концепцией алгоритмов и принципами их работы - для чтения книги достаточно базового школьного образования.
3. Документ
bookCover
Бочкарева В. В.
Языки программирования низкого уровня: Практикум [Электронный ресурс] / В. В. Бочкарева; Бочкарева В. В. - Москва : РТУ МИРЭА, 2021. - 83 с. - Книга из коллекции РТУ МИРЭА - Информатика.
Ссылка на ресурс: https://e.lanbook.com/book/176501
Ссылка на ресурс: https://e.lanbook.com/img/cover/book/176501.jpg
Подробнее
Аннотация: В практикуме изложены основы программирования на языке ассемблера – критически важном языке программирования низкого уровня для специалистов по информационной безопасности. Особое внимание уделено реализации операций над разными типами данных в архитектуре IA-32, работе регистрами общего назначения (РОНами), специальными регистрами, памятью, стеком, а также совершенствованию навыков написания программ с модульным построением, побитовыми операциями, активно используемыми для кодирования и декодирования данных, генерации ЭП и т.д. Для специалистов по кибербезопасности ключевыми компетенциями являются понимание архитектуры компьютера, ассемблерного кода; процессов, проходящих в ходе компиляции и выполнения программы. Практикум адресован студентам, обучающихся по направлению «Информационная безопасность телекоммуникационных систем»
4. Книга
bookCover
Кузнецов Олег Петрович.
Дискретная математика для инженера / Кузнецов Олег Петрович. - Изд. 6-е, стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2014. - 394, [1] с. : ил. - Библиогр.: с. 388-389. - Предм. указ.: с. 390-393. - ISBN 978-5-8114-0570-1 : 520.96.
Шифры: В174 - К 89
Ключевые слова: Дискретная математика, Математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.
5. Книга
bookCover
Бабенко Людмила Климентьевна.
Параллельные алгоритмы для решения задач защиты информации / Бабенко Людмила Климентьевна, Ищукова Евгения Александровна , Сидоров Игорь Дмитриевич. - Москва : Горячая линия - Телеком, 2014. - 304 с. : ил. - ISBN 978-5-9912-0426-2 : 300.00.
Авторы: Бабенко Людмила Климентьевна, Ищукова Евгения Александровна , Сидоров Игорь Дмитриевич
Шифры: З973.2 - Б 12
Ключевые слова: Криптография, Математические основы криптографии, Автоматизированные информационные системы, Защита памяти автоматизированных информационных систем, Криптографическая защита памяти, Криптографическая информация в компьютерах
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Кратко представлены основные составляющие современных криптографических систем: симметричные алгоритмы шифрования, асимметричные алгоритмы шифрования, функции хэширования. Основной упор сделан на рассмотрение практической возможности применения существующих способов анализа современных криптосистем с целью оценки их криптографической стойкости. В работе рассмотрен целый ряд параллельных алгоритмов, основанных на различных методах анализа. В качестве примеров приведены способы реализации разработанных алгоритмов с использованием двух наиболее распространенных технологий: с использованием интерфейса передачи данных MPI для организации распределенных многопроцессорных вычислений и технологии CUDA, основанной на использовании графических вычислений. Книга снабжена множеством наглядных примеров и иллюстраций. Впервые описаны подходы к разработке параллельных алгоритмов, ориентированных на программную реализацию, и предназначенных для решения задач в области информационной безопасности. Для специалистов в области информационной безопасности, реализующих известные методы анализа шифрованных данных с применением параллельных вычислительных систем.
6. Книга
bookCover
Верещагин Николай Константинович.
Колмогоровская сложность и алгоритмическая случайность / Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр. - Москва : Московский центр непрерывного математического образования (МЦНМО), 2013. - 575 с. : ил., табл. - Библиогр.: с. 546-558 (194 назв.). - Указ. предм. и имен.: с. 559-570. - ISBN 978-5-4439-0212-8 : 460.00.
Авторы: Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Шифры: В127 - В 31
Ключевые слова: Алгоритмическая сложность, Алгоритмическая случайность, Алгоритмическая теория вероятностей, Алгоритмическая теория информации, Алгоритмическая энтропия, Алгоритмы, Информация, Кибернетика, Колмогоровская сложность, Математика, Сложность алгоритмов, Случайность, Случайные процессы (мат.), Теория алгоритмов, Теория вероятностей, Теория информации, Энтропия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках колмогоровского семинара по сложности определений и сложности вычислений, основанного А.Н.Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.
7. Книга
bookCover
Фримен Эрик.
Паттерны проектирования / Фримен Эрик, Фримен Элизабет; при участии К. Сьерра. и Б. Бейтса ; [пер. с англ. Е. Матвеева]. - Москва [и др.] : Питер, 2012. - 645 с. : ил., портр. ; 23 см. - Доп. тит. л. на англ. яз. - ISBN 978-5-459-00435-9 : 489.00.
Авторы: Фримен Эрик, Фримен Элизабет, Сьерра Кэтти, Бейтс Берт, Матвеев Е.
Шифры: З973.2 - Ф 88
Ключевые слова: Вычислительная техника, Компьютеры, Объектно-ориентированное программирование, Объектно-ориентированное проектирование, Паттерны проектирования, Программирование, Программное обеспечение, Проектирование, Радиоэлектроника, Шаблоны проектирования
Экземпляры: Всего: 15, из них: к3-15
Подробнее
Аннотация: В мире постоянно кто-то сталкивается с такими же проблемами программирования, которые возникают и у вас. Многие разработчики решают совершенно идентичные задачи и находят похожие решения. Если вы не хотите изобретать велосипед, используйте готовые шаблоны (паттерны) проектирования, работе с которыми посвящена эта книга.Паттерны появились, потому что многие разработчики искали пути повышения гибкости и степени повторного использования своих программ. Найденные решения воплощены в краткой и легко применимой на практике форме. Особенностью данного издания является уникальный способ подачи материала, выделяющий серию «Head First» издательства O'Reilly в ряду множества скучных книг, посвященных программированию. Книга будет интересна широкому кругу веб-разработчиков, от начинающих до профессионалов, желающих освоить работу с паттернами проектирования.
8. Книга
bookCover
Приемы объектно-ориентированного проектирования : паттерны проектирования : [принципы применения паттернов проектирования, классификация паттернов, различные подходы к выбору паттернов, каталог паттернов с детальным их описанием] / Гамма Эрих [и др.]; [пер. с англ. А. Слинкин]. - Москва [и др.] : Питер, 2012. - 366 с. : ил. ; 24 см. - (Библиотека программиста). - Загл. и авт. ориг.: Design Patterns. Elements of reusable object-oriented software / Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. - Библиогр.: с. 353-358. - Алф. указ.: с. 359-366. - ISBN 978-5-469-01136-1 : 250.00.
Авторы: Гамма Эрих, Хелм Ричард, Джонсон Ральф, Влиссидес Джон, Слинкин А.
Шифры: З973.2 - П 75
Ключевые слова: Вычислительная техника, Компьютеры, Объектно-ориентированное программирование, Объектно-ориентированное проектирование, Паттерны проектирования, Программирование, Программное обеспечение, Проектирование, Радиоэлектроника, Шаблоны проектирования
Экземпляры: Всего: 15, из них: к3-15
Подробнее
Аннотация: В предлагаемой книге описываются простые и изящные решения типичных задач, возникающих в объектно-ориентированном проектировании . Паттерны появились потому, что многие разработчики искали пути повышения гибкости и степени повторного использования своих программ. Найденные решения воплощены в краткой и легко применимой на практике форме. Авторы излагают принципы использования паттернов проектирования и приводят их каталог. Таким образом, книга одновременно решает две задачи. Во-первых, здесь демонстрируется роль паттернов в создании архитектуры сложных систем. Во-вторых, применяя содержащиеся в справочнике паттерны, проектировщик сможет с легкостью разрабатывать собственные приложения. Издание предназначено как для профессиональных разработчиков, так и для программистов, осваивающих объектно-ориентированное проектирование .
9. Документ
bookCover
Абельсон Харольд.
Структура и интерпретация компьютерных программ / Абельсон Харольд, Сассман Джеральд Джей, Сассман Джули; [пер. Г. К. Бронникова]. - 2-е изд. - Москва : Добросвет : КДУ, 2010. - 608 с. : ил. ; 24 см. - Доп. тит. л. на англ. яз. - Библиогр.: с. 558-565. - Предм. указ.: с. 566-608. - ISBN 978-5-98227-708-4 : 665.50.
Авторы: Абельсон Харольд, Сассман Джеральд Джей, Сассман Джули
Шифры: З973.2 - А 14
Ключевые слова: Вычислительная техника, Компьютеры, Радиоэлектроника, Интерпретаторы, Потоки, Компьютерные программы, Программирование, Scheme, диалект языка Лисп, Абстракции, Абстракция данных, Лисп, язык программирования, Метаязыковая абстракция, Процедурная абстракция, Процедуры, Регистровые машины
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Книга посвящена описанию различных систем программного синтаксиса, анализу перехода от набора алгоритмов к программному коду. Значительное место уделяется обсуждению набора "элементарных программ", использующихся в качестве элементов конструкции программ более высоких уровней сложности, оптимизации соотношения их "веса" и эффективности. Особое внимание авторы уделяют анализу проблемы взаимодействия компьютера как физического объекта и программного кода, обеспечивающего информационную составляющую вычисления. Книга будет полезна всем, кому приходится иметь дело с программированием, в том числе и в гуманитарных областях знания.
10. Книга
bookCover
Фалина Ирина Николаевна.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Авторы: Фалина Ирина Николаевна, Усатюк Владимир Владимирович
Шифры: В127 - Ф 19
Ключевые слова: Информатика в школе, Обработка информации, Машина Тьюринга, Задачи по информатике, Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Тема "Машина Тьюринга" может изучаться в 8-11 классах в рамках темы "Информационные процессы. Обработка информации", на факультативных занятиях, в системе дополнительного образования, например, в школах юных программистов.
11. Документ
bookCover
Миллер Расс.
Последовательные и параллельные алгоритмы : общий подход / Миллер Расс, Боксер Лоренс; пер. с англ. А. В. Козвониной ; под ред. С. М. Окулова. - Москва : БИНОМ. Лаборатория знаний, 2009. - 406 с. : ил. - Доп. тит. л. на англ. яз. - Предм. указ.: с. 396-402. - ISBN 978-5-94774-325-6 (рус.) : 312.00.
Авторы: Миллер Расс, Боксер Лоренс, Окулов Станислав Михайлович
Шифры: З973.2 - М 60
Ключевые слова: Алгоритмы, Компьютеры, Параллельные алгоритмы, Параллельные вычисления, Последовательные алгоритмы, Программирование
Экземпляры: Всего: 5, из них: к3-5
Подробнее
Аннотация: Изложение основывается на объединении в одном курсе вопросов, имеющих отношение к последовательным и параллельным моделям, с большим акцентом на параллельных вычислениях. Подробно излагаются такие темы, как алгоритмы на графах, вычислительная геометрия, фундаментальные модели вычислений, умножение матриц, обработка изображений, нахождение приближенного значения определенных интегралов.
12. Книга
bookCover
Дуванов Александр Александрович.
Транслятор?. Это очень просто! / Дуванов Александр Александрович. - Москва : Чистые пруды , 2009. - 32 с. : табл. - (Библиотечка "Первого сентября" ) (Информатика ; вып. 26). - ISBN 978-5-9667-0549-7 : 25.00.
Шифры: З973.2 - Д 79
Ключевые слова: Информатика, Задачи по информатике, Рекурсивные алгоритмы, Формы Бэкуса - Наура, Трансляторы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В брошюру включены примеры и большое количество задач, связанных с лексическим анализом выражений, построением и интерпретацией форм Бэкуса - Наура (БНФ), основами проектирования трансляторов. Особое внимание уделено рекурсивным алгоритмам.
13. Книга
bookCover
Островский Сергей Львович.
Функциональное программирование на языке Лисп : элективный курс / Островский Сергей Львович. - Москва : Чистые пруды, 2009. - 28, [1] с. - (Библиотечка "Первого сентября") (Информатика ; вып. 27). - ISBN 978-5-9667-0570-1 : 25.00.
Шифры: З973.2 - О-77
Ключевые слова: Информатика, Языки программирования, Лисп, язык программирования, Рекурсивные алгоритмы, Вычислительные задачи, Множества, Комбинаторные алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Знакомство с основами языка Лисп наилучшим образом способствует развитию навыков конструирования рекурсивных алгоритмов и пониманию сути рекурсии. В брошюре рассмотрены основы языкам содержится большое количество задач по темам "Обработка списков", "Вычислительные задачи", "Множества", "Комбинаторные алгоритмы".
14. Документ
bookCover
Окулов Станислав Михайлович.
Основы программирования / Окулов Станислав Михайлович; С. Окулов. - 4-е изд. - Москва : Бином. Лаб. знаний, 2008. - 440 с. : ил. ; 22см. - Библиогр. в конце кн. - ISBN 978-5-94774-838-3 : 145.00.
Шифры: З973.2 - О-52
Ключевые слова: Компьютеры, Программирование
Экземпляры: Всего: 5, из них: к3-5
Подробнее
15. Документ
bookCover
Кузнецов Олег Петрович.
Дискретная математика для инженера / Кузнецов Олег Петрович; О. П. Кузнецов. - Изд. 5-е, стер. - СПб. [и др.] : Лань, 2007. - 394, [1] с. : ил., табл. - (Учебники для вузов). - Библиогр.: с. 388-389. - Предм. указ.: с. 390-393. - ISBN 978-5-8114-0570-1 : 299.55.
Шифры: В174 - К89
Ключевые слова: Дискретная математика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
16. Книга
bookCover
Марченков Сергей Серафимович.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Шифры: В127 - М30
Ключевые слова: Вычислимые функции, Рекурсивные функции
Экземпляры: Всего: 4, из них: к3-4
Подробнее
17. Книга
bookCover
Мейер Бертран.
Объектно-ориентированное конструирование программных систем : [пер. с англ.] / Мейер Бертран; Б. Мейер. - Москва : Русская Редакция : Интернет университет информационных технологий, 2005. - XXVII, 1198 с. : ил. ; 24 см. + Приложение (2 электронных оптимальных диска CD-ROM). - Перевод изд.: Object-oriented software construction / Bertrand Meyer. - Предм. указ.: с. 1193-1198. - ISBN 5-7502-0255-0 : 699.00.
Авторы: Мейер Бертран, Мейер Бертран, Биллиг В. А.
Шифры: З973.2 - М45
Ключевые слова: Программное обеспечение, Конструирование программных систем, Программные системы, Программирование для ЭВМ, Объектно-ориентированное конструирование, Объектно-ориентированное программирование, Компьютеры
Экземпляры: Всего: 15, из них: к3-15
Подробнее
18. Книга
bookCover
Мартин Роберт К.
Быстрая разработка программ : Принципы, примеры, практика / Мартин Роберт К.; Р. К. Мартин, а также Джеймс В. Ньюкирк и Роберт С. Косс; [пер. с англ. А. П. Сергеева и Т. А. Шамренко]. - Москва и др. : Вильямс, 2004. - 739,[5] с. : ил. ; 23 см. - Перевод изд.: Active software development / Robert C. Martin with contributions by James W. Newkirk and Robert S. Koss ( Pearson Education, Inc., 2003). - Библиогр. в подстроч. примеч. - Предм. указ.: с.738-739. - ISBN 5-8459-0558-3. - ISBN 0-13-597444-5 : 599.00.
Авторы: Мартин Роберт К., Мартин Роберт К., Ньюкирк Джеймс В., Косс Роберт С., Сергеев А. П., Шамренко Т. А.
Шифры: З973.2 - М29
Ключевые слова: Компьютеры, Программирование для ЭВМ, Быстрое программирование, Экстремальное программирование
Экземпляры: Всего: 4, из них: к3-4
Подробнее
19. Документ
bookCover
Сачков Владимир Николаевич.
Введение в комбинаторные методы дискретной математики : учебное пособие для студентов вузов, обучающихся по специальностям "Прикладная математика" и "Кибернетика" / Сачков Владимир Николаевич. - Москва : Наука, 2004. - 384 с. - Документ создан на книгу, но есть еще "Электронный ресурс". - Извлечено из: Математические основы программирования. - М., 2005. - (Электронная библиотека). - Библиогр.: с. 381-382. - 1.00.
Шифры: В174 - С 22
Ключевые слова: Дискретная математика, Комбинаторные методы, АВМ, CD-ROM
Экземпляры: Всего: 3, из них: к3-3
Подробнее
20. Документ
bookCover
Сачков Владимир Николаевич.
Введение в комбинаторные методы дискретной математики / Сачков Владимир Николаевич; В. Н. Сачков. - 2-е изд. ; испр. и доп. - Москва : Московский центр непрерывного математического образования, 2004. - 421 с. - Библиогр.: с.415-417. - Предм. указ.: с.418-421. - ISBN 5-94057-116-6 : 71.00.
Шифры: В174 - С22
Ключевые слова: Дискретная математика, Комбинаторные методы
Экземпляры: Всего: 2, из них: к3-2
Подробнее