Понятие математической логики
Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
Подобные документы
Применение граф-схем - кратчайший путь доказательства теорем. Нахождение искомых величин путем рассуждений. Алгоритм решения логических задач методами таблицы и блок-схемы. История появления теории траекторий (математического бильярда), ее преимущества.
реферат, добавлен 21.01.2011Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат, добавлен 14.08.2015Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Построение логических взаимосвязей между цветами при помощи аппарата дискретной математики. Структуры объекта в виде множеств, граф отношений между ними. Исследование на рефлексивность, транзитивность, симметричность. Матрицы смежности и инцидентности.
контрольная работа, добавлен 07.06.2010Понятия теории графов, их связность и задача о кратчайшей цепи. Программная реализация метода Дейкстры, его сравнение с методом простого перебора. Описание логики программного модуля. Примеры работы программы нахождения кратчайшей цепи в связном графе.
курсовая работа, добавлен 25.11.2011Идея и возможности вейвлет-преобразования. Свойства вейвлетов: непрерывное прямое и обратное образование. Понятие и оценка преимуществ, сферы применения дискретного вейвлет-преобразования. Поиск изображений по образцу. Многомасштабное редактирование.
курсовая работа, добавлен 27.04.2011Порядок преобразования исходных данных и построения математической модели оптимального плана доставки газет. Выбор метода решения и основные этапы его реализации. Принципы освоения и практического применения оптимизационного пакета прикладных программ.
курсовая работа, добавлен 25.03.2017Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Основные понятия теории полуколец. Определение полукольца. Примеры. Дистрибутивные решетки. Идеалы полуколец. Положительные и ограниченные полукольца. Определение и примеры положительных и ограниченных полуколец. Основные свойства полуколец.
дипломная работа, добавлен 14.06.2007Теория вероятности, понятие вероятности события и её классификация. Понятие комбинаторики и её основные правила. Теоремы умножения вероятностей. Понятие и виды случайных величин. Задачи математической статистики. Расчёт коэффициента корреляции.
шпаргалка, добавлен 18.06.2012Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Понятие и оценка необходимости в статистической обработке психологических данных. Методика и основные этапы математической обработки полученных данных, его критерии и параметры: признаки и переменные, шкалы измерения, анализ и оценка уровня значимости.
презентация, добавлен 28.02.2014Основные действия над матрицами, операция их умножения. Элементарные преобразования матрицы, матричный метод решения систем линейных уравнений. Элементарные преобразования систем, методы решения произвольных систем линейных уравнений, свойства матриц.
реферат, добавлен 09.06.2011Сведения о плоских кривых. Замечательные кривые третьего порядка. Классификация Ньютона кривых третьего порядка. Циссоида и ее свойства. Преобразования плоскости, переводящие кривые второго порядка в кривые третьего порядка. Преобразования Маклорена.
дипломная работа, добавлен 22.04.2011Основные законы проективной геометрии. Понятие двойного отношения, параллельности и бесконечности. Теорема Дезарга и теорема Паскаля. Пространственная интерпретация теоремы Дезарга. Стереометрия помогает планиметрии. Окружность переходит в окружность.
курсовая работа, добавлен 05.12.2013Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.
дипломная работа, добавлен 04.06.2002Преобразования Фурье, представление периодической функции суммой отдельных гармонических составляющих. Использование преобразований как для непрерывных функций времени, так и для дискретных. Программа и примеры реализации алгоритмов с прореживанием.
реферат, добавлен 25.05.2010"Преобразования Лоренца" как формальный математический прием для согласования электродинамики с механикой. Пространственные и временные соотношения между данными событиями в разных инерциальных системах отсчета. Равенство поперечных размеров тел.
реферат, добавлен 05.04.2013Понятия теории вероятностей и математической статистики, применение их на практике. Определение случайной величины. Виды и примеры случайных величин. Закон распределения дискретной случайной величины. Законы распределения непрерывной случайной величины.
реферат, добавлен 25.10.2015Статистика – наука о массовых явлениях в природе и обществе; получение, обработка, анализ данных. Демографическая статистика, прогноз численности населения России. Методы обработки статистических данных: элементы логики, комбинаторики, теории вероятности.
презентация, добавлен 19.12.2012Понятие математической статистики как науки о математических методах систематизации и использования статистических данных для научных и практических выводов. Точечные оценки параметров статистических распределений. Анализ вычисления средних величин.
курсовая работа, добавлен 13.12.2014- 73. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 История возникновения булевой алгебры, разработка системы исчисления высказываний. Методы установления истинности или ложности сложных логических высказываний с помощью алгебраических методов. Дизъюнкция, конъюнкция и отрицание, таблицы истинности.
презентация, добавлен 22.02.2014Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.
лекция, добавлен 25.03.2012