Виды суждений
Отношение субъекта и предиката в общеотрицательных и частноутвердительных суждениях. Сущность выделяющих, исключающих и определенно-частных суждений. Построение таблицы истинности. Порядок механического перебора сочетаний. Отношения между суждениями.
Подобные документы
Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Использование алгебраического метода решения задач на построение в теории конструктивных задач. Определение взаимосвязи алгебры и геометрии. Обзор примеров задач на построение и схем их решения. Построение отрезков, заданных основными формулами.
курсовая работа, добавлен 25.01.2017Изучение основных законов геометрической оптики. Сущность полного внутреннего отражения. Понятие о линзах, виды и основные характеристики линз. Особенности тонкой линзы. Построение изображения в тонких линзах. Принципы аберрации оптических систем.
презентация, добавлен 21.10.2019Аксиоматическое построение множества натуральных чисел. Отношение делимости и его свойства. Полная и приведенная системы вычетов, теорема Эйлера и Ферма. Тригонометрическая форма записи комплексного числа. Действия над ними в алгебраической форме.
учебное пособие, добавлен 19.01.2015Процесс перехода от общего уравнения к каноническому и на оборот, основные правила. Сущность взаимного расположения прямых в пространстве и порядок нахождения расстояния. Процесс определения угла между прямой и плоскостью. Понятие эллипса и окружности.
лекция, добавлен 23.10.2013- 106. Использование дифференциальных уравнений в частных производных для моделирования реальных процессов
Задачи, приводящие к уравнениям гиперболического типа. Метод разделения переменных. Уравнения параболического типа: общая характеристика, назначение и сферы применения, задачи. Моделирование с помощью дифференциальных уравнений в частных производных.
дипломная работа, добавлен 21.01.2011 Получение Л. Эйлером критерия существования обхода ребер графа при решении задачи о Кенигсбергских мостах. Формулировка теоремы для связных ориентированных и неориентированных графов. Пример дерева перебора вариантов. Фундаментальное множество циклов.
презентация, добавлен 09.09.2017- 108. Частные производные
Сущность частного приращения по переменной в определенной точке, особенности наличия предела и его определение. Понятие дифференцируемости функции двух переменных, необходимое условие и достаточные. Характеристика основных теорем частных производных.
лекция, добавлен 29.09.2013 Аналитические методы решения уравнений математической физики в частных производных. Численные методы решения уравнений матфизики. Дискретизация расчетной области, формирование матрицы неизвестных температур системы линейных уравнений, построение изотерм.
курсовая работа, добавлен 01.04.2022Представление функции алгебры логики в совершенной дизъюнктивной нормальной форме. Преобразования и минимизация в базисе, который состоит из функции Вебба. Порядок построения таблицы меток из исходных и первичных импликантов в виде двоичных кодов.
контрольная работа, добавлен 19.12.2018- 111. Линейная регрессия
Сущность линейной регрессии как метода восстановления зависимости между двумя переменными. Особенности регрессионной модели. Рассмотрение основных функций предиктора. Характеристика метода наименьших квадратов. Порядок определения линейной регрессии.
краткое изложение, добавлен 17.03.2015 Краткий анализ условия задачи, выделение из нее двух ситуаций. Введение неизвестных, установление зависимости между данными задачи и неизвестными. Составление и решение системы уравнений. Оформление задачи в виде таблицы и запись получившегося ответа.
презентация, добавлен 16.10.2013Обзор логико-алгебраического метода моделирования логических связей между вопросами теста, позволяющего получить интегральный показатель, оценивающий знания испытуемого. Построение логических уравнений, которые описывают связи между тестовыми вопросами.
статья, добавлен 14.07.2016История возникновения и развития логарифмов. Таблицы Иоста Бюрги. Логарифмическая спираль. Связь логарифмов и музыки. Применение логарифмов для познания окружающего мира. Логарифмическая зависимость между величиной ощущения и порождающего его раздражения.
контрольная работа, добавлен 16.11.2013Особенность подготовки Василием Ермаковым будущих математиков. Получение звания экстраординарного профессора. Построение Евдоксом Книдским общей теории отношений, основанной на новом определении величины. Характеристика главных трудов Эвклида "Начала".
реферат, добавлен 25.01.2015Система нелинейных дифференциальных уравнений в частных производных первого порядка. Доказательство существования решения системы интегральных уравнений. Запись операторов в функциональных пространствах с использованием принципа "сжимающих отображений".
автореферат, добавлен 12.05.2018- 117. Раскраска графов
Графы как наборы точек (вершин), некоторые из которых объявляются смежными (соседними), их классификация и разновидности. Понятие и закономерности раскраски вершин графа. Алгоритм неявного перебора, его этапы. Принципы и правила распределения ресурсов.
доклад, добавлен 29.12.2014 Термин "фрактал" в математике, история возникновения этого понятия. Классификация, виды геометрических фракталов. Построение триадной кривой Коха. Генератор кривой Пеано. Реализация геометрических фракталов с помощью языка программирования Pascal.
курсовая работа, добавлен 16.10.2013Сущность и предназначение шифрования. Пример шифрованного сообщения с заменой каждой буквы соответствующим ей числом. Характеристика процесса составления пары цифр расшифрованного сообщения, использование таблицы соответствия букв порядковому номеру.
контрольная работа, добавлен 19.09.2017- 120. Частные производные
Характеристика частных производных по переменным в определенной точке. Сущность дифференциалов высших порядков, их классификация и задача. Основные экстремумы функции двух переменных. Главные правила нахождения наибольших и наименьших значений функции.
лекция, добавлен 29.09.2013 - 121. Методы оптимизации
Задачи одномерной безусловной минимизации. Численные методы поиска многомерного безусловного экстремума. Свойство унимодальной функции. Метод поразрядного поиска, перебора, деления отрезка пополам, золотого сечения, средней точки, Ньютона и хорд.
курсовая работа, добавлен 15.11.2011 Сравнение трех методов организации перебора вариантов при выборе информативного подмножества признаков в задаче распознавания образов. Принципы и условия использования алгоритма FRiS-Stolp. Критерии информативности и пригодности выбираемой подсистемы.
статья, добавлен 28.10.2018Особенности перебора множества моделей и созданных алгоритмов. Математическое описание некорректно поставленных задач, его определение семейством элементов, заданных в гильбертовых пространствах. Добавление априорных классификационных признаков.
статья, добавлен 30.08.2016Применение законов распределения вероятностей для анализа проблемной ситуации. Выбор стратегии поведения. Построение отношения стохастического доминирования. Нахождение множества недоминируемых стратегий. Вычисление математического ожидания и дисперсии.
лекция, добавлен 30.04.2014Бесперспективность проверки существования нераскрашиваемого графа путем полного перебора. Задача построения однодневного расписания учебных занятий. Проверка существования гармонической раскраски у каждого графа. Применение рекурсивной процедуры AddSplit.
статья, добавлен 21.06.2018