Основы логических суждений
Изучение истинности суждений. Определение отношений понятий с использованием иллюстрации кругов Л. Эйлера. Виды, структура сложных суждений. Противоположные и противоречащие модальности. Структурная схема силлогизмов. Определение правил доказательства.
Подобные документы
Общее определение коэффициентов по методу Эйлера-Фурье. Ортогональные системы функций. Интеграл Дирихле, принцип локализации. Случай непериодической функции, произвольного промежутка, четных и нечетных функций. Примеры разложения функций в ряд Фурье.
курсовая работа, добавлен 12.12.2010Метод Эйлера: сущность и основное содержание, принципы и направления практического применения, определение погрешности. Примеры решения задачи в Excel. Метод разложения решения в степенной ряд. Понятие и погрешность, решение с помощью метода Пикара.
контрольная работа, добавлен 13.03.2012Понятия локальных экранов и формаций, основанных на определении центральных рядов, их роль в теории формаций конечных групп, мультиколец и других алгебраических систем. Определение мультикольца, его идеала, централизатора, теоремы и их доказательства.
дипломная работа, добавлен 18.09.2009Логический синтез устройства с использованием соотношений булевой алгебры. Составление таблицы истинности. Основные соотношения булевой алгебры. Логическая функция в смысловой, словесной, вербальной, табличной и аналитической математической формах.
лабораторная работа, добавлен 26.11.2011Развитие вычислительных умений и навыков при решении задач. Закрепление формул для вычисления площадей геометрических фигур. Доказательства условий равенства пары треугольников. Определение соотношения прямых, заключающих равные углы у треугольников.
презентация, добавлен 04.12.2014Содержание правил суммы и произведения; их применение с целью решения комбинаторных задач. Виды комбинаторных соединений. Обозначение и свойства факториала. Формулы расчета всех возможных перестановок и размещений. Понятие и разновидности сочетаний.
реферат, добавлен 08.09.2014Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010Определение функций "бета", "гамма". Эйлеров интеграл первого и второго рода. Связь между функциями "бета" и "гамма". Формула Эйлера, интеграл Раабе. Основные свойства гамма-функции при ее определении. Отличие дифференцирования от интегрирования.
дипломная работа, добавлен 08.10.2011- 59. Изучение матриц
Назначение и определение алгебраического дополнения элемента определителя. Особенности неоднородной системы линейных алгебраических уравнений. Определение размера матрицы. Решение системы уравнений методом Крамера. Скалярные и векторные величины.
контрольная работа, добавлен 13.07.2009 Определение и этапы доказательства теоремы Штольца, ее теоретическое и практическое значение в прикладной математике, применение. Понятие предела последовательности, характерные примеры вычисления пределов последовательности с подробным разбором решения.
курсовая работа, добавлен 28.02.2010Два варианта доказательства теоремы. Приведенные преобразования равенства Ферма над множеством натуральных чисел показывают, что с помощью конечного числа арифметических действий оно всегда приводится к тождеству, что и доказывает теорему.
статья, добавлен 14.04.2007Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа, добавлен 12.12.2012Математическая постановка задачи для прямоугольной пластины. Исследование спектра частот при сложных граничных условиях с помощью асимптотического метода. Определение корреляционной функции прогиба пластины. Случайная нагрузка и методы ее описания.
курсовая работа, добавлен 13.11.2016Алгоритм построения многочлена Жегалкина по совершенной дизъюнктивной нормальной форме. Диаграмма Эйлера-Венна, изображение универсального множества и подмножества. Проверка самодвойственности, монотонности и линейности логической функции двух переменных.
контрольная работа, добавлен 20.04.2015Геометрическая и алгебраическая формулировка теоремы Пифагора. Многочисленность ее доказательств: через подобные треугольники, методом площадей, через равнодополняемость, при помощи дифференциальных уравнений. Доказательства Евклида и Леонардо да Винчи.
презентация, добавлен 15.10.2013Методы исследования операций для количественного анализа сложных целенаправленных процессов. Решение задач методом полного перебора и оптимальной вставки (определение всевозможных расписаний, их очередности, выбор оптимального). Генератор исходных данных.
курсовая работа, добавлен 01.05.2011Определение операций сложения, вычитания и умножения для дуальных чисел. Определение модуля и сопряжённого числа. Деление на дуальное число. Определение делителя нуля. Запись дуального числа в форме, близкой к тригонометрической форме комплексного числа.
курсовая работа, добавлен 10.04.2011Определение производных сложных функций при заданном значении аргумента. Исследование траектории движения тела на плоскости и построение графика функции. Характеристика нахождения максимальных и минимальных точек, экстремумов и точек перегиба функции.
контрольная работа, добавлен 09.12.2011Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010Изучение методов определения основных показателей надежности изделий на основные экспериментальных данных. Статистическая оценка интенсивности отказов и плотности их распределения. Определение функции надежности изделия (вероятности безотказной работы).
лабораторная работа, добавлен 10.04.2019- 71. Порядок и хаос
Характеристика понятий "порядок", "хаос" и особенностей их применения в точных науках: математике, физике. Исследование взаимосвязи упорядоченных и хаотических явлений и методы формулировки (содержательно и математически строго) правил относительно них.
реферат, добавлен 29.11.2010 Геометрия Евклида как первая естественнонаучная теория. Структура современной математики. Основные черты математического мышления. Аксиоматический метод. Принципы аксиоматического построения научных теорий. Математические доказательства.
реферат, добавлен 10.05.2011- 73. Оценка состояния объекта, подвергающегося воздействию, на основе построений функций принадлежности
Понятие нечеткого множества и свойства его элементов. Определение логических операций: отрицания, конъюнкции, дизъюнкции. Основные этапы нечеткого вывода, метод центра тяжести. Оценка состояния повреждения объекта на основе теории нечетких множеств.
курсовая работа, добавлен 22.07.2011 Теория автоматического управления и виды алгоритмических звеньев. Стационарные и нестационарные САР. Типовые динамические звенья: определение и классификация. Запас устойчивости по модулю и фазе. Показатель колебательности и кривая переходного процесса.
контрольная работа, добавлен 15.07.2014Изучение свойств геометрического тела, состоящего из трёх пар равных параллелограммов, лежащих в параллельных плоскостях. Определение прямого, прямоугольного, правильного параллелепипеда. Нахождение высоты и объема параллелепипеда. Доказательство теоремы.
презентация, добавлен 22.04.2015