Теория вычислительных процессов
Основные понятия теории вычислимости и разрешимости. Способ вычисления функций с помощью машины Тьюринга. Конечные детерминированные полностью определённые одноленточные автоматы, алгоритм проверки эквивалентности. Стандартные, рекурсивные схемы программ.
Подобные документы
Разработка методики математического моделирования сложных процессов приятия решений с помощью алгебраических сетей с различными алгебрами. Доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
автореферат, добавлен 25.07.2018История развития информатики как науки, предмет ее изучения. Содержание теоремы Шеннона о максимальном значении энтропии. Описание основных видов информационных процессов. Композиция и итерация алгоритмов - базовые операции над машинами Тьюринга.
курс лекций, добавлен 26.09.2011Понятия теории моделирования. Сущность метода статистических испытаний и его реализации с помощью компьютера. Обобщенные алгоритмы статистического моделирования. Структура информационно–вычислительных систем. Оценка производительности компонентов.
курс лекций, добавлен 21.05.2015Биографический очерк деятельности американского математика, логика и создателя абстрактной вычислительной машины, способной запрограммировать любые алгоритмы. Анализ представления информации в современных ЭВМ. Задания и программы для машины Поста.
реферат, добавлен 06.11.2013Представление информации в вычислительных системах. Архитектура и принципы работы основных логических блоков ЭВМ. Системы счисления. Правила недесятичной арифметики. Внутренняя структура вычислительной машины. Характеристика типов вычислительных систем.
тест, добавлен 26.07.2009- 106. Постоянная память
Изучение понятия внутренней памяти компьютера, которая представлена в виде отдельных интегральных микросхем, выполняющих непосредственно функцию хранения программ и данных. Дешифратор знакового семисегментного индикатора. Микропрограммные автоматы на ПЗУ.
лекция, добавлен 12.01.2015 Характеристика рынка программ хранения и обработки документов, сущность пакета программ MS Office. Создание таблицы с помощью Мастера таблиц и Конструктора таблиц. Основные офисные средства составления, хранения, обработки и копирования документов.
контрольная работа, добавлен 29.10.2012Понятие о методах автоматизированного проектирования технологического процесса. Уровни унификации обработки. Процесс взаимодействия человека и ЭВМ. Развитие теории проектирования и вычислительной техники. Тексты программ, результаты их проверки.
реферат, добавлен 24.05.2014Организация диспетчеризации в распределенных вычислительных системах. Использование математического аппарата теории сетевого анализа. Употребление нейронных сетей для оптимизации процесса перераспределения ресурсов в РС. Методы адаптивного управления.
статья, добавлен 04.09.2013Разработка программы проверки знаний для тестирования студентов по программированию с кодом на языке Delphi. Анализ вида исходных данных, проектирование визуального интерфейса. Рассмотрение алгоритма разработанных процедур и функций, а также их описание.
курсовая работа, добавлен 04.05.2015- 111. Генерация векторов
Простой алгоритм вывода линии. Положительные черты прямого вычисления. Алгоритм ЦДА - Цифрового Дифференциального Анализатора (Digital Differential Analyzer). Общие требования к изображению отрезка. Алгоритм Брезенхема. Недостатки симметричного алгоритма.
презентация, добавлен 26.07.2013 Формирование представлений учащихся о линейных алгоритмах и навыках их записи с помощью блок-схем. Умение устанавливать соответствие между командами алгоритма, записанного словесно и элементами блок-схемы. Алгоритмические структуры: развилка, цикл и др.
конспект урока, добавлен 31.10.2015Решение задачи с помощью линейного алгоритма в среде программирования Turbo Pascal. Структура данных: массивы, строки, записи. Прямая и косвенная рекурсия. Рекурсивные алгоритмы и бинарный поиск. Сортировка включением и разделением, организация списков.
курсовая работа, добавлен 07.07.2012Принципы программирования с использованием функций, механизмов передачи и возврата данных в функцию. Исходные данные для отладки программы. Алгоритм табулирования функции. Определение функции для вычисления определенного интеграла от произвольной функции.
лабораторная работа, добавлен 02.02.2020Обзор средств создания обучающих программ и формирование требований к учебнику. Алгоритм проверки корректности определений и выделения списка исходных понятий. Обоснование выбора среды программирования. Организационно-экономическое обоснование проекта.
дипломная работа, добавлен 30.08.2010- 116. Линейный алгоритм
Алгоритм вычисления площади трапеции. Определение существования треугольника по двум углам. Алгоритм с использованием структуры "цикл с параметром". Способы представления алгоритмов. Линейная алгоритмическая конструкция. Понятие рекурсивного алгоритма.
контрольная работа, добавлен 27.03.2018 Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
автореферат, добавлен 16.02.2018Рассмотрение особенностей метрологического обеспечения информационно–измерительной системы. Определение уровня сложности и специфичности решаемых вычислительных задач. Метрологическая аттестация программ и алгоритмов информационно–измерительной системы.
презентация, добавлен 11.09.2016Создание базы данных на языке программирования С++ с элементами ее администрирования. Теоретические основы создания программ. Описание разработанной структуры массива данных. Схемы алгоритмов используемых функций. Логика работы программы и ее листинг.
курсовая работа, добавлен 21.02.2016Основные понятия и определения, классификация программ, этапы создания программного продукта в рамках жизненного цикла. Особенности отладки, тестирования, сопровождения программ. Структурное программирование с использованием процедур и функций.
учебное пособие, добавлен 15.01.2020Характеристика программы проверки типа квадратных матриц, составленной с помощью парадигмы объектно–ориентированного программирования. Листинг программы с комментариями, алгоритм её работы. Особенности тестирования и отладка программного продукта.
курсовая работа, добавлен 04.07.2018Анализ понятия "информатика", представление информации в компьютере. Изучение способов кодирования числовой информации. Рассмотрение общих принципов построения электронной вычислительной машины. Разновидности программ для персонального компьютера.
шпаргалка, добавлен 20.04.2014Разработка шаблона для создания кроссвордов и алгоритм проверки решения с использованием стандартных функций табличного процессора MS Excel. Минимизация затрат на разработку тестов и обеспечение рейтинговой оценки качества ответов в автоматическом режиме.
статья, добавлен 30.01.2020Создание большого числа методов, связанных с моделированием локальных вычислительных сетей. Изучение процессов передачи трафика в больших вычислительных сетях. Характеристика маршрутизации трафика, когда он идет через различные коммутационные узлы.
статья, добавлен 20.02.2019Стандартные библиотеки для работы с потоками ввода/вывода (iostream.h) и для управления программой (conio.h). Пользовательские функции: drawResult для вывода данных на экран и check для проверки выполнения условий задачи. Алгоритм работы программы.
контрольная работа, добавлен 03.12.2013