Аналитическое и формальное доказательство теоремы в ИВ
Способы доказательства истинности рассуждений: прямое, формальное, аналитическое и доказательство от противного. Анализ алгоритма Вонга и алгоритма метода пропозициональной резолюций с помощью алгоритмической меры количества информации по Колмогорову.
Подобные документы
Оценка вычислительной сложности алгоритма. Основные его характеристики при анализе. Классы входных данных. Их влияние на последовательность действий программного кода. Проблематика выбора алгоритма в условиях ограниченной памяти. Эффективность его работы.
лекция, добавлен 18.06.2015Меры информации. Комбинаторное определение ее количества. Понятие "информационная ёмкость". Формула К. Шеннона на примере текстового сообщения. Энтропия системы с двумя состояниями. Способы ее нахождения. Избыточность сообщений, примеры и решения.
реферат, добавлен 09.11.2013Способы сжатия информации. Алгоритмы сжатия без потерь. Сжатие с потерями, когда часть данных утрачивается и полное восстановление невозможно. Идея алгоритма Лемпеля-Зива. Алгоритм LZ77, LZ78. Модификация алгоритма Лемпеля-Зива, предложенная Терри Уэлчем.
курсовая работа, добавлен 14.10.2016Выполнение арифметических действий в заданных системах счисления. Сложение, вычитание и деление в двоичной системе счисления. Доказательство аналогичности алгоритма сложения и вычитания двух чисел по правилам "переносов" и "заемов" в десятичной системе.
практическая работа, добавлен 26.07.2009Рассмотрение последовательности чисел Люка. Характеристика использования явных формул и теоремы Виетта. Разложение числа на множители. Анализ оценки сложности алгоритма Уильямса. Главная особенность применения простого делителя факторизуемого числа N.
реферат, добавлен 13.01.2020Анализ предметной области, основных методов разработки, средств программирования программного продукта. Сеть передачи данных. Разработка алгоритма программы. Реализация алгоритма программы в среде объектно-ориентированного программирования Delphi.
дипломная работа, добавлен 02.10.2015Обзор существующих методов для масштабирования изображений и выбор метода дающего наилучшее качество изображения. Разработка модификации алгоритма путем распараллеливания операций. Демонстрация работы с программой и оценка эффективности алгоритмов.
дипломная работа, добавлен 25.06.2017Сравнительный анализ алгоритма искусственной пчелиной колонии и гибридного алгоритма искусственной пчелиной колонии с гравитационным алгоритмом. Анализ производительности работы алгоритмов на основе функций Розенброка, Гривонка, Растригина, Швефеля.
статья, добавлен 30.04.2018Характеристика циклической и линейной структуры программного алгоритма. Описание полного и неполного ветвления разветвляющегося алгоритма. Исследование алгоритма и разработка программного приложения в среде Delphi, показывающего информацию об учениках.
курсовая работа, добавлен 28.06.2012- 60. Задача о ящиках
Разработка алгоритма, перебирающего все расстановки и проверяемого нетривиальные условия. Алгоритм работы программы. Разбор алгоритма функции permutations. Описание используемых структур данных. Оценка сложности алгоритма. Инструкция для пользователя.
контрольная работа, добавлен 11.01.2020 Цели программирования понятного и точного предписания по последовательности действий. Способы записи алгоритмов с помощью технического электронного автоматического устройства для обработки информации. Ознакомление с графическими обозначениями схем.
презентация, добавлен 07.12.2016Изучение свойств, характеристик и способов задания алгоритма. Рассмотрение линейных, разветвляющихся и циклических вычислительных процессов. Описание работы с пакетами обработки текстовых документов. Ознакомление с устройствами ввода информации.
контрольная работа, добавлен 01.02.2014Программирование станков с ЧПУ. Управляемые приводы технологического и вспомогательного оборудования. Прикладные применения алгоритма Дейкстры. Решение задачи максимального потока в сети с помощью ЛП. Булевое программирование (алгоритма Балаша).
курс лекций, добавлен 25.05.2021Основные используемые переменные, константы, процедуры и функции. Нахождение максимальной клики в заданном неориентированном графе с помощью алгоритма Брона-Кербоша. Отслеживание правильности использованного алгоритма и заполнения матрицы смежности.
курсовая работа, добавлен 14.02.2020- 65. Исследование влияния параметров локализаци, регруппировки на эффективность работы алгоритма DMS-PSO
Анализ основ алгоритма PSO и его модификации DMS-PSO. Исследование влияния периода регруппировки и локализации на качество найденного решения алгоритмом DMS-PSO, а так же на надежность работы алгоритма. Разработка рекомендаций к использованию настроек.
статья, добавлен 18.01.2018 Характеристика математической постановки задач. Разработка схемы алгоритма, применяя только типовые структуры алгоритмов и их сочетания с использованием метода пошаговой детализации. Разработка программ на языке высокого уровня по схеме алгоритма.
курсовая работа, добавлен 17.05.2016Анализ заданной функции и разработка структурной схемы алгоритма по ее вычислению. Программирование отдельных блоков и структур алгоритма решаемой задачи. Полная программа в соответствии с алгоритмом. Анализ и оценка полученных результатов и расчетов.
курсовая работа, добавлен 09.03.2012Описание предметной области и соответствующего класса программного обеспечения обработки графической информации. Операционное, аналитическое и комбинированное управление взаимоотношениями с клиентами. Анализ управления аппаратными средствами компьютера.
курсовая работа, добавлен 22.01.2015Алгоритм поиска минимума и проведение экспериментального исследования средней трудоемкости алгоритма. Составление программы, с помощью которой возможно нахождение минимума функции на отрезке при помощи алгоритма стохастического градиентного спуска.
контрольная работа, добавлен 24.06.2012Схема классификации всех криптоалгоритмов. Методы шифровки/дешифровки. DES и IDEA как широко известные симметричные алгоритмы шифрования. Определение стойкости алгоритма шифрования. Доказательство существования абсолютно стойких алгоритмов шифрования.
реферат, добавлен 16.01.2018Изучение работы нечеткой системы типа синглтон. Оценка работоспособности алгоритма идентификации рядом имитационных экспериментов с изменением параметров алгоритма. Сравнительный анализ полученных результатов с аналогами на примере муравьиной колонии.
статья, добавлен 18.01.2018Описание метода моделирования неполных данных с помощью последовательности кривых. Линейные и квазилинейные многообразия малой размерности. Интерполяция и оптимальное сглаживание по формуле Карлемана. Анализ алгоритма построения самоорганизующихся кривых.
дипломная работа, добавлен 08.02.2013Решение задачи обучения нейронной сети с помощью алгоритма обратного распространения на основе объема страховых сборов на данный отчетный период. Расчет количества нейронов в скрытом слое и количества скрытых слоев. Исследование структуры нейронной сети.
статья, добавлен 29.09.2012Массивы как формальное объединение нескольких однотипных объектов (чисел, символов, строк и т.п.), рассматриваемое как единое целое. Принципы и порядок формирования массива с помощью персонального компьютера, исследование его глубины и содержания.
курсовая работа, добавлен 10.12.2012Рассмотрение понятия рекурсия, и его методов. Определение функций, используемых для генерации чисел Фибоначчи с помощью рекурсивного алгоритма. Описание особенностей использования рекурсии в программировании. Основное правило рекурсивного алгоритма.
статья, добавлен 26.05.2021