Математическая логика
Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
Подобные документы
Понятие текстовых задач, их типология, роль и место в курсе школьной алгебры. Психолого-педагогические основы формирования умения решать текстовые задачи, этапы и методы обучения. Разработка системы задач по алгебре для самостоятельного решения учащимися.
дипломная работа, добавлен 30.03.2011Классификация основных элементарных функций: степенные, показательные, логарифмические, тригонометрические и обратные тригонометрические. Определение и простейшие свойства линейной и квадратичной функции. Понятие обратной пропорциональной зависимости.
презентация, добавлен 29.10.2015Методы нахождения минимума функций градиентным методом наискорейшего спуска. Моделирование метода и нахождение минимума функции двух переменных с помощью ЭВМ. Алгоритм программы, отражение в ней этапов метода на языке программирования Borland Delphi 7.
лабораторная работа, добавлен 26.04.2014Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.
учебное пособие, добавлен 04.03.2010Доказательство теоремы о выявлении алгебраической замкнутости поля С (то есть существования корня у любого отличного от константы полинома с комплексными коэффициентами) согласно с принципами лемм Даламбера и о достижении точной нижней грани значений.
реферат, добавлен 01.03.2010Основные понятия теории полуколец. Определение полукольца. Примеры. Дистрибутивные решетки. Идеалы полуколец. Положительные и ограниченные полукольца. Определение и примеры положительных и ограниченных полуколец. Основные свойства полуколец.
дипломная работа, добавлен 14.06.2007Система двух нелинейных обыкновенных дифференциальных уравнений, порождённая прямым и обратным преобразованиями Беклунда высшего аналога второго уравнения Пенлеве. Аналитические свойства решения, наличие у системы четырёхпараметрических семейств решений.
реферат, добавлен 28.06.2009Идея элементарного доказательства великой теоремы Ферма исключительно проста: разложение чисел a, b, c на пары слагаемых, группировка из них двух сумм U' и U'' и умножение равенства a^n + b^n – c^n = 0 на 11^n (т.е. на 11 в степени n, а чисел a, b, c на 1
статья, добавлен 07.07.2005Опыт со случайным исходом. Статистическая устойчивость. Понятие вероятности. Алгебра событий. Принцип двойственности для событий. Условные вероятности. Формулы сложения и умножения вероятностей. Формула Байеса. Пространство элементарных событий.
реферат, добавлен 03.12.2007Понятие числовых функций с областью определения, аргумент и области их значений, свойства и графическое выражение. Определение четных и нечетных функций, периодичность тригонометрических функций. Свойства, используемые при построении их графиков.
презентация, добавлен 13.12.2011Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа, добавлен 08.08.2007Решение уравнения гармонического осциллятора при помощи разложения в ряд Тейлора. Применение метода индуцированной алгебры. Решение уравнения гармонического осциллятора при помощи метода индуцированной алгебры. Сравнение работоспособности методов решений.
курсовая работа, добавлен 24.05.2012Проблема решения уравнений в целых числах: от Диофанта до доказательства теоремы Ферма. Сущность теоремы о делимости данного числа на произведение двух взаимно простых чисел, особенности ее применения к решению неопределенных уравнений в целых числах.
курсовая работа, добавлен 10.03.2014Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие, добавлен 20.08.2014Пьер де Ферма сделал почти 370 лет назад свою запись на полях арифметики Диофанта. Натуральные взаимно простые числа, не имеющие общих целых множителей, кроме 1. Пример справедливости приведенного доказательства.
статья, добавлен 19.12.2006Сущность предела функции, ее производной и дифференциала. Основные теоремы о пределах и методы их математического вычисления. Производная, ее физический и геометрический смысл. Связь непрерывности и дифференцируемости, основные правила дифференцирования.
презентация, добавлен 24.06.2012Переключательные функции одного аргумента. Переключательные функции двух аргументов. Представление переключательной функции в виде многочленов. Совершенная дизъюнктивная нормальная форма переключательной функции. Функция в виде полинома Жегалкина.
реферат, добавлен 27.11.2008Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.
контрольная работа, добавлен 28.02.2009Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Вычислительные методы линейной алгебры. Интерполяция функций. Интерполяционный многочлен Ньютона. Узлы интерполяции. Интерполяционный многочлен Лагранжа. Интерполяция сплайнами. Коэффициенты кубических сплайнов.
лабораторная работа, добавлен 06.02.2004Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.
презентация, добавлен 21.09.2013Определение предела последовательности. Понятие производной и правила дифференцирования. Теоремы Роля, Лангража, правило Лапиталя. Исследования графиков функций. Таблица неопределенных и вычисление определенных интегралов. Функции нескольких переменных.
презентация, добавлен 17.03.2010Решение системы линейных уравнений методами Крамера, обратной матрицы и Гаусса. Расчет длин и скалярного произведения векторов. Уравнение прямой, проходящей через точку параллельно направляющему вектору. Расчет производных функций одной и двух переменных.
контрольная работа, добавлен 19.04.2013Понятие мероморфной функции и ее основные свойства. Характеристика теоремы Миттаг-Леффлера. Общий вид мероморфной функции с заданными полюсами, ее представление в виде суммы целой функции и ряда рациональных функций. Разбор случая простых полюсов.
курсовая работа, добавлен 20.07.2015- 100. Высшая математика
Элементы аналитической геометрии и линейной алгебры. Методы построения графика функции. Предел и непрерывность функции. Дифференциальное исчисление функции одной переменной. Определители и системы уравнений. Построение прямой и плоскости в пространстве.
методичка, добавлен 24.08.2009