Математическая логика
Характеристика основ нечёткой и модальной логики. Знакомство с примерами экспертных систем. Место математической логики в информационных технологиях и программировании. Рассмотрение правил записи сложных формул. Особенности метода дедуктивного вывода.
Подобные документы
Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Изучение упорядочивания числа объектов. Исследование независимости критериев по предпочтению и транзитивности. Разбор противоречий с помощью транзитивного квазизамыкания. Анализ использования рациональной логики для вывода отношений между объектами.
доклад, добавлен 17.01.2018Построение математических моделей, связывающих заданные условия работы систем массового обслуживания как предмет теории массового обслуживания. Знакомство с примерами систем массового обслуживания: ремонтные мастерские, билетные кассы, магазины.
контрольная работа, добавлен 28.03.2020Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.
презентация, добавлен 24.04.2012Периодизация 6-уровневого развития математического знания при использовании психолого-гносеологических оснований отражения действительности в сознании человека. Изменение логики и математики по линии число-уравнение-функция-алгоритм-непредикативность.
статья, добавлен 26.04.2019Теория вероятности как наука, которая изучает закономерности массовых случайных явлений. Знакомство с особенностями применения теории вероятности и математической статистики в экономике. Общая характеристика выборочного метода статистических исследований.
статья, добавлен 25.03.2019- 107. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Понятие индивидуальных предпочтений и удовлетворяющих ряд свойств, описываемых бинарными отношениями. Очерк развития ординального подхода в рамках математической логики. Анализ специальных классов линейного порядка. Свойства матриц смежности графов.
лекция, добавлен 29.09.2013- 109. Логика предикатов
Сущность и значение предикатов, отношений. Определение кванторов, их виды и взаимосвязи. Построение исчисления предикатов. Специфика логического следования, выводимость и доказуемость. Категорический силлогизм и другие умозаключения дедуктивной логики.
курсовая работа, добавлен 08.02.2011 - 110. Основы математики
Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
курс лекций, добавлен 25.09.2017 Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013- 112. Математика XIX века
Предыстория математической логики. Алгебраическая теория чисел. Социальная и антропометрическая статистика. Вклад К.Ф. Гаусса в теорию вероятностей. Исследования С.Д. Пуассона и О. Коши. П.Г. Лежен-Дирихле и теорема об арифметических прогрессиях.
книга, добавлен 25.11.2013 Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Признавая высказывание за истинное, мы вынуждены также признавать и отвергать многие другие, связанные с ним. Сфера применения формально-логического тождества. Понятие диалектического и формально-логического противоречия. Закон исключенного третьего.
реферат, добавлен 17.03.2009Рассмотрение графического метода решения систем линейных неравенств. Решение задач с использованием симплекс-метода. Рассмотрение процесса заполнения симплекс-таблицы. Характеристика сущности метода искусственного базиса и принципа двойственности.
контрольная работа, добавлен 10.10.2014Понятие математической статистики, её предназначение и задачи. Распределение выборки, геометрическое представление выборки. Статистические критерии согласия. Характеристика интервального оценивания. Линейная регрессия и расчет выборочной ковариации.
лекция, добавлен 21.03.2018Рассмотрение проблемы представления свойств сложных объектов в базах знаний экспертных систем. Ориентация программного обеспечения на многозначную интерпретацию с позиции нечеткого и лингвистического моделирования рассматриваемой проблемной области.
статья, добавлен 07.08.2020Знакомство с основными особенностями разработки математической модели гидропривода для станка ОК-63. Анализ принципиальной схемы гидравлического привода рабочего органа окорочного станка. Рассмотрение особенностей математического аппарата системы MatLab.
статья, добавлен 29.11.2018Виды матриц, используемых в математике для компактной записи систем алгебраических или дифференциальных уравнений. История происхождения и свойства магического квадрата. Применение массивов в технике и программировании. Прогрессивные матрицы Равена.
реферат, добавлен 21.03.2022Рассмотрение математической модели функционирования автостоянки, анализ и расчеты по математической модели процесса массового обслуживания. Модель, характеризуемая показательным распределением длительностей интервалов между поступлениями требований.
статья, добавлен 20.04.2022Ознакомление с примерами решений дифференциальных уравнений. Характеристика особенностей применения преобразований Лапласа. Исследование процесса записи решений дифференциальных уравнений при помощи свертки. Рассмотрение формулы Грина и Дюамеля.
презентация, добавлен 26.09.2017- 122. Комплексные числа
Изучение комплексных чисел в рамках школьной математической программы. Описание правил сложения, вычитания и других действий. Вывод формул сокращенного умножения. Решение примеров с комплексными числами. Представление множества в виде кругов Эйлера.
реферат, добавлен 02.05.2019 Общие методы вывода квадратурных формул. Процесс вычисления определенного интеграла. Рассмотрения метода интегрирования Гаусса с плавающими узлами. Математические квадратуры в специальных случаях. Вычисление несобственных интегралов второго рода.
учебное пособие, добавлен 13.09.2015Анализ проблемы парадоксов логики и математики, основанной на "физическом" моделировании парадокса "Лжец" на аналоговой вычислительной машине. Изучение понятия актуальной бесконечности и некоторых аспектов применения диагонального метода Кантора.
статья, добавлен 16.01.2018Методика определения хроматического числа неориентированного графа. Пример графа для иллюстрации логики нахождения правильной раскраски. Характеристика метода нахождения пути минимального окрашивания, который основан на решении задачи о покрытии.
презентация, добавлен 25.09.2017