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

Разложение функций по переменным. Совершенная дизъюнктивная нормальная форма. Разрешимoсть задач в классической теории алгоритмов и их трудоемкость. Память и время как количественная характеристика алгоритма (применительно к машине Тьюринга и ЭВМ).

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

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

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

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

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

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

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

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

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

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

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

  • Построение эмпирических формул методом наименьших квадратов. Линеаризация экспоненциальной зависимости. Элементы теории корреляции. Расчет коэффициентов аппроксимации, детерминированности в Microsoft Excel. Построение графиков функций, линии тренда.

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

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

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

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

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

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

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

  • Методы доступа к сети. Алгоритм ALOHA, используемый для доступа к радиоканалу большого числа независимых узлов. Эффективность алгоритма CSMA/CD. Метод маркерного доступа. Ethernet – самый распространенный в настоящий момент стандарт локальных сетей.

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

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

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

  • Построение граф-схем и матричной схемы алгоритмов. Формулы фазовых переходов. Выполнение операции "Пересечение" над заданными отношениями базы данных. Принципы взаимосвязи страниц виртуальной памяти с сегментами оперативно запоминающих устройств.

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

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

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

  • Обзор решений классической модели VRP. Особенности прокладывания маршрутов доставки заказов. Анализ полученных результатов применения реализованных алгоритмов решения задач. Использование API сторонних сервисов. Модель спроектированной базы данных.

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

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

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

  • Программирование линейных и ветвящихся процессов; циклов с предусловием, постусловием и параметром для вычисления сложных сумм и произведений рядов; таблицы значений функции двух переменных. Блок-схемы алгоритмов. Тексты программ и результаты их работы.

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

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

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

  • Сравнение результатов работы генетического алгоритма по решению "несимметричной незамкнутой задачи коммивояжера" с результатами работы алгоритма динамического программирования по параметрам - время работы, точность результата и объем используемой памяти.

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

  • Ознакомление со структурой и основными свойствами языка программирования Лисп; рассмотрение его арифметических, логических и специальных функций. Характеристика отличительных особенностей диалектов языка - MacLISP, MuLISP, InterLISP и CommonLISP.

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

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

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

  • Использование DirectX для решения задач по выводу и обработке графики в Microsoft Windows. Описание используемых DirectX-функций. Исходный текст отлаженной программы. Техника работы с окнами. Результаты работы программы, составление алгоритма, листинг.

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

  • Управление файловой системой средствами Windows Explorer (Проводник). Цифровое представление вещественных чисел. Запуск MS Excel. Метод нисходящего проектирования. Характеристики плавающего числа двойной точности. Понятие компьютерной безопасности.

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

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

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

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

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

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

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

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