История развития математической логики
История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
Подобные документы
Сходимость последовательностей случайных величин. Центральная предельная теорема для независимых одинаково распределенных случайных величин. Основные задачи математической статистики, их характеристика. Проверка гипотез по критерию однородности Смирнова.
курсовая работа, добавлен 13.11.2012Определение среднего квадратичного отклонения. Расчет значения критерия Стьюдента, значения доверительных границ с его учетом. Обоснование выбора математической модели прогнозирования. Параметры по методу наименьших квадратов, наработка до отказа.
контрольная работа, добавлен 18.06.2014Сущность математической теории скалярных и векторных полей, ее основные понятия и определения. Характерные черты и отличительные признаки скалярных и векторных полей, доказательства их главных теорем.
лекция, добавлен 11.02.2010- 104. Высшая математика
Задачи на элементы теории вероятности и математической статистики. Решение систем линейных уравнений методом Крамера; методом Гаусса. Закон распределения дискретной случайной величены. Построение выпуклого многоугольника, заданного системой неравенств.
контрольная работа, добавлен 12.09.2008 Методика определения значения коэффициента трансцилляторного переноса, который появляется в результате колебания давления при пороховом воздействии. Математическая постановка волновой задачи в нулевом приближении в пространстве изображений Фурье.
дипломная работа, добавлен 20.05.2017- 106. Достижения Пифагора
Биография и достижения великого ученого, творца математической школы древней Греции – Пифагора. Пифагорейское учение о натуральном числе как основе мироздания. Использование числовых отношений в геометрических построениях. Формулировка теоремы Пифагора.
реферат, добавлен 07.01.2012 Исследование методики математической обработки многократно усеченной информации. Особенности графического изображения опытной информации. Определение среднего значения показателя надежности, абсолютной характеристики рассеивания и коэффициента вариации.
курсовая работа, добавлен 16.01.2014Начала математической теории. Арифметика узлов, их классификация. Свойства неальтернированных узлов; преобразование Рейдемейстера. Арифметические операции с математическими узлами. Разложение составного узла. Алгоритм полного перебора с заполнением.
презентация, добавлен 13.04.2016Определение вероятности определенного события. Вычисление математического ожидания, дисперсии, среднеквадратического отклонения дискретной случайной величины Х по известному закону ее распределения, заданному таблично. Расчет корреляционных признаков.
контрольная работа, добавлен 12.02.2010Срок выполнения всего комплекса работ, с условием, что суммарное количество дополнительных средств было минимальным, продолжительность выполнения каждой работы была не меньше заданной величины. Оценка результатов. Табличная запись математической модели.
лабораторная работа, добавлен 08.07.2015Описание системы трехмерного визуализатора процесса дефрагментации с точки зрения системного анализа. Исследование преобразований состояний кубика Рубика с помощью математической теории групп. Анализ алгоритмов Тистлетуэйта и Коцембы решения головоломки.
курсовая работа, добавлен 26.11.2015Некоторые биографические данные и легенды из жизни Евклида. Основание математической школы и изложение геометрии в труде "Начала", описание метрических свойств пространства и его бесконечности. Сочинения "Оптика" и "Катоптрика" и изобретение монохорда.
презентация, добавлен 21.12.2010Графическое решение задачи по определению оптимальных суточных объемов производства радиоприемников разной конструкции. Исследование данных моделей на чувствительность с целью оценки предельного возрастания дефицитного ресурса, ведущего к росту прибыли.
задача, добавлен 21.08.2010Предмет и метод математической статистики. Распределение непрерывной случайной величины с точки зрения теории вероятности на примере логарифмически-нормального распределения. Расчет корреляции величин и нахождение линейной зависимости случайных величин.
курсовая работа, добавлен 19.01.2011Классическая формула для вероятности события, отношение благоприятного числа исходов опыта к общему числу всех равновозможных несовместных исходов. Понятие непрерывной и дискретной случайной величины, их числовые характеристики и законы распределения.
презентация, добавлен 19.07.2015Кусторез как устройство, предназначенное для остатков травяной и кустовой поросли различного характера: особенности математической обработки данных, проведение экспериментальной оптимизации параметров. Анализ карты оптимизации потребляемой мощности.
курсовая работа, добавлен 19.03.2013Рассмотрение статических и динамических характеристик машины. Выбор математической модели систем электроприводов. Расчет параметров двигателя постоянного тока. Аппроксимация полученной переходной характеристики элементарными динамическими звеньями.
курсовая работа, добавлен 18.04.2014- 118. Теория вероятности
Основные понятия комбинаторики. Определение теории вероятности. Понятие математического ожидания и дисперсии. Основные элементы математической статистики. Условная вероятность как вероятность одного события при условии, что другое событие уже произошло.
реферат, добавлен 25.11.2013 Деятельность при решении задач складывается из умственных действий и осуществляется эффективно, если первоначально она происходит на основе внешних действий с предметами. Главная проблема - дети не могут перейти от текста задачи к математической модели.
дипломная работа, добавлен 24.06.2008Свободное падение тела с учетом сопротивления среды. Зависимость перемещения и скорости падения от времени. Формулировка математической модели и ее описание. Описание программы исследования с помощью пакета Simulink. Решение задачи программным путем.
курсовая работа, добавлен 21.03.2011Суть метода пространственной дискретизации. Основные способы замены производной первого порядка. Алгоритм метода конечных разностей. Разбиение математической модели конструкции на непересекающиеся элементы простой геометрии. Матрица контуров и сечений.
презентация, добавлен 27.10.2013Понятие и примеры шкалы отношений. Что такое стратифицированная (или расслоенная) выборка. Определение медианы и мощности критерия. Характеристика термина "процентиль". Влияние коэффициента корреляции на зависимость между исследуемыми величинами.
контрольная работа, добавлен 29.09.2010Правила выполнения и оформления контрольных работ для заочного отделения. Задания и примеры решения задач по математической статистике и теории вероятности. Таблицы справочных данных распределений, плотность стандартного нормального распределения.
методичка, добавлен 29.11.2009Понятия теории графов, их связность и задача о кратчайшей цепи. Программная реализация метода Дейкстры, его сравнение с методом простого перебора. Описание логики программного модуля. Примеры работы программы нахождения кратчайшей цепи в связном графе.
курсовая работа, добавлен 25.11.2011Определение вероятности наступления определенного события по законам теории вероятности. Вычисление математического ожидания, дисперсии и среднего квадратичного отклонения. Нахождение выборочного уравнения регрессии по данным корреляционной таблицы.
контрольная работа, добавлен 01.05.2010