Аналитическое и формальное доказательство теоремы в ИВ
Способы доказательства истинности рассуждений: прямое, формальное, аналитическое и доказательство от противного. Анализ алгоритма Вонга и алгоритма метода пропозициональной резолюций с помощью алгоритмической меры количества информации по Колмогорову.
Подобные документы
Разработка методики математического моделирования сложных процессов приятия решений с помощью алгебраических сетей с различными алгебрами. Доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
автореферат, добавлен 25.07.2018Разработка алгоритма для решения задачи о распределении скалярного потенциала под действием постоянного тока. Создание программ для решения однородного эллиптического уравнения с краевыми условиями Дирихле и Неймана для гетерогенных сред геометрии.
дипломная работа, добавлен 06.06.2017Составление блок-схемы алгоритма и написание программы. Вычисление выражений в двоичном коде. Перевод десятичного числа в двоичный, восьмеричный, шестнадцатеричный коды. Влияние информационного шума на достоверность информации. Пример линейного алгоритма.
контрольная работа, добавлен 18.10.2008Анализ нового метода построения конечных автоматов, основанного на сведении этой задачи к поиску на графе и применении муравьиного алгоритма нового типа для поиска решений в этом графе. Анализ его эффективности по сравнению с генетическим алгоритмом.
статья, добавлен 15.01.2019- 80. Разработка и анализ алгоритма сортировки посредством выбора на основе разработки шаблона функции C++
Анализ существующих методов сортировки, обоснование результатов тестирования рассматриваемого алгоритма, исследование приоритетов данного алгоритма и методов его реализации, разработка шаблонов функций C++, сортировка данных посредством простого выбора.
курсовая работа, добавлен 13.06.2012 Особенности реализации механизма распознавания номера банкноты в терминалах. Исследование особенностей алгоритма предобработки. Анализ области купюры, подготовленной для распознавания. Характеристика алгоритма по распознаванию номера банкноты в MatLab.
статья, добавлен 06.04.2016Понятие, сущность алгоритма в информатике и история происхождения термина. Виды алгоритмов и их структура: линейный, разветвляющий, циклический. Их использование в жизни. Способы представления алгоритма: словесный, формульный, табличный, графический.
презентация, добавлен 30.10.2016Приближенные методы решения взвешенной задачи о минимальном покрытии множества. Реализация жадного алгоритма и алгоритма Бар-Иегуды-Эвена, сравнение их временной сложности. Применение результатов, полученных с их помощью в других подходах решения задачи.
дипломная работа, добавлен 17.07.2020Метод вычисления свертки, основанный на применении быстрого преобразования Фурье, ее программная реализация. Повышение эффективности вычисления свертки и уменьшение времени ее выполнения с помощью рекурсивных процедур для реконструкционного 3D-алгоритма.
статья, добавлен 29.01.2019Рассмотрение алгоритма построения самоорганизующейся нейронной сети, основанного на применении метода глобальной оптимизации. Сравнение результатов построения моделей на наборах данных, созданных при помощи описанного алгоритма и средства TensorFlow.
статья, добавлен 10.12.2024Анализ итерационных методов решения систем линейных уравнений. Вычислительные методы в технологиях программирования. Реализация модификации метода Зейделя в математическом пакете Mathcad. Отладка, экспериментальное тестирование программного алгоритма.
дипломная работа, добавлен 19.01.2017Анализ понятия граф. Рассмотрение вершин, достижимости и длины пути. Классификация и примеры графов. Способы их представления. Преимущества матрицы смежности и иерархического списка. Исследование алгоритма Дейкстры. Создание графа в программе "ProGraph".
презентация, добавлен 20.04.2015Теоретическая сущность метода поиска с помощью хеш-функции подстроки в строке. Характеристика способа ускорения работы алгоритма. Применение алфавита кодов и пример работы предлагаемого метода. Составление программы для поиска подстроки в строке.
доклад, добавлен 19.01.2011Рассмотрение эффективности применения алгоритма обработки слабоформализованной информации к задаче повышения производительности труда программистов. Разработка объективных критериев оценки сайтов. Определение стереотипа поведения сотрудника на работе.
статья, добавлен 11.01.2018Блок-схема как форма представления алгоритма с помощью графических символов. Блок-схемы унифицированных структур, используемых при структурном кодировании. Выбор направления выполнения алгоритма или программы в зависимости от некоторых переменных условий.
реферат, добавлен 31.05.2010Аналитическая обработка задачи преобразования многочленов. Блок-схемы основных алгоритмов: алгоритма основной программы, алгоритма заполнения исходных коэффициентов, вычисления алгоритма. Текст программы. Описание интерфейса. Тестирование программы.
контрольная работа, добавлен 21.10.2017Схемы динамической самонастройки параметров генетического алгоритма. Преимущества использования непараметрического критерия Вилкоксона. Исследование целесообразности применения метода Гомеса. Настройка вероятностей выбора оператора для каждого индивида.
статья, добавлен 29.04.2018Ознакомление с процессом построения в увеличенном масштабе кривой разгона. Анализ динамических параметров кривой разгона. Определение алгоритма управления и настроечных параметров алгоритма. Построение рассчитанной системы с помощью программы Simulink.
курсовая работа, добавлен 23.02.2022Классификация параллельных вычислительных систем. Описание схемы параллельного выполнения алгоритма. Рассмотрение особенностей генетического алгоритма. Особенности решения задач метаногенеза. Исследование основных методов наложения текстуры на объекты.
курсовая работа, добавлен 31.10.2017Лемма (о двух суффиксах). Характеристика алгоритма Кнута-Морриса-Пратта (префикс-функция). Проверка совмещения двух строк: посимвольное сравнение слева направо. Итерирования префикс-функции. Основные теоремы, леммы, их доказательства и следствия.
лекция, добавлен 24.07.2014Характеристика определения отечественного алгоритма шифрования ГОСТ 28147-89 в стандарте. Проведения атаки с помощью линейного и дифференциального криптоанализа. Схема работы в режиме гаммирования. Особенность использования стойких таблиц замен.
контрольная работа, добавлен 18.09.2016Осуществление постановки и выбор алгоритмов решения задач обработки экономической информации. Разработка и программная реализация для их решения. Метод проектирования алгоритма. Разработка блок-схемы алгоритма. Метод тестирования. Инструкция пользователя.
курсовая работа, добавлен 19.12.2017Рассмотрение различных модификаций генетического алгоритма для адаптации в нестационарных средах. Исследование нестационарных задач дискретной оптимизации. Характеристика особенностей генетического алгоритма, обладающего свойством неявного параллелизма.
статья, добавлен 17.01.2018Анализ современных методов оценки ценных бумаг. Сбор данных и построение итерационного алгоритма формирования портфеля. Отрасли компаний, акции которых представлены на финансовых рынках страны. Архитектура решения применения итерационного алгоритма.
курсовая работа, добавлен 19.08.2020Описание алгоритма метода зонного сжатия информации. Кодовые слова во вторичном алфавите и пересчет на другие системы счисления. Реализация метода на языке программирования С++. Асимметричные алгоритмы, у которых ключ шифрования не с дешифровкой.
контрольная работа, добавлен 01.02.2014