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

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

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

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

    курс лекций, добавлен 21.05.2015

  • Биографический очерк деятельности американского математика, логика и создателя абстрактной вычислительной машины, способной запрограммировать любые алгоритмы. Анализ представления информации в современных ЭВМ. Задания и программы для машины Поста.

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

  • Представление информации в вычислительных системах. Архитектура и принципы работы основных логических блоков ЭВМ. Системы счисления. Правила недесятичной арифметики. Внутренняя структура вычислительной машины. Характеристика типов вычислительных систем.

    тест, добавлен 26.07.2009

  • Изучение понятия внутренней памяти компьютера, которая представлена в виде отдельных интегральных микросхем, выполняющих непосредственно функцию хранения программ и данных. Дешифратор знакового семисегментного индикатора. Микропрограммные автоматы на ПЗУ.

    лекция, добавлен 12.01.2015

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

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

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

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

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

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

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

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

  • Простой алгоритм вывода линии. Положительные черты прямого вычисления. Алгоритм ЦДА - Цифрового Дифференциального Анализатора (Digital Differential Analyzer). Общие требования к изображению отрезка. Алгоритм Брезенхема. Недостатки симметричного алгоритма.

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

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

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

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

    конспект урока, добавлен 31.10.2015

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

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

  • Обзор средств создания обучающих программ и формирование требований к учебнику. Алгоритм проверки корректности определений и выделения списка исходных понятий. Обоснование выбора среды программирования. Организационно-экономическое обоснование проекта.

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

  • Алгоритм вычисления площади трапеции. Определение существования треугольника по двум углам. Алгоритм с использованием структуры "цикл с параметром". Способы представления алгоритмов. Линейная алгоритмическая конструкция. Понятие рекурсивного алгоритма.

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

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

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

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

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

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

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

  • Характеристика программы проверки типа квадратных матриц, составленной с помощью парадигмы объектно–ориентированного программирования. Листинг программы с комментариями, алгоритм её работы. Особенности тестирования и отладка программного продукта.

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

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

    шпаргалка, добавлен 20.04.2014

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

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

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

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

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

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

  • Стандартные библиотеки для работы с потоками ввода/вывода (iostream.h) и для управления программой (conio.h). Пользовательские функции: drawResult для вывода данных на экран и check для проверки выполнения условий задачи. Алгоритм работы программы.

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

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

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

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

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

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