Элементы математической логики. Исчисление высказываний
Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
Подобные документы
Теория вероятности, понятие вероятности события и её классификация. Понятие комбинаторики и её основные правила. Теоремы умножения вероятностей. Понятие и виды случайных величин. Задачи математической статистики. Расчёт коэффициента корреляции.
шпаргалка, добавлен 18.06.2012Вид определенного интеграла от непрерывной на заданном отрезке функции. Сущность квадратурных формул. Нахождение численного значения интеграла с помощью методов левых и правых прямоугольников, трапеций, парабол. Выведение общей формулы Симпсона.
презентация, добавлен 18.04.2013Построение полигона относительных частот, эмпирической функции распределения, кумулянты и гистограммы. Расчет точечных оценок неизвестных числовых характеристик. Проверка гипотезы о виде распределения для простого и сгруппированного ряда распределения.
курсовая работа, добавлен 28.09.2011Программа курса, основные понятия и формулы теории вероятностей, их обоснование и значение. Место и роль математической статистики в дисциплине. Примеры и разъяснения по решению самых распространенных задач по различным темам данных учебных дисциплин.
методичка, добавлен 15.01.2010Основные положения теории математического моделирования. Структура математической модели. Линейные и нелинейные деформационные процессы в твердых телах. Методика исследования математической модели сваи сложной конфигурации методом конечных элементов.
курсовая работа, добавлен 21.01.2014Задачи на элементы теории вероятности и математической статистики. Решение систем линейных уравнений методом Крамера; методом Гаусса. Закон распределения дискретной случайной величены. Построение выпуклого многоугольника, заданного системой неравенств.
контрольная работа, добавлен 12.09.2008Основные правила расчета значений дифференциального уравнения. Изучение выполнения оценки погрешности вычислений, осуществления аппроксимации решений. Разработка алгоритма и написание соответствующей программы. Построение интерполяционного многочлена.
курсовая работа, добавлен 11.12.2013Получены другие формулы для решений уравнения Пифагора x^2+y^2=z^2, отличные от формул древних индусов, и делающие возможным доказательство для всех нечётных значений показателя n тем же способом бесконечного спуска Ферма, что и для n=4. Доказательство.
статья, добавлен 30.04.2008Построение массива конечных разностей. Выполнение экстраполяции. Вычисление приближенной функции с помощью многочлена Лагранжа. Определение значения функции с помощью формул Ньютона. Квадратичная сплайн-интерполяция. Среднеквадратичная аппроксимация.
контрольная работа, добавлен 01.12.2009Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Основные признаки возрастания и убывания функции. Максимум и минимум функций. План решения текстовых задач на экстремум. Производные высших порядков. Формулы Тейлора и Маклорена. Применение дифференциалов при оценке погрешностей. Длина плоской кривой.
курсовая работа, добавлен 25.11.2010Задания на установление заданных пределов без использования правила Лопиталя. Определение точек разрыва функции и построение ее графика. Правило вычисления производной, заданной неявно. Исследование функции методами дифференциального исчисления.
контрольная работа, добавлен 10.10.2011Решение систем уравнений методом Гаусса, с помощью формул Крамера. Построение пространства решений однородной системы трех линейных уравнений с четырьмя неизвестными с указанием базиса. Определение размерности пространства решений неоднородной системы.
контрольная работа, добавлен 28.03.2014Геометрический, кинематический и силовой анализ механизма навески трактора Т150К. Использование плоской математической модели механизма. Расчет на устойчивость мобильного сельскохозяйственного агрегата. Определение координат характерных точек механизма.
курсовая работа, добавлен 22.12.2015Классификация случайных событий. Функция распределения. Числовые характеристики дискретных случайных величин. Закон равномерного распределения вероятностей. Распределение Стьюдента. Задачи математической статистики. Оценки параметров совокупности.
лекция, добавлен 12.12.2011Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011- 92. Функции Бесселя
Изложение теории бесселевых функций, их приложения к уравнениям математической физики. Виды цилиндрических функций. Применение бесселевых функций в математической физике на примере некоторых задач. Уравнение Лапласа в цилиндрических координатах.
дипломная работа, добавлен 09.10.2011 Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.
презентация, добавлен 20.09.2015- 95. Теория игр
История развития теории игр как математического метода изучения оптимальных стратегий в играх. Представление игр: экстенсивная и нормальная форма. Классификация и типы математических игр, их характеристика. Общее понятие и основные цели метаигры.
реферат, добавлен 29.12.2010 Применение первой и второй интерполяционной формул Ньютона. Нахождение значений функции в точках, не являющимися табличными. Bспользование формулы Ньютона для не равностоящих точек. Нахождение значения функции с помощью интерполяционной схемы Эйткена.
лабораторная работа, добавлен 14.10.2013Переключательные функции одного аргумента. Переключательные функции двух аргументов. Представление переключательной функции в виде многочленов. Совершенная дизъюнктивная нормальная форма переключательной функции. Функция в виде полинома Жегалкина.
реферат, добавлен 27.11.2008Природа математики как строгой науки, отношения математических объектов и целостных структур реального мира. Различия в трактовке Платоном и Аристотелем онтологического статуса математических сущностей. Анализ математической концепции семинара Н. Бурбаки.
реферат, добавлен 29.01.2014Понятие матрицы, его источники и развитие в математической науке, основные элементы и их взаимодействие. Описание действий с матрицами: сложение, вычитание, умножение между собой и на число, транспортирование. Свойства транспортированных матриц.
контрольная работа, добавлен 02.06.2010- 100. Развитие математики
История становления математики как науки. Период элементарной математики. Период создания математики переменных величин. Создание аналитической геометрии, дифференциального и интегрельного исчисления. Развитие математики в России в XVIII-XIX столетиях.
реферат, добавлен 09.10.2008