Учебное пособие. — ВГЛТУ им. Г. Ф. Морозова. — Воронеж, 2024. — 256 с. В учебном пособии содержатся основные сведения об алгоритмах, включающие понятие и свойства алгоритма, распространённые способы описания алгоритмов, базовые алгоритмические структуры и примеры разработки алгоритмов. Приведено описание языка программирования Си, включающее алфавит и ключевые слова, базовые...
Диссертация на соискание ученой степени кандидата технических наук: 2.3.1. – Системный анализ, управление и обработка информации, статистика (технические науки). – Национальный исследовательский университет Московский институт электронной техники. 2024 – 120 с. Научный руководитель: д.т.н., доцент Телышев Д.В. Цель исследования. Разработать методы и алгоритмы...
Выпускная квалификационная работа, ФГБОУ ВО "Российский государственный гидрометеорологический университет", Институт Информационных систем и геотехнологий, кафедра Прикладной информатики, Санкт–Петербург, 2020 - 64 с. Анализ предметной области Структура и функции системы управления АНПА Функциональная схема локальной вычислительной сети АНПА Навигационные средства АНПА Анализ...
Учебно-методическое пособие. – Минск : Белорусский государственный университет информатики и радиоэлектроники, 2024. – 212 с. — ISBN 978-985-543-738-4. Пособие написано согласно учебным планам и программам учебных дисциплин «Основы алгоритмизации и программирования» для студентов специальностей 6-05-0612-01 «Программная инженерия» и 6-05-0611-05 «Компьютерная инженерия»....
Методические указания по выполнению контрольной работы для студентов заочной формы обучения, обучающихся по направлению «Прикладная информатика». — Ижевск: Удмуртский государственный аграрный университет (УдГАУ), 2023. — 17 с. В методических указаниях рассматриваются теоретические и практические вопросы алгоритмизации и программирования. В них содержится 18 вопросов и пять...
Диссертация на соискание ученой степени кандидата технических наук: 05.13.11. – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. — Центр информационных технологий и систем органов исполнительной власти.— Москва. 2019. — 147 с. Научный руководитель: кандидат технических наук Пошатаев О.Н. Цель исследования. Повышение качества...
Диссертация на соискание ученой степени кандидата технических наук: 05.13.11. – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. — МИРЭА — Российский технологический университет.— Москва. 2019. — 109 с. Научный руководитель: доктор технических наук, профессор Никульчев Е. В. Цель исследования. Разработка математического и...
Диссертация на соискание ученой степени кандидата технических наук: 05.13.15. – Вычислительные машины, комплексы и компьютерные сети. Рязанский государственный радиотехнический университет имени В.Ф. Уткина. — Рязань. 2019. — 206 с. Научный руководитель: доктор технических наук, профессор Заслуженный деятель науки и техники Российской Федерации, Корячко В.П. Цель исследования....
Диссертация на соискание ученой степени кандидата технических наук: 05.13.11. –– Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. — МИРЭА — Российский технологический университет.— Москва. 2020. — 126 с. Научный руководитель: доктор технических наук, профессор Тарасов И.Е. Цель исследования. Разработка математического и...
Диссертация на соискание ученой степени кандидата технических наук: 05.13.15. — Вычислительные машины, комплексы и компьютерные сети. — ПАО ИНЭУМ им. И.С.Брука.— Москва. 2020. — 163 с. Научный руководитель: доктор технических наук, заместитель генерального директора Фельдман В.М. Цель исследования. Разработка научно обоснованных методов масштабирования подсистемы памяти...
Таганрог: Таганрогский технологический институт ЮФУ, 2009. — 76 с. Практикум предназначен для приобретения опыта разработки алгоритмов для задач поиска, сортировки и задач на графах и их программирования в системе Borland C++Builder. Лабораторные работы № 3 – № 6 предназначены для последовательного изучения среды программирования Borland C++ Builder и основных компонентов...
Таганрог: Таганрогский технологический институт ЮФУ, 2009. — 56 с. Практикум предназначен для приобретения опыта разработки алгоритмов для задач поиска, сортировки и задач на графах и их программирования в системе Borland C++Builder. Лабораторные работы № 1 и № 2 предназначены для систематизации знаний по языку C/C++ и методологии разработки алгоритмов и программ на основе...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
Учебное пособие. — Самара: Самарский университет, 2004. — 78 с. Основой данного учебного пособия являются материалы лекций, прочитанных автором по первой половине курса “Методы программирования” для специальности 075200 — «Компьютерная безопасность». В пособии кратко рассматриваются наиболее распространенные в настоящее алгоритмы по обработки информации. Предназначено для...
Диссертация на соискание ученой степени кандидата технических наук: 05.13.05 – Элементы и устройства вычислительной техники и систем управления. — Юго-западный государственный университет. — Курск, 2016. — 137 с. Научный руководитель: д.т.н., доцент Чернецкая И. Е. Введение. Анализ существующих вычислительных систем, методов и устройств распараллеливания последовательных...
Диссертация на соискание степени кандидата технических наук. 2.3.8. Информатика и информационные процессы (технические науки). – Казанский (Приволжский) федеральный университет. – Казань. 2023. – 167 с. Научный руководитель: PyD, профессор кафедры интеллектуальной робототехники Института информационных технологий и интеллектуальных систем КФУ Магид Е.А. Цель исследования....
Addison-Wesley Professional, 2007. — 175 p. That alone merits at least a thumb-through of any book. Beck's self-described premise of this book is that "good code matters." He goes on to state his goal of showing us how to communicate ideas better in code. -Cons- This book tackles a subject that is not quite as crucial as some others. Beck says, "This book fits somewhere between...
Методическая разработка по курсу “Информатика” для студентов дневного и вечернего обучения. — Н. Новгород: Нижегородский государственный технический университет, 2001. — 43 с. Представлены основные элементы алгоритмизации и программирования процессов обработки различных типов данных средствами алгоритмического языка Турбо Паскаль. Приведены примеры составления различных видов...
Second Edition. — Packt Publishing, 2023. — ISBN 978-1-80324-776-2. This book covers the information needed to understand, classify, select, and implement important algorithms. In addition to explaining their logic, this book also discusses data structures, development environments, and production environments that are suitable for different classes of algorithms. This is the...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...