Характеристика умозаключения
Проведение исследования умозаключений логики суждений. Характеристика условно-категорических, чисто-условных и разделительно-категорических умозаключений. Определение простой конструктивной и деструктивной дилемм. Изучение доказательства от противного.
Подобные документы
Определение эмпирических соотношений, которыми описываются простые числа и закономерности начала числовой оси натуральных чисел. Рассмотрение наличия больших интервалов числовой оси, не содержащих простые числа. Изучение интервалов с нечетными числами.
статья, добавлен 30.03.2017- 102. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 - 103. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 Характеристика и основные этапы абстрактно-логического метода. Изучение общественного явления на основе предварительно накопленных фактов. Обоснованное научное предположение о закономерной причинной связи, вызывающей определенные факты или явления.
презентация, добавлен 24.11.2022Исторический процесс развития биномиальной теоремы в средние века и до середины XIX столетия. Проведение исследования правила разложения бинома по натуральным степеням. Основная характеристика индусских методов нахождения сторон квадратов и кубов.
статья, добавлен 26.04.2019- 106. Численные методы
Численное решение нелинейных уравнений. Методы деления отрезка пополам, Ньютона (метод касательных) и простой итерации. Решение систем линейных алгебраических уравнений. Методы Гаусса, обратной матрицы, прогонки, простой итерации (метод Якоби), Зейделя.
методичка, добавлен 26.09.2016 Применение понятия о характеристических функциях подмножеств, теоремы о порядках множества подмножеств конечного множества для двух частных случаев. Конечное несамопринадлежащее множество простой структуры. Схема алгоритма определения порядка множества.
статья, добавлен 26.04.2019Постановка задачи, построение характеристической области. Алгоритм построения характеристической области в случае выпуклых объектов, односвязности и многосвязности исходных объектов. Вычислительная сложность алгоритмов. Простой геометрический поиск.
курсовая работа, добавлен 07.03.2012- 109. Элементарные функции
Проведение исследования области определения и области значений элементарной функции. Особенность нахождения ограниченной и неограниченной функции. Основные свойства степенной, квадратичной и логарифмической функции. Характеристика квадратного корня.
реферат, добавлен 26.12.2021 - 110. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Краткое жизнеописание и некоторые научные достижения выдающегося швейцарского математика XIX века Якоба Штейнера. Проведение исследования планиметрических задач на построение. Основная характеристика теоремы о цепочке взаимно касающихся окружностей.
статья, добавлен 26.04.2019Характеристика анатомических систем счисления. Проведение исследования ионической, славянской кириллической, славянской глаголической, древнегрузинской и древнеармянской системы счисления. Анализ двоичной, восьмеричной, шестнадцатеричной концепций.
практическая работа, добавлен 06.11.2022Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Проведение исследования отличий в вычислении наибольшего общего делителя. Характеристика эффективного алгоритма спуска-подъема для подсчитывания явной формы PR-решения, заданного в неявной форме. Особенность формирования индуктивного предположения.
статья, добавлен 21.01.2018- 115. Модальные суждения
Логика одна из древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока. Модальность логических суждений. Логическая характеристика суждения. Эпистемическая модальность. Деонтическая модальность.
реферат, добавлен 20.01.2009 Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Порядок и подходы к построению нового варианта логики аргументации. Принципы и анализ эффективности метода аналитических таблиц для предложенного варианта логики аргументации для обнаружения тавтологий, с использованием связи с теорией бирешеток.
статья, добавлен 17.01.2018Определение вероятности по формулам Бернулли и Байеса. Проведение исследования интегрального закона распределения. Вычисление математического ожидания, дисперсии и среднеквадратического отклонения. Особенность построения статистического разделения.
контрольная работа, добавлен 24.05.2016- 119. Нечеткая логика
Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022 Характеристика основных различий между номинальными и реальными уровнями значимости на примере непараметрических критериев проверки однородности двух независимых выборок. Проведение исследования мощности статистических критериев методом Монте-Карло.
статья, добавлен 22.05.2017Рассмотрение способов введения в математический анализ фундаментальных пределов. Дифференциальное исчисление тригонометрической функции. Первый и второй замечательные пределы. Математический поиск доказательства обоих пределов на основе бинома Ньютона.
статья, добавлен 25.11.2016Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Особенности контроллеров нечеткой логики как важного применения теории нечетких множеств. Общая структура нечеткого микроконтроллера. Описание лингвистической переменной и функции принадлежности. Принципы работы мобильного робота с нечеткой логикой.
реферат, добавлен 17.07.2013Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020- 125. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012