Математическая логика
Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Подобные документы
Характеристика применения дифференциального исчисления в экономике при помощи понятия эластичности. Определение понятия эластичности функции и его свойства. Свойства однородных функций. Использование формулы Эйлера в прикладных экономических расчетах.
курсовая работа, добавлен 17.03.2014Задача численного интегрирования функций, квадратурные формулы вычисления однократного интеграла. Выявление погрешностей используемых значений и функций, разработка вычислительного алгоритма, расчет конкретного интеграла по формуле правых прямоугольников.
контрольная работа, добавлен 14.05.2012Использование метода прямоугольников, метода трапеций и метода парабол для вычисления определенных интегралов. Расчет и сравнение абсолютной и относительной ошибок приближенных методов. Формулы для вычисления относительной и абсолютной погрешностей.
методичка, добавлен 27.08.2017Методы численного интегрирования: формулы прямоугольников, трапеций, Симпсона и Эйлера. Интегрирование кратных интегралов. Метод ячеек. Повторное применение квадратурных формул. Листинг программы нахождения значений интеграла от функции одной переменной.
курсовая работа, добавлен 15.03.2013Особенность модификации метода выделения переменных, уменьшающая сложность получаемых промежуточных форм за счет реализации выделения группы переменных последовательностью шагов, называемых циклами. Проведение исследования получения пустого множества.
статья, добавлен 07.11.2018Использование новой математической структуры, которая является обобщением алгебры множеств и совмещает в себе некоторые свойства частично упорядоченных систем и логических исчислений. Особенность моделирования концепции естественных рассуждений.
статья, добавлен 16.01.2018Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Отличие приращения функции от дифференциала на бесконечно малую величину. Изучение формулы, которая может использоваться для приближенных вычислений. Нахождение производной функции дифференциала. Исследование примеров вычисления корней n-ой степени.
презентация, добавлен 21.09.2013Понятия логической функции и методов минимизации, их преимущества и недостатки, отличия и сходства с другими методами. Сущность метода эквивалентных преобразований и неопределенных коэффициентов. Алгоритм метода Квайна (шаги). Метод диаграмм Вейча.
курсовая работа, добавлен 23.11.2011- 110. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Математическая логика как раздел математики, посвящённый изучению способов доказательств, утверждений, вопросов оснований математики. Умозаключение и его способы получения нового знания на основе некоторого имеющегося. Формальные аксиоматические методы.
курсовая работа, добавлен 21.04.2015Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Выработка умения применять формулы квадрата двучлена для преобразования квадрата суммы или разности в трехчлен. Ознакомление с основными методами закрепления и усовершенствования навыков решения уравнений и тождественных преобразований целых выражений.
разработка урока, добавлен 30.07.2015Анализ подхода, основанного на приближении таблично заданной функции с помощью алгебраического интерполяционного многочлена Лагранжа. Построения формулы для вычисления второй производной с использованием аппроксимации. Метод неопределенных коэффициентов.
презентация, добавлен 30.10.2013Поиск структурообразующих логических цепочек с помощью "скользящего окна" переменной длины в бинарных и потоковых последовательностях равновероятных событий. Расчёт и распределение логических цепочек. Алгоритм программного поиска при моделировании.
статья, добавлен 03.03.2018Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016- 117. Теория погрешностей
Изучение сущности абсолютной и относительной погрешности. Характеристика понятия верной цифры. Рассмотрение последовательности значений с помощью формулы общего члена прогрессии. Расчет определителя матрицы при нескольких различных значениях аргумента.
лабораторная работа, добавлен 18.11.2014 Понятие определенного интеграла. Описание классов интегрируемых функций. Анализ свойств определенного интеграла и методов его вычисления. Примеры вычисления интеграла при помощи формулы Ньютона–Лейбница, замены переменной, интегрирования по частям.
конспект урока, добавлен 18.04.2016Интеграл Римана - важнейшее понятие математического анализа. Характеристика геометрического смысла данного выражения. Определение формулы Ньютона-Лейбница. Риманова сумма в пределе при измельчении разбиения - результат вычисления площади подграфика.
контрольная работа, добавлен 10.05.2016Особенности криволинейной трапецией. Характеристика фигуры, ограниченной прямыми. Рассмотрение формулы для вычисления площади криволинейной трапеции. Нахождение точки пересечения кривых. Методология вычисления площади фигуры, ограниченной линиями.
задача, добавлен 17.02.2016Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013- 122. Логика предикатов
Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013 Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015Разработка методов аппроксимации данных и сокращения размерности описания. Основные понятия выборочного метода математической статистики. Формулировка эмпирической функции распределения по вариационному ряду. Главные способы построения гистограммы.
контрольная работа, добавлен 10.04.2014Изучение видов определенного и несобственного интегралов, анализ их актуальности использования в математике. Выведение формулы Валлиса, ее применение для интеграла Эйлера-Пуассона. Способ получения формулы Тейлора с остаточным членом в интегральной форме.
курсовая работа, добавлен 21.01.2010