Математическая логика и теория алгоритмов
Постановка задачи и построение модели алгоритма, описание и доказательство его правильности. Описание переменных программы и расчет вычислительной сложности. Использование одномерного массива размерности, совпадение начального и конечного результата.
Подобные документы
Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013Описание особенностей непрерывных частных производных заданной функции. Определение полного дифференциала данной функции. Изучение формул, когда х и у были функциями одной переменной. Расчет коэффициентов при дифференциалах независимых переменных.
реферат, добавлен 26.04.2014Описание функций одной и многих переменных, исследование задач на максимум и минимум - локальных свойств функции. Использование высших производных. Необходимые условия и достаточные дифференциальные признаки экстремума. Понятие условного экстремума.
курсовая работа, добавлен 08.09.2010Формулировка проблемы достижения условия непрерывности G и описание соответствующих уравнений для решения этой задачи. Функционалы "сдвиг кривой" и Квази-G1. Решение вариационных задач без ограничений в соответствии с теоремой Ферма, описание алгоритма.
статья, добавлен 21.06.2018Роль метода Якоби при решении научных и промышленных проблем: реализация алгоритмов вычислительной математики и физики, обрабатывание результатов экспериментальных исследований. Использование в данном процессе программы на языке программирования C++.
статья, добавлен 20.07.2018Постановка и решение задачи в одномерном случае. Определение хроматического числа прямой и плоскости. Критическая конфигурация точек на плоскости. Построение раскрасок плоскости. Доказательство теорем Райского и Лармана-Роджерса. Изучение теории графов.
книга, добавлен 25.11.2013Понятие теории игр как теории математических моделей принятия решений в условиях неопределенности, столкновения, конфликтных ситуациях. Неформальное описание игр и некоторые примеры: игры двух лиц с нулевой суммой, с седловой точкой. Смешанные стратегии.
курсовая работа, добавлен 21.10.2013Построение математической модели процесса всплытия подводной лодки, анализ физической сути процесса. Определение параметров и сил, действующих на лодку. Нахождение частных случаев решения задачи методом дифференциальных уравнений, построение графиков.
курсовая работа, добавлен 27.04.2017Метод помехоустойчивого кодирования данных алгебраическими сверточными кодами в частотной области с применением быстрого преобразования Фурье Гуда-Томаса в конечных полях. Метод частотного кодирования сверточных кодов. Оценка вычислительной сложности.
статья, добавлен 14.07.2016Сущность и значение кодирования программ. Характеристика и отличительные черты теоремы о параметризации, описание и специфика универсальных функций. Применение теоремы Клини о нормальной форме. Синтаксис и семантика, теорема Райса и математическая логика.
контрольная работа, добавлен 30.12.2015Постановка задачи одномерной безусловной оптимизации. Алгоритм пассивного и активного поиска минимума. Методы поиска, основанные на аппроксимации целевой функции. Программная реализация сравнения методов оптимизации. Описание процесса отладки программы.
диссертация, добавлен 19.06.2015Алгоритм решения задачи интегрирования системы ОДУ методом Рунге-Кутты, условная минимизация функции нескольких переменных заданным методом. Решение задач с использованием программы Matlab с представлением необходимой графической и табличной информации.
курсовая работа, добавлен 20.02.2019Создание информационной базы для анализа рыночных отношений. Построение прогноза по временным рядам, его составляющие элементы. Описание экономических и стохастических процессов. Расчет основных динамических характеристик. Проверка наличия тренда.
контрольная работа, добавлен 24.09.2014Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Дифференциальные уравнения и их применение в прикладных задачах. Математическая модель численного интегрирования дифференциальных уравнений. Математическое описание зависимости концентрации. Расчет профиля температур при нестационарной теплопроводности.
дипломная работа, добавлен 19.06.2015Математическая модели задачи планирования работы разнотипных машин с периодами простоя. Теорема о корректности приведения этой задачи к задаче комбинаторной оптимизации. Алгоритм нахождения нижней границы целевой функции возникающей задачи оптимизации.
статья, добавлен 19.02.2016Использование формулы полной вероятности при выборе шаров. Определение благоприятного числа случаев. Вычисление математического ожидания, дисперсии и среднеквадратического отклонения. Построение закона распределения случайной величины и графиков функций.
контрольная работа, добавлен 09.10.2014Место задачи коммивояжера в теории комбинаторики с ее применением при разработке программного обеспечения. Постановка и математическая модель задачи коммивояжера. Особенности решения задачи коммивояжера методом ветвей и границ и венгерским методом.
курсовая работа, добавлен 23.04.2014Расчет среднего арифметического. Нахождение дисперсии и средней квадратической ошибки выборки. Определение вероятности. Исчисление доверительного интервала. Построение гистограммы эмпирического распределения и соответствующей кривой. Функция Лапласа.
контрольная работа, добавлен 07.11.2011Формулировка и математическая модель транспортной задачи. Необходимое и достаточное условия разрешимости транспортной задачи. Методы построения начального опорного решения задачи. Алгоритм и особенности решения транспортных задач с неправильным балансом.
контрольная работа, добавлен 19.10.2011Обоснование метода одномонотонных последовательностей для случая с произвольным числом переменных. Конечное число попарных перестановок элементов строк. Доказательство неравенств с минимальным числом переменных. Расчет упорядоченных наборов чисел.
научная работа, добавлен 18.02.2020Понятие дифференциала функции как суммы произведений частных производных этой функции на приращения соответствующих независимых переменных. Особенности и суть условия дифференцируемости функции нескольких переменных и его математическое представление.
презентация, добавлен 17.09.2013Особенности перебора множества моделей и созданных алгоритмов. Математическое описание некорректно поставленных задач, его определение семейством элементов, заданных в гильбертовых пространствах. Добавление априорных классификационных признаков.
статья, добавлен 30.08.2016Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Метод сеток решения уравнений параболического типа, оценка погрешности и сходимость метода сеток. Прогонка решения разностной задачи. Доказательство устойчивости разностной схемы. Разработка программного модуля, описание логики. Пример работы программы.
курсовая работа, добавлен 25.11.2011