Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

Теория конечных автоматов и формальных языков. Гриф. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Пособие содержит систематическое изложение теоретических и практических подходов к созданию трансляторов для языков программирования. Описываются алгоритмы и методики для построения различных компонентов транслятора — лексического, синтаксического и семантического анализаторов, а также методы для описания перевода.

Проанализированы проблемы разработки и применения систем и модулей поиска информации, основанных на принципах искусственного интеллекта, а также формирование предметно-ориентированных порталов, объединяющих систематизированные информационные ресурсы сети Интернет конкретной предметной области, механизмы их обработки. Разработаны математические модели и алгоритм для систем мониторинга информации на основе онтологического подхода, описана концепция системы формирования знаний.

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

В книге, неформально и довольно детально, разобран значительный набор алгоритмов и методов. Большая часть представленных алгоритмов доведена до реализации на языке Компонентный Паскаль. Для большей прозрачности изложения реализация выполнена пошагово с четкой формулировкой задач каждого шага и записью программного фрагмента. Изложение сопровождается заданиями для самостоятельной работы, количество и сложность которых достаточны для хорошего усвоения материала. Требования к математическим знаниям минимальны, некоторые важные математические понятия и темы кратко изложены в приложении. На сайте издательства вы можете скачать бесплатную среду программирования Блэкбокс, запустив которую вы сразу начнете работу, а также сборник листингов к книге.

В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

В монографии рассматриваются теоретические основы и технологические решения в области разработки систем машинного перевода текстов нового поколения — систем фразеологического машинного перевода. Концепция создания таких систем была предложена проф. Г.Г. Белоноговым в 1975 г. в его предисловии к книге Д.А. Жукова «Мы — переводчики». В рамках этой концепции впервые было сформулировано утверждение, что в качестве основных единиц смысла в словарях систем машинного перевода должны использоваться наименования понятий — фразеологические словосочетания. В монографии описаны основные принципы и технологии создания и функционирования таких систем, позволяющих получать высокое качество перевода текстов. Наряду с техническими решениями, в ней также рассмотрены процессы управления функционированием системы, ее настройки на конкретные предметные области и взаимодействия пользователей с системой в процессе диалогового общения.

Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании — без привязки к какой-либо программной или аппаратной платформе и языку программирования.

Пособие представляет собой сборник методических указаний к лабораторным работам. Предназначено для студентов факультета информатики, обучающихся по специальностям 010400.62 и 010400.68 "Прикладная математика и информатика".

Основой учебного пособия стал материал, прочитанный автором студентам соответствующих специальностей в Новосибирском государственном техническом университете и Казахстанско-Британском техническом университете в курсах «Теория формальных языков и компиляторов», «Системное программное обеспечение», «Лингвистическое обеспечение». В учебном пособии рассмотрена теория порождающих грамматик, конечных автоматов и регулярных выражений. Все теоретические механизмы анализа и синтеза языковых конструкций строго формализованы и составляют теоретические основы проектирования языков программирования. Реализация языков программирования представлена разработкой языковых процессоров. Переход от формальных языков к языковым процессорам выполнен через конструктивные методы анализа со строгими моделирующими алгоритмами, которые могут быть реализованы на языках высокого уровня или с помощью современных средств автоматизации программирования. В пособии рассмотрены средства ANTLR и FLEX & BIZON для автоматизации программирования парсера и лексера.

В учебнике раскрываются теоретические основы управления процесса разработки информационных систем и программных продуктов, вопросы применения методик управления проектами в области информационных технологий, а также формирования профессиональных компетенций в части выполнения проектных работ по автоматизации и информатизации прикладных процессов и управлению проектами информационных технологий. Рассматриваются технологические процессы разработки - дается обзор стандартов в области разработки информационных систем и программного обеспечения. Даются рекомендации по решению практических задач построения системы управления информационными системами и технологиями современных предприятий. Рассматриваются вопросы управления качеством проекта по разработке программного обеспечения и внедрению информационных систем.

Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании — без привязки к какой-либо программной или аппаратной платформе и языку программирования.

Первое издание словаря содержит 2600 словарных статей — около 4 тыс. переводных терминов, используемых в робототехнике и в работах по искусственному интеллекту (ИИ), а также в связанных с ними прикладных областях.

