Аналитическое и формальное доказательство теоремы в ИВ
Способы доказательства истинности рассуждений: прямое, формальное, аналитическое и доказательство от противного. Анализ алгоритма Вонга и алгоритма метода пропозициональной резолюций с помощью алгоритмической меры количества информации по Колмогорову.
Подобные документы
Понятие и формальное описание машины Тьюринга, ее свойства (дискретность, понятность, детерминированность, массовость) и программная реализация. Параметры вычислительной сложности алгоритма. Причины, ведущие к алгоритмической неразрешимости проблем.
курсовая работа, добавлен 01.10.2012Понятие генетического алгоритма (ГА). Построение математической модели и адаптация алгоритма для решения уравнения с четырьмя неизвестными. Аналитическое нахождение трудоемкости программы, линейная зависимость графика функции качества от длины генотипа.
курсовая работа, добавлен 24.06.2012Рассмотрение примеров использования алгоритма Кнута-Морриса-Пратта. Изучение алгоритма нахождения подслова в слове, доказательство ограниченного числа действий. Исследование алгоритма Бойера-Мура, его возможности, примеры использования и исключения.
задача, добавлен 16.01.2010Проблема разработки универсальных методов, пригодных для обработки информации. Оценка возможности использования модифицированного алгоритма кластеризации в задаче опорно-двигательного аппарата. Анализ и описание основных этапов алгоритма Хамелеон.
лекция, добавлен 30.01.2016История создания метода кодирования информации "RSA". Описание шифра RSA: блок схема его алгоритма. Способы взлома криптосистемы RSA. Устойчивые числа и их применение в криптосистеме. Рекомендуемая длина ключа. Применение алгоритма RSA на практике.
контрольная работа, добавлен 05.11.2015Анализ метода сокрытия информации "наименьший значащий бит" на основе разработанной программной реализации. Исследование параметров алгоритма, как соотношения размера скрываемой информации к размеру стеганоконтейнера, а также времени работы алгоритма.
статья, добавлен 16.02.2020Применение метода последовательного улучшения плана для решения задач линейного программирования. Разработка алгоритма с помощью симплекс-таблиц. Построение матрицы коэффициентов ограничений. Выделение памяти под одномерный массив и его инициализация.
курсовая работа, добавлен 27.05.2014Характеристика основных способов сжатия информации. Группы алгоритмов обратимого сжатия данных. Основная идея алгоритма Лемпеля-Зива. Особенности алгоритма LZ77 и LZ78. Модификации алгоритма, предложенные Т. Уэлчем. Основы процесса распаковки данных.
реферат, добавлен 15.10.2016Рассмотрение теоретико-типового понятия доказательства корректности компьютерных программ. Исследование особенностей этого понятия, а также ряда связанных с ним теоретико-познавательных проблем. Проблема обозримости и связи априорного и апостериорного.
статья, добавлен 29.10.2020Исследование модификации алгоритма муравья для решения задач комбинаторной оптимизации. Влияние начальных параметров алгоритма (количество феромона, видимость, коэффициент испарения) на результат работы алгоритма. Роль модификация алгоритма ACS.
статья, добавлен 28.01.2019Использование математических методов для создания изображений. Проведение исследования среды разработки Processing. Особенность изучения фрактальной графики. Формальное определение описания DOL системы и ее операций. Анализ описания алгоритма DLA.
дипломная работа, добавлен 23.12.2019Характеристика кода Хаффмана как метода сжатия данных. Исследование алгоритма и этапов кодирования информации. Пример построения бинарного дерева и закодированного сообщения. Пример кодирования сообщения с помощью алгоритма Хаффмана на языке PHP.
статья, добавлен 29.05.2016Учебное планирование на уроках информатики при преподавании факультативного курса "Основы программирования" в старших классах школы. Формальное выполнение алгоритма. Разновидности операторов. Вывод и типы данных. Понятие переменной, операции и выражения.
курсовая работа, добавлен 03.04.2021История создания систем автоматического поиска вывода. Изучение алгоритма поиска натурального вывода типа Куайна в классической логике предикатов первого порядка. Доказательство для данного алгоритма теорем о семантической непротиворечивости и полноте.
курсовая работа, добавлен 06.04.2012Зависимость быстродействия алгоритма распознавания от состава обрабатываемой информации, которая путем подбора злоумышленником содержимого сетевых пакетов может быть доведена до разницы в несколько порядков. Способы замедления модуля распознавания.
статья, добавлен 14.09.2016Постановка задачи навигация движения, описание алгоритма поиска кратчайшего пути между двумя вершинами графа и анализ программной реализации алгоритма Дейкстры. Графическая реализация полученных результатов с помощью объектно-ориентированного языка С++.
курсовая работа, добавлен 11.05.2012Изучение алгоритма распознавания единичного интервального графа с помощью трех проходов алгоритма лексикографического поиска. Обзор алгоритма 4-махов для распознавания интервальных графов. Особенности реализации алгоритмов в виде компьютерной программы.
дипломная работа, добавлен 04.08.2016Устройство и принцип работы программируемого логического контроллера модели МКП-1. Наименование и краткое описание основных частей контроллера. Рабочий цикл и формальное описание алгоритма управления. Особенность примера составления логических уравнений.
курсовая работа, добавлен 18.01.2015Понятие информационной модели. Способы описания прикладной задачи с помощью языков программирования. Автоматизированная разработка алгоритма. Правила именования данных, функций и процедур; операции, операнды и выражения. Построение блок-схемы алгоритма.
учебное пособие, добавлен 09.12.2014Оптимизация функций нескольких переменных с помощью метода Ньютона-Рафсона. Определение с его помощью точки минимума функций и количества итераций, необходимых для достижения заданной точности. Блок-схема вычислительного алгоритма и текст программы.
лабораторная работа, добавлен 30.09.2014- 21. Нечеткая кластеризация потоков данных с помощью ЕМ-алгоритма на основе самообучения по Т. Кохонену
Описание мягкого вероятностного нечеткого алгоритма кластеризации многомерных данных, последовательно поступающих на обработку в режиме реального времени. Использование алгоритма для решения задач Dynamic Stream Mining в условиях перекрывающихся классов.
статья, добавлен 19.06.2018 Реализация программы, выполняющей шифрование входной строки алгоритмом RSA. Рассмотрение основных этапов шифрования. Пример шифрования с помощью алгоритма RSA. Рассмотрение особенностей реализации алгоритма шифрования на языке программирования С#.
отчет по практике, добавлен 05.05.2018- 23. Использование компьютерной алгебры для оптимизации количества приборов в системах сведения баланса
Разработка алгоритма расчета и размещения минимального количества измерителей, обеспечивающий определение расхода для всех материальных потоков. Создание эвристического алгоритма расположения дополнительных приборов, повышающих надежность измерений.
статья, добавлен 21.06.2018 Стандарт шифрования данных DES для защиты от несанкционированного доступа к информации в государственных и коммерческих организациях США. Особенности реализации алгоритма шифрования DES на языке Delphi. Разработка интерфейса программы и алгоритма работы.
курсовая работа, добавлен 16.09.2017Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Схема последовательного алгоритма нахождения опорного плана методом штрафов. Зависимость ускорения поиска опорного плана от количества процессоров при различной размерности задач.
статья, добавлен 10.06.2015