Теория вычислительных процессов

Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.

Подобные документы

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

    учебное пособие, добавлен 29.10.2008

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

    лабораторная работа, добавлен 27.05.2013

  • История развития электронно-вычислительных машин и персональных компьютеров. Архитектура клиент-сервер. Проведение экономических расчетов, с помощью пакета прикладных программ MS Office, СУБД Access, электронных таблиц Excel и других офисных программ.

    курсовая работа, добавлен 15.06.2011

  • Рассмотрение истории развития ЭВМ. Изучение методов обработки информации и представления результатов обработки в удобном для человека виде на вычислительных средствах. Анализ принципов Фон-Неймана. Оценка структурной схемы вычислительной машины.

    реферат, добавлен 27.01.2018

  • Взаимодействие синтаксических и семантических правил. Кодирование на языке программирования. Разделение машинно–ориентированных языков по степени автоматического программирования. Многооконный режим работы. Библиотеки стандартных программ и функций.

    презентация, добавлен 21.01.2014

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

    отчет по практике, добавлен 29.05.2015

  • Корреляционный и регрессионный анализ, выявление наличия взаимосвязи между признаками, определение силы (тесноты) и направления связи. Языки программирования, применяемые для разработки программ компьютерного моделирования и математических расчетов.

    реферат, добавлен 09.12.2009

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

    курсовая работа, добавлен 10.03.2018

  • Основное понятие модели и моделирования. Компьютерное моделирование объектов, процессов, графических и анимационных редакторов, табличных процессоров, программ для создания баз данных. Цели, принципы, преимущества и недостатки компьютерного моделирования.

    реферат, добавлен 12.09.2017

  • Определение компилятора, интерпретатора и транслятора. Изучение классификации языков программирования и различных компиляторов для языка программирования Basic. Характеристика соотношения классов языков программирования и программных интерпретаторов.

    курсовая работа, добавлен 17.10.2013

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

    реферат, добавлен 19.01.2017

  • Понятие и классификация локальных вычислительных сетей. Выбор состава основного и вспомогательного сетевого оборудования. Проектирование структуры локальной вычислительной сети, расчет экономических показателей её реализации и среда передачи данных.

    дипломная работа, добавлен 16.06.2017

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

    реферат, добавлен 27.02.2009

  • Основные задачи компиляторов и интерпретаторов. Свойства, возможности, инструменты и недостатки языка программирования Си. Заголовочный и библиотечный файлы как структурные элементы программы. Функции и особенности использования различных операторов.

    реферат, добавлен 17.05.2011

  • Организационное обеспечение рабочего места оператора электронно-вычислительных и вычислительных машин на предприятии. Общие сведения о техническом и программном обеспечении предприятия. Набор, обработка информации, расчеты, составление таблиц для отчетов.

    отчет по практике, добавлен 15.01.2016

  • Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.

    курсовая работа, добавлен 20.12.2021

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

    статья, добавлен 15.01.2011

  • Составление плана выполнения комплекса программ в многопроцессорных вычислительных системах (МВС). Механизмы адаптивного поведения муравьиной колонии. Роевой алгоритм планирования работы МВС. Распределение программных заявок на обслуживание процессором.

    статья, добавлен 31.10.2017

  • Компьютерные вирусы, их свойства и классификация. Пути проникновения вирусов в компьютер и механизм распределения вирусных программ. Основные признаки появления вирусов в компьютерной системе. Характеристика главных особенностей антивирусных программ.

    реферат, добавлен 27.10.2012

  • Повышение эффективности использования вычислительных ресурсов компьютеров. Принципы автоматизации производственных процессов. Классификация компьютерных сетей по физической и логической структуре. Схемы топологий физической и распределенной шины.

    курсовая работа, добавлен 17.01.2012

  • Основы обслуживания технических компонентов локальных вычислительных сетей. Резервное копирование и восстановление информации. Установка и обновление антивирусной программы Eset Nod 32 Smart Security. Установка программ и утилит на ПК пользователей.

    отчет по практике, добавлен 17.05.2016

  • Определение сущности языка программирования — формальной знаковой системы, предназначенной для записи компьютерных программ. Рассмотрение понятия транслятора и компилятора. Характеристика высокоуровневых и низкоуровневых языков программирования.

    реферат, добавлен 20.09.2014

  • Перечисление процессов, выполняемых в системе при программировании. Управление выполняемыми приложениями в рамках системы Windows. Свойства процессов в операционной системе. Описатель экземпляра процесса. Выполнение потоков при завершении процесса.

    курсовая работа, добавлен 05.12.2014

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

    контрольная работа, добавлен 28.12.2016

  • Архитектура локальных вычислительных сетей. Характеристика модели OSI. Методы передачи данных. Архитектура Ethernet и адресация компьютеров. Особенности семейства протоколов TCP/IP и Х25. Принципы объединения локальных сетей, их физическая структуризация.

    контрольная работа, добавлен 03.04.2010

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