В книге рассматриваются вопросы наиболее перспективного направления исследований в информационно-коммуникационных технологиях — модели квантовых вычислений. Текст построен как можно более просто — главной задачей автор поставил для себя возможность чтения книги без наличия специальных знаний по квантовой механике и другим естественным наукам, наполненным математическим анализом. В качестве языка программирования, при помощи которого иллюстрируются многочисленные примеры, выбран функциональный язык Haskell, поэтому читатель должен владеть этим языком для полноценного чтения книги.

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон.

Метрическая теория программ, созданная М. Холстедом около трех десят- ков лет назад, в данном учебнике изложена концептуально и математически как одно из приложений алгоритмической теории сложности. Это позволило придать ей не только логическую последовательность, но и уточнить смысл базовых понятий; кроме того, впервые дать строгую оценку точности основ- ных соотношений, составляющих ядро расчетных методов программной ин- женерии. Предложенный в учебнике алгоритм расчета характеристик и тру- доемкости программного обеспечения является, по существу, аналогом мето- да функциональных точек, параметры и количество которых определяются на основе этой теории.

В книге рассматриваются вопросы наиболее перспективного направления исследований в информационно-коммуникационных технологиях — модели квантовых вычислений. Текст построен как можно более просто — главной задачей автор поставил для себя возможность чтения книги без наличия специальных знаний по квантовой механике и другим естественным наукам, наполненным математическим анализом. В качестве языка программирования, при помощи которого иллюстрируются многочисленные примеры, выбран функциональный язык Haskell, поэтому читатель должен владеть этим языком для полноценного чтения книги.

В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста.

Пособие содержит задания для лабораторных работ по темам: «Регулярные выражения», «Автоматные грамматики», «Лексический анализатор» и «Обработка текстовой информации с помощью регулярных выражений». Приведен необходимый для выполнения заданий теоретический материал.

Это пособие предназначено для студентов отделений «Профессиональное образование (экономика и управление)», «Менеджмент организации» института естествознания и экономики. В первой части пособия приводятся теоретические сведения: основные понятия, определения, формулировки задач принятия оптимального решения, соответствующие формулы, 4 основные теоремы. В ней рассмотрено сведение любой задачи линейного программирования к канонической системе ограничений и ее решения, а также все виды задач линейного программирования. Во второй части дается теоретическое обоснование и практическое применение симплексного метода. Детально разобран графический метод решения задачи линейного программирования с двумя переменными. Даны примеры решения и оформления задач линейного программирования и задачи для самостоятельного решения с ответами. В третьей части содержится контрольная работа, составленная в 25 вариантах. Рассчитана она на 2 академических часа и содержит задачи линейного программирования, которые надо решить разными способами (графическим, симплексным и с помощью симплекс – таблицы).

Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др.

Приведены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Пособие подразделено на темы, в рамках каждой из которых предложены теоретический материал, проиллюстрированный примерами, а также упражнения для самостоятельной работы. Пособие адресовано студентам, изучающим теорию вычислительных процессов.

Материалы учебного пособия подготовлены на основе результатов проведенных автором исследований и теоретических обобщений по алгоритмизации прикладных задач, решаемых на электронных вычислительных машинах. Должное внимание уделяется положениям и рекомендациям методического характера, с тем, чтобы материалы пособия могли служить методическим руководством для самостоятельной работы читателя по практической разработке, описанию алгоритмов в интересах их программной реализации.

Изложены основные вопросы, касающиеся проблемы обеспечения качества сложного программного обеспечения для автоматизированных и информационных систем, что связано с решением задач управления качеством в течение всего жизненного цикла. Освещены базовые метрические средства, связанные с оценкой программных систем с позиции обеспечения их функциональности и надёжности работы. Показана направленность отдельных категорий метрических средств. Рассмотрена методика оценки характеристик программных изделий, а также методика планирования программного проекта, базирующаяся на ключевых положениях программометрии.

Методическое пособие может использоваться педагогами, преподающими объектно-ориентированное программирование на языке Delphi.

Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. Пособие затрагивает не только теоретические основы рассматриваемой модели представления знаний, но и ее реализацию на языке логического программирования Пролог. Таким образом, студенты не только овладевают теоретическими основами представления знаний в логической модели, но и получают практические навыки применения знаний при написании и отладке логических программ.

Рассмотрены различные варианты и примеры разработки блок-схем алгоритмов технических задач и способы проверки работоспособности алгоритмов с помощью трассировочных таблиц.

