Дискретная математика для программистов
Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
Подобные документы
Изучение теории множеств, их включения и равенства. Характеристика математической логики и предела последовательности функций. Определения первообразных и неопределенных интегральных исчислений. Анализ векторных функций. Тригонометрическая система.
курс лекций, добавлен 29.05.2013Изучение исторических аспектов взаимосвязи медицины и математики. Рассмотрение математических методов и моделей, применяемых в медицине. Основные требования к процессу моделирования. Анализ модели на основе накопленных данных об изучаемом объекте.
реферат, добавлен 28.01.2017Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.
учебное пособие, добавлен 07.08.2013Сиплициальные гомологии: определение и свойства. Комологии и формулы универсальных коэффициентов. Эйлерова характеристика и теорема Лефшеца. Гомоморфизм Бокштейна и изоморфизм Пуанкаре. Теорема о вырезании и точная последовательность Майера-Вьеториса.
учебное пособие, добавлен 17.12.2013Определение предела последовательности, теорема о единственности предела. Классификация пределов, теорема о предельном переходе в неравенствах и теорема о двух милиционерах. Примеры интегрирования по частям, решение простых и неопределенных интегралов.
контрольная работа, добавлен 19.05.2014Группы с различными условиями инцидентности. Конечные ненильпотентные разрешимые PIN-группы. Прямое произведение циклических групп простых порядков. Группы, содержащие не более одной собственной непримарной подгруппы. Элементарная абелева группа.
статья, добавлен 26.04.2019Теорема о непрерывности производных недифференцируемых функций. Определение координат в окрестности точки. Частные приращения по переменной и образованной от существующих пределов. Понятие дифференцируемости и производной сложной формулы двух аргументов.
лекция, добавлен 26.01.2014Множини та операції з ними. Основний принцип комбінаторики, правило множини. Декартів добуток двох множин. Біном Ньютона та біноміальні тотожності. Мала теорема Ферма. Шпернерові сімейства та теорема Шпернера. Перестановки та комбінації з повторенням.
учебное пособие, добавлен 11.04.2013Построение дискретного аналога модели Ланчестера, описывающего поведение двух противоборствующих участников военного конфликта. Определение оптимального управляющего воздействия в армии как в соответствующей линейной дискретной управляемой системе.
статья, добавлен 16.05.2020Определение вероятности, следствие из принципа практической невозможности маловероятных событий. Теорема Муавра–Лапласа. Закон распределения случайной величины. Дискретная случайная величина. Математическое ожидание дискретной случайной величины.
контрольная работа, добавлен 12.11.2015Характеристика вычислительных трудностей, связанных с барьерными функциями. Этапы алгоритма методы барьерных функций, теорема Лемма и отсутствие ограничений-равенств. Процесс преобразования задачи с ограничениями в задачу безусловной оптимизации.
лекция, добавлен 06.09.2017Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Значение математики в биологии. Математические методы и статистическая совокупность. Дискретная случайная величина и законы ее распределения. Статистическое оценивание и проверка статистических гипотез. Специфика регрессионного и кластерного анализа.
реферат, добавлен 29.12.2014Особенности развития естествознания и математической науки. Определение и сущность функции в XVIII веке. Роль понятия функциональной зависимости в познании реального мира. Общее определение функции в XIX веке и новые шаги в дальнейшем развитии понятия.
реферат, добавлен 10.03.2012Основные свойства неравенства Юнга, Гельдера и Минковского. Изучение теоремы Рериха, собственных значений и функций оператора Лапласа. Обобщенные решения краевых задач для уравнения Пуассона. Банаховы, метрические и линейные топологические пространства.
книга, добавлен 19.05.2011Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
курсовая работа, добавлен 05.12.2019Системы счисления Вавилонии и Египта. Феноменальное развитие математической науки в Древней Греции. Достижения великих математиков древнего мира. Усовершенствование математики индийцами и арабами, ее упадок в средние века. Современная математика.
реферат, добавлен 04.09.2011Основные понятия математической статистики. Оценка параметров, проверка гипотез и основы регрессионного анализа. Точечное и интегральное оценивание и их эффективность. Критерии согласия и линейная регрессия. Метод наименьших квадратов. Теорема Пирсона.
курс лекций, добавлен 03.07.2013Понятие и общая характеристика различных типов точечных множеств: ограниченных сверху и снизу, неограниченных. Определение верхней и нижней грани. Расположение точечного множества вблизи какой-либо точки на прямой. Открытые и замкнутые множества.
курсовая работа, добавлен 19.11.2014Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Сравнение бесконечно малых функций, их определение. Некоторые эквивалентные бесконечно малые функции при x>0. Раскрытие неопределенностей. Свойства функций, непрерывных на отрезке. Основные соотношения, их доказательство и примеры решений задач.
презентация, добавлен 16.10.2014Исследование функций при помощи производных и построение графиков. Необходимые и достаточные условия возрастания и убывания функции. Теорема и ее доказательство. Применение теоремы для убывающих функций. Подробное объяснение и решение задач.
лекция, добавлен 05.03.2009Вклад робіт Ферма на розвитку нових галузей в математиці: математичного аналізу, аналітичної геометрії, теорії вірогідності. Поява теорії з'єднань - комбінаторики. Велика теорема Ферма, історія її доведення. Спроби вирішення цієї математичної проблеми.
реферат, добавлен 03.05.2022Математическая индукция как способ математического доказательства, роль индуктивных выводов в экспериментальных науках. Интерпретация данных в зависимости от выбранной аксиоматики. Полная и неполная индукция, их применение для доказательства теорем.
реферат, добавлен 02.03.2013Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018