Аналитическое и формальное доказательство теоремы в ИВ
Способы доказательства истинности рассуждений: прямое, формальное, аналитическое и доказательство от противного. Анализ алгоритма Вонга и алгоритма метода пропозициональной резолюций с помощью алгоритмической меры количества информации по Колмогорову.
Подобные документы
Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Схема последовательного алгоритма нахождения опорного плана методом штрафов. Зависимость ускорения поиска опорного плана от количества процессоров при различной размерности задач.
статья, добавлен 10.06.2015Этапы решения технических задач с помощью электронных вычислительных машин. Постановка задачи и построение алгоритма. Метод математического моделирования реальных явлений. Элементы теории алгоритмов. Свойства алгоритма и его описание, символы для схем.
лекция, добавлен 25.01.2012Характеристика, специфика, применение метода AQ-покрытий и ДСМ-метода. Разработка и реализация алгоритма, предназначенного для выявления причинноследственных связей. Описание основных преимуществ алгоритма по сравнению со статистической обработкой.
статья, добавлен 26.06.2018Основная идея алгоритма муравьиного алгоритма - моделирование поведения колонии муравьев. Разработка программы, реализующей модифицированную модель муравьиного алгоритма. Адаптация муравьиного алгоритма к различным графовым задачам, его эффективность.
статья, добавлен 19.01.2018Характеристика абстрактной ЭВМ, осуществляющей дешифрование текста, зашифрованного с помощью некоторого криптографического алгоритма. Основные принципы построения системы криптографической защиты и способы предельной оценки защищенности информации.
реферат, добавлен 21.11.2011Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
реферат, добавлен 26.08.2010Вычисление значения интеграла численным методом Симпсона. Оценка погрешности метода с помощью интерполяционного многочлена Эрмита. Разработка алгоритма и программы (определение функциональных модулей). Обоснование выбора языка программирования С++.
курсовая работа, добавлен 30.04.2009Технологический процесс обработки информации. Значение блок-схемы, как метода алгоритмизации задач и облегчения процесса программирования. Понятие алгоритма решения задачи. Способы хранения и обработки информации. Разработка и сопровождение программ.
отчет по практике, добавлен 18.04.2011Изучение муравьиного алгоритма для решения задачи коммивояжера, анализ влияния параметров алгоритма на время его выполнения. Постановка задачи коммивояжера. Муравьиный алгоритм. Псевдокод алгоритма. Средства реализации алгоритма. Листинг программы.
лабораторная работа, добавлен 12.06.2020Исследование разработанного алгоритма решения основных задач искусственного интеллекта, допускающих формализацию в исчислении предикатов, с помощью модификации обратного метода Маслова. Особенности муравьиной тактики применения данного алгоритма.
статья, добавлен 15.01.2019Исследование алгоритма топологической оптимизации SIMP. Воспроизведение, анализ и вычисление данного алгоритма в пакете Wolfram Mathematica. Обнаружение недостатка данного метода, который представлял собой определение оптимального коэффициента Лагранжа.
статья, добавлен 30.04.2018Исследование средств и языков описания алгоритмов. Определение понятия алгоритма, специфика его свойств и способы записи. Общая структура линейного и разветвленного алгоритма в виде блок-схемы. Особенности классификации и язык описания алгоритма.
реферат, добавлен 09.09.2010Ввод и вывод данных: способы, функции и операторы. Последовательные контейнеры для последовательного и произвольного доступа к элементам с помощью индексов. Ассоциативные контейнеры для быстрого доступа с помощью ключей. Реализация обобщенного алгоритма.
контрольная работа, добавлен 26.05.2013Идентификация и исследование ключевых параметров алгоритма метода генетических схем и их влияние на эффективность поиска решений в экспертных системах продукционного типа. Параметры генетического алгоритма: операторы кроссовера, мутации, инверсии.
дипломная работа, добавлен 28.04.2017Характеристика метода самоорганизующегося поиска и описание алгоритмов. Рассмотрение методов модификации исходного множества поиска, внесения избыточных данных. Разработка алгоритма с обратной связью. Построение алгоритма внутреннего СП-кэширования.
статья, добавлен 03.12.2020Структурная схема защиты информации в ЛВС. Потенциальные угрозы безопасности информации и средства ее защиты. Шифрование трафика сети. Практическая реализация алгоритма и постановка задачи. Описание состава программных средств и модулей программы.
дипломная работа, добавлен 26.04.2010Разработка имитационной модели с замкнутой системы с раздельными очередями и приоритетами с помощью метода имитационного моделирования. Создание программы на языке C++, обеспечивающей ввод информации, ее обработка и реализация алгоритма имитации процесса.
курсовая работа, добавлен 13.09.2012Изучение последовательного алгоритма Гаусса решения систем линейных уравнений. Программная реализация последовательного алгоритма Гаусса. Зависимость времени реализации алгоритма от размера матрицы. Вычисление эффективности параллельного алгоритма.
курсовая работа, добавлен 27.12.2019Сущность и характеристика графов, их особенности и программная реализация этого алгоритма на языке Turbo Pascal. Спецификация алгоритма и модели поиска данных. Понятие очереди и вершины поиска, составление матриц и массивов программы, их сравнение.
курсовая работа, добавлен 16.02.2015Общие сведения о графах. Реализация алгоритма Флойда. Графы и способы их представления. Пути и циклы в графах. Программная реализация алгоритма поиска кратчайшего пути между двумя любыми вершинами графа. Пример применения алгоритма Флойда на практике.
курсовая работа, добавлен 19.11.2011Описание заданной структуры данных или алгоритма, характеристика работы алгоритма. Анализ временной сложности алгоритма, определение отображаемых элементов, проектирование интерфейса. Специфика методики и результатов тестирования программного обеспечения.
курсовая работа, добавлен 21.03.2021Понятие алгоритма как предмета математических исследований, его основные свойства. Составление алгоритмов на естественном языке для процессора электронно-вычислительной машины. Разработка структуры программы с помощью алгоритмов в виде блок-схемы.
реферат, добавлен 08.02.2014Раскрытие понятия, свойств и исполнителя алгоритма. Ознакомление с историей происхождения термина. Рассмотрение сущности формального исполнения алгоритма и способов его описания, видов языков программирования. Приведение примера линейного алгоритма.
презентация, добавлен 15.10.2014Характеристика особенностей ассиметричных криптографических систем. Рассмотрение системы распределения ключей Диффи-Хеллмана. Ознакомление с примером шифрования. Исследование алгоритма Диффи-Хеллмана. Анализ программной реализации изучаемого алгоритма.
курсовая работа, добавлен 20.01.2019Рассмотрение алгоритма построения минимального остовного дерева взвешенного связного неориентированного графа. Описание, псевдокод и блок-схема алгоритма Краскала. Код программы и сложность алгоритма. Описание, псевдокод и сложность алгоритма Прима.
курсовая работа, добавлен 25.04.2015