Основы математики
Множества и операции над ними. Декартово произведение множеств. Понятие и свойства алгоритма. Аксиоматический метод. Понятие о комбинаторной задаче. Математические утверждения и их структура. Основы математической логики. Соответствия и отношения.
Подобные документы
- 101. Теория множеств
Элементы теории множеств, операции над ними. Инъективные и сюръективные отображения. Отношение эквивалентности. Элементы теории кодирования, графов. Представление графов в памяти компьютера. Пример нахождения кода Харари графа. Задачи о раскраске.
методичка, добавлен 29.09.2017 Решение проблемы о структуре окрестности притягивающих, слабо притягивающих и неасимптотически устойчивых инвариантных множеств. Классификация компактных и замкнутых инвариантных множеств. Метод знакопостоянных функций Ляпунова для динамических систем.
автореферат, добавлен 19.08.2018Возникновение арифметики и геометрии до начала XVII века. Характеристика основных разделов современной математики. Создание дедуктивного или аксиоматического метода построения науки. Главные математические типы структур. Исследование графика и функции.
реферат, добавлен 28.04.2016Рассмотрение области математики, изучающей дискретные математические объекты и структуры. Определение особенностей нахождения оптимального алгоритма расчетов, действий, а так же описания дискретных структур. Изучение различных систем представления чисел.
статья, добавлен 18.03.2019Направления исследований в дискретной математике, направления их реализации и анализ результатов. Виды теорем и способы их доказательства: цепочка заключения, от противного, метод переборов и математической индукции, комбинированное доказательство.
контрольная работа, добавлен 23.02.2013Аксиоматический метод построения научной теории. Выделение понятий, формулирование аксиомы. Выведение теоремы и других понятий логическим путём. Пять "общих понятий" Евклида, причины его критики. Модель планиметрии Лобачевского на евклидовой плоскости.
реферат, добавлен 08.10.2011Рассмотрение примера графа для пояснения логики поиска всех максимальных независимых множеств. Метод генерации всех максимальных независимых множеств графа. Иллюстрация задачи о наименьшем покрытии. Поиск оптимального паросочетания в двудольном графе.
презентация, добавлен 09.09.2017Пространство элементарных исходов. События в дискретном пространстве. Сумма (объединение), произведение (пересечение), разность событий. Основные свойства операций над событиями. Вероятность в классическом пространстве. Понятие счётного множества.
презентация, добавлен 22.09.2017- 109. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 Способы задания и операции над множествами. Основные тождества алгебры и проекция вектора. Свойства сложения и умножения (коммутативность, ассоциативность и дистрибутивность). Операции над соответствиями. Диагональные элементы матрицы и линейные операции.
контрольная работа, добавлен 13.05.2014- 111. Основы математики
Развитие понятия о числе. Корни, степени и логарифмы. Координаты и векторы. Основы тригонометрии. Степенные, показательные, логарифмические и тригонометрические функции. Свойства многогранников. Начала математического анализа. Применение интеграла.
учебное пособие, добавлен 29.11.2014 Характеристическое свойство - признак, которым обладает каждый элемент, принадлежащий множеству. Круги Эйлера - особые чертежи, при помощи которых наглядно представляют отношения между множествами. Изображение декартова произведения при помощи графа.
презентация, добавлен 20.12.2015Методы построения и чтения чертежей объектов. Начертательная геометрия в науке и технике. Условные обозначения геометрических объектов и символы математической логики. Инженерный способ построения комплексного чертежа. Метрические свойства проекций.
учебное пособие, добавлен 20.01.2015Решение дробно-рациональных и импульсных функции. Преобразование Фурье и Лапласа. Операторный метод решения дифференциальных уравнений. Понятие линейного динамического звена и его временные характеристики. Частотные характеристики динамического звена.
курс лекций, добавлен 13.07.2012Формирование матрицы А размера nxm посредством цикла for. Разработка математической модели. Математические операции с полученными выражениями. Формирование двух произвольных матриц А и В порядка m при помощи цикла for и генератора случайных чисел rnd.
контрольная работа, добавлен 15.10.2013Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.
методичка, добавлен 31.05.2012Описание упорядоченных структур в теории множеств с самопринадлежностью. Счетность количества обозначений. Несчетность множества точек на прямой и счетность количества n обозначений чисел на отрезке. Классические утверждения теоремы Гёделя о нечетности.
статья, добавлен 26.04.2019Отношения, связывающие элементы множеств. Свойства бинарных отношений. Функциональные отношения. Отношения на заданном двухэлементном множестве. Выделение отношений эквивалентности и построение классов эквивалентности. Классификация отношений порядка.
лабораторная работа, добавлен 17.09.2019Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018- 122. Теория множеств
Применение теории множеств в различных разделах математики. Кардинальные числа и появление теории меры. Сравнительная количественная оценка множеств. Определение понятий длины, площади и объема в геометрии фигур. Развитие теории интеграла и рядов Фурье.
контрольная работа, добавлен 17.06.2014 - 123. Комплексные числа
Понятие комплексного числа, его геометрическая интерпретация. Математические операции над комплексными числами: вычитание и деление, возведение в степень, извлечение корня, тригонометрическая форма, свойства модуля и аргумента. Уравнения высших степеней.
курсовая работа, добавлен 26.09.2009 Теория множеств с самопринадлежностью, свойства структурного изоморфизма при описании бесконечных самоподобных множеств. Анализ и описание свойств структурного изоморфизма, прикладная интерпретация этих свойств на предметной области формальных языков.
статья, добавлен 26.04.2019Понятия графа в математической теории как совокупности непустого множества вершин и множества пар вершин. Направленность графов, ограничения на количество связей и дополнительные данные о вершинах или ребрах. Способы задания графов, матрица смежности.
контрольная работа, добавлен 29.08.2010