Дискретная математика для программистов
Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
Подобные документы
Точки на комплексной плоскости, элементарные функции комплексного переменного. Характеристика и отличительные черты однолистных и многозначных функций. Теорема Коши-Римана, понятие линейного отображения. Определение ряда Лорана, изолированные точки.
лекция, добавлен 29.09.2014- 52. Пьер Ферма
Биография французского математика, одного из создателей аналитической геометрии и теории чисел, Пьера Ферма. Математика как увлечение. Две знаменитые теоремы из области теории чисел: малая теорема Ферма и "великая" теорема Ферма, их суть и доказательство.
доклад, добавлен 07.05.2015 Понятие абстрактной группы. Свойства алгебраических операций. Реализация абстрактной группы как группы преобразований. Доказательство теоремы Коши, Лагранжа. Теорема о подгруппах конечной циклической группы. Смежные классы, классы сопряженных элементов.
реферат, добавлен 24.06.2010Важнейшие классы и методы случайных процессов. Конечномерные распределения винеровского процесса. Дискретная цепь Маркова. Евклидово пространство случайных величин. Корреляционная теория. Теорема Фубини. Производная и интеграл. Канонические разложения.
учебное пособие, добавлен 17.04.2013История функций. Первые таблицы для нахождения тангенсов и котангенсов. Теорема синусов для сферических треугольников. Основная формула нахождения тангенса. Доказательство теоремы тангенсов для сферических углов и синусов для плоских треугольников.
презентация, добавлен 11.05.2013Определение основных понятий непрерывности функции в точке. Расчет величин прироста аргумента. Арифметические действия элементарных функций. Понятие гиперболических функций и их формулы. Множество и его значение. Точка разрыва и теорема непрерывности.
лекция, добавлен 26.01.2014Аксиоматика и основные понятия стереометрии и ее роль в развитии пространственных представлений. Параллельность двух плоскостей: определение, признак, свойства, теорема. Перпендикулярность прямой и плоскости: определение, основные признаки и свойства.
реферат, добавлен 25.11.2012Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Связь между понятиями аналитических и гармонических функций. Отличия отличной от постоянной гармонической функции, что не может достигать экстремума во внутренней точке области определения. Граничная теорема единственности теории аналитических функций.
курсовая работа, добавлен 14.06.2023- 60. Теория функций
Определение и свойства функций действительного переменного, условия непрерывности, дифференцируемости и интегрируемости. Понятие меры функций и множества. Особенности функций комплексного переменного, понятие аналитичности. Интегральная теорема Коши.
лекция, добавлен 21.04.2010 Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Введение понятия урчуктных (разрывных) функций в дифференциальное исчисление. Нули разрывной функции. Совокупность разрывных функций. Касательные с угловыми коэффициентами. Классическая теорема Ролля. Расчет производной по классической теореме Ферма.
статья, добавлен 20.05.2018Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Описание жадного алгоритма, его линейная временная сложность. Теорема Радо–Эдмонса, комбинаторный объект матроида и матроиды трансверсалей. Теорема Дж. Эдмондса и Д. Фалкерсона. Жадный алгоритм для матроида трансверсалей. Классическая теорема Ф. Холла.
презентация, добавлен 26.09.2017Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.
лекция, добавлен 15.11.2017Замкнутые и разомкнутые системы. Построение линеаризованной модели для звена, которое описывается нелинейным дифференциальным уравнением. Поиск импульсной характеристики. Определение значений устойчивости замкнутой системы при помощи критерия Гурвица.
контрольная работа, добавлен 25.11.2017Обоснование роли математической науки в профессиональной жизнедеятельности инженера. Очерк возникновения и понимания самостоятельного положения математики. Становление проективной и аналитической геометрии. Анализ профессии и обязанностей инженера.
реферат, добавлен 17.10.2013Расчет ранга инцидентности группы типа pn*p. Оценка ранга инцидентности рассматриваемой группы. Некоторые свойства непримарных групп, связанные с I-рангом. Конечные неабелевы р-группы I-ранга 4, покрываемые тремя подгруппами. Конечные неабелевы группы.
статья, добавлен 26.04.2019Изучение необходимости применения математической науки в жизни человека. Основные правила в геометрии стрижек. Математика в парикмахерском деле. Выбор бигуди в зависимости от толщины радиуса для моделирования прически. Симметрия и асимметрия в стрижках.
презентация, добавлен 23.01.2014Изучение понятия элементарных функций в математике, их виды. Характеристика правил определения элементарных функций по Лиувиллю. Дифференцирование и нахождение производных по таблице. Дифференцируемая в точке функция, матрица Якоби и теорема Лебега.
реферат, добавлен 26.02.2015Рассмотрение алгоритма полного исследования функции, теоретических результатов по каждому пункту алгоритма. Разбор стандартных примеров исследования функций и построения графиков. Определение особенностей построения параметрически заданных кривых.
методичка, добавлен 14.09.2015Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017- 74. Теорема Виета
Доказательство теоремы Виета, в том числе ее применение для приведенного и неприведенного квадратного уравнения. Практические задачи и ситуации, в которых может использоваться теорема, а также краткая биография французского математика Франсуа Виета.
презентация, добавлен 18.04.2011 - 75. Ряды Фурье
Понятие ряда Фурье. Определение коэффициентов, признаки сходимости рядов. Разложение в ряд Фурье периодической, непериодической и тригонометрической функций. Пространство функций со скалярным произведением. Основные типы уравнений математической физики.
курсовая работа, добавлен 28.10.2015