ADAMS/View, ADAMS/PostProcessor: краткий справочник пользователя. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Пособие является частью комплекса, предназначенного для обучения основам программирования на языке Object Pascal в среде PascalABC.NET. Комплекс включает, помимо данной книги, методические рекомендации для преподавателя, дополнительный задачник и набор учебных файлов, обеспечивающих полноценный и эффективный процесс обучения основам программирования. НА САЙТЕ РУКОНТ ПРЕДСТАВЛЕН ТОЛЬКО ТЕКСТ КНИГИ БЕЗ НАБОРА УЧЕБНЫХ ФАЙЛОВ.

Рассмотрены организация работы с документом, форматирование страниц, абзацев и символов, создание таблиц и диаграмм, оформление текстового документа: создание списков, вставка символов и формул, работа с табулостопами и колонками, оформление страниц — подложка, буквица, границы, заливка, изображения, сноски, текстовые поля, примечания. Большое внимание уделяется стилевому форматированию, работе с разделами и структурой документа, вставке колонтитулов и номеров страниц, созданию титульного листа, оглавления, списка литературы, ссылок на источники, иллюстраций, перекрестных ссылок, указателей, гиперссылок и закладок. Содержит 4 главы, 33 раздела, 13 лабораторных работ, контрольные вопросы и задания для самопроверки.

Наука добилась больших успехов в моделировании пространства, времени, массы и энергии, но слишком мало сделала для того, чтобы создать модель информации, заполняющей нашу Вселенную. Данная книга рассказывает о том, как ученые соединили методы моделирования сложных процессов и теорию информации, благодаря чему стало возможно измерить сложность всех явлений мироздания в битах. Построенная на основе серии рецензируемых статей, книга написана языком, легко понятным для читателей со знанием математики на уровне средней школы. Если читатель стремится бегло охватить тему или не интересуется математическими подробностями, он может пропустить разделы, отмеченные специальным значком, и все равно испытает восторг от знакомства с новой захватывающей моделью информации о природе.

Основанные на трансформерах языковые модели – преобладающая тема исследований в области обработки естественного языка (NLP). В этой книге рассказывается, как создавать различные приложения NLP на основе трансформеров, используя библиотеку Python Transformers. Вы познакомитесь с архитектурой трансформеров и напишете свою первую программу для работы с моделями на основе этой передовой технологии.

В пособии (курс лекций) представлено систематизированное изложение методологических основ формирования управленческого решения, особенностей процесса принятия управленческих решений, описание содержания создания систем поддержки принятия решений.

Представлен обзор основных методов нелинейного динамического анализа и изложена концепция структурного анализа квазихаотических систем и процессов с позиций теории самоорганизации. Приведены примеры практического приложения предлагаемых методов структурного анализа в медико-биологических и научно-технических исследованиях.

В учебном пособии излагаются модели представления знаний, теория экспертных систем, основы логического и функционального программирования. Большое внимание уделено истории развития искусственного интеллекта. Изложение материала сопровождается большим количеством иллюстраций, предлагаются упражнения и вопросы для самоконтроля.

Каждую секунду во всем мире собирается и динамически обновляется огромный объем информации. Графовые алгоритмы, которые основаны на математике, специально разработанной для изучения взаимосвязей между данными, помогают разобраться в этих гигантских объемах. и, что особенно важно в наши дни, они улучшают контекстную информацию для искусственного интеллекта. Эта книга представляет собой практическое руководство по началу работы с графовыми алгоритмами. В начале описания каждой категории алгоритмов приводится таблица, которая поможет быстро выбрать нужный алгоритм и ознакомиться с примерами его использования. Для изучения материала книги желателен опыт использования платформ Apache Spark или Neo4j, но она пригодится и для изучения более общих понятий теории графов, независимо от выбора графовых технологий.

Рассматривается управление проектной деятельностью в частности управление разработкой программного обеспечения. Пособие состоит из предисловия и 9 глав, охватывающих вопросы планирования, организации разработки, контроля и мотивации. Рассматриваются также вопросы управления рисками, роли руководителя, методы достижения компромисса и консенсуса при разработке программных проектов. В пособии приведены контрольные вопросы для самопроверки, а также материалы для практических занятий.

Практикум предназначен для получения навыков работы с языком программирования VBA (Visual Basic for Applications). Дано описание визуальной среды программирования. Изложены приемы разработки графического интерфейса проектов, интегрированных с офисным приложением Microsoft Excel. Сделан акцент на работу с основными алгоритмическими структурами, технологии обработки массивов данных, программирование графики. Представлены процедуры численных методов решения полиномов, нелинейных уравнений, нахождения экстремумов, вычисления интегралов и суммы ряда, приведены примеры применения VBA для программирования задач АВС-анализа. Рассмотрены основы двоичного кодирования в машинной арифметике, реализация базовых алгоритмов на диалектах языка Pascal и в интегрированной среде разработки Delphi 10.3. Учебное издание содержит более 200 примеров и более 350 заданий, вопросы для самопроверки усвоения изученного материала.

Рассматриваются возможности современных программно-аппаратных средств (нейроинтерфейсов и айтрекеров) в когнитивных исследованиях. Изложение теоретических основ программно-аппаратного обеспечения и примеров новых исследований, проведенных с его использованием, дополнено описанием лабораторных работ, цель которых – обучиться применению нейротехнологий на практике.

Пособие представляет собой сборник задач для практических занятий. Предназначено для студентов факультета информатики, обучающихся по специальностям 010400.62 и 010400.68 "Прикладная математика и информатика".

Данное пособие является практическим руководством к решению математических задач в системе Maple. В пособии рассматриваются задачи из линейной алгебры, математического анализа, дифференциальных уравнений, вычислительной математики и теоретической механики. Также читателю предлагается широкий спектр задач для самостоятельного решения. Отметим, что работа с пособием предполагает знание основ высшей математики, а также знание, хотя бы в минимальном объеме, основ программирования.

Пособие представляет лабораторный практикум, подготовленный в соответствии с Федеральным государственным образовательным стандартом высшего образования. В нём рассматривается теория и практика реализации языка гипертекстовой разметки HTML и языка web-программирования JavaScript.

Scala — современный, мультипарадигменный язык программирования, позволяющий описывать типичные шаблоны программирования компактнее, выразительнее и безопаснее. Scala прекрасно сочетает в себе черты объектно-ориентированных и функциональных языков. Книга начинается с введения в основы конкурентного программирования в JVM и описания модели памяти в Java, а после демонстрирует основные строительные блоки для реализации конкурентных вычислений, такие как атомарные переменные, пулы потоков и конкурентные структуры данных. Затем рассматриваются разные высокоуровневые абстракции конкуренции, каждая из которых ориентирована на решение определенного класса задач, при этом затрагиваются самые последние достижения в поддержке асинхронного программирования. Также охватываются некоторые полезные шаблоны и способы использования описываемых приемов. В заключение дается краткий обзор применения разных библиотек поддержки конкуренции и демонстрируется возможность их совместного использования.

Первые издания этого руководства давно стали настольной книгой по инженерии требований для специалистов, а также преподавателей колледжей и университетов по всему миру. Книга помогла многочисленным читателям разобраться в принципах и практиках современной инженерии требований, дала им знания, умения и навыки, необходимые для создания как традиционных технических, так и программных систем. В основе изложения лежит использование обобщенного типового процесса инженерии требований. Такой подход позволяет читателю глубже понять сущность инженерии требований и её ключевую роль в общем процессе системной инженерии. Используя результаты, полученные в науке и промышленности за последние годы, третье издание предоставляет полезную для инженеров информацию о том, как описывать, структурировать и документировать требования к системам различной природы и назначения, а также управлять требованиями. Издание осуществлено при поддержке Русского института системной инженерии, продолжающего этой книгой свою библиотеку по системной инженерии.

В книге излагаются новые полезные для практики идеи и достижения на стыке информатики, управления и психологии. Показано, что алгоритмы, сила ума, интеллектуальный комфорт и эффективность бизнеса тесно связаны. Дается общедоступный практический курс, помогающий ускорить разработку алгоритмов и программ, увеличить силу ума, упростить формализацию профессиональных знаний, облегчить проектирование сложной деятельности и бизнес-процессов. Курс основан на «дружелюбных» графических языках, обладающих удивительной наглядностью, «заставляющих» мозг мыслить отчетливо, глубоко и продуктивно.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Содержит теоретический и методический анализ подходов к проблеме электронного образования. В пособии разработаны вопросы практического психолого-педагогического сопровождения обучающихся в цифровой образовательной среде: готовность к цифровому обучению, диагностика обучающихся, консультирование, тьюторство в электронном обучении.

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.

В книге описаны теоретические положения и принципы, связанные с методами разработки программ, критерии качества программ и этапы проектирования объектно-ориентированного программного продукта, а также наиболее широко используемые алгоритмы поиска и сортировки информации. Книга знакомит читателей с основными понятиями языков программирования, основами программирования в Object Pascal и принципами визуального программирования, в том числе при работе с базами данных и динамическими структурами.