Математическая логика
Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
Подобные документы
Предмет, методы и понятия математической статистики, ее взаимосвязь с теорией вероятности. Основные понятия выборочного метода. Характеристика эмпирической функции распределения. Понятие гистограммы, принцип ее построения. Выборочное распределение.
учебное пособие, добавлен 24.04.2009Приведение уравнений к специальному виду. Устойчивость переменных с одним нулевым и парой чисто мнимых корней в частном случае. Критический случай двух пар чисто мнимых корней. Уменьшение числа рассматриваемых переменных в относительной устойчивости.
курсовая работа, добавлен 25.07.2015Вычисление пределов гиперболических функций. Дифференцирование сложной функции. Разложение гиперболических функций по формуле Тейлора. Свойства неопределенного интеграла, интегрирование функций. Гиперболические функции комплексного переменного.
дипломная работа, добавлен 11.01.2011Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Формулировка и доказательство теоремы о сложении вероятностей двух несовместных событий. Следствие теоремы в случае, когда события составляют полную группу несовместных событий, и в случае противоположных событий. Примеры вычисления вероятности событий.
презентация, добавлен 01.11.2013Определение вероятности случайного события; вероятности выиграшных лотерейных билетов; пересечения двух независимых событий; непоражения цели при одном выстреле. Расчет математического ожидания, дисперсии, функции распределения случайной величины.
контрольная работа, добавлен 29.06.2010- 107. Гипотеза Биля
Доказательство гипотезы Биля методами элементарной алгебры: сочетание методов решения параметрических уравнений и замены переменных (теорема Ферма). Ее формулировка в виде неопределенного уравнения, которое не имеет решения в целых положительных числах.
творческая работа, добавлен 29.05.2009 Общие сведения об элементарных функциях. Схема исследования функции и построения ее графика. Линейная, степенная, показательная, логарифмическая и тригонометрические функции. Простейшие преобразования графиков: параллельный перенос, деформация, отражение.
курсовая работа, добавлен 16.10.2011Функция многих переменных. Предел и непрерывность функции многих переменных. Частные производные. Дифференцируемость функции. Производная в направлении. Градиент. Локальные экстремумы. Интегральное исчисление функций. Неопределённный интеграл.
курс лекций, добавлен 08.04.2008- 110. Треугольник Паскаля
Свойства изящной математической системы - треугольника Паскаля, в котором каждое число равно сумме двух расположенных над ним чисел. Расстановка шаров в бильярде как классический пример треугольника Паскаля. Изображение треугольника Паскаля в виде точек.
презентация, добавлен 16.12.2010 Необходимость введения предикатов в математику. Предикат как один из элементов логики первого и высших порядков. Предикат, в котором нет переменных для замены - нульместный предикат. Изображение области истинности предиката на декартовой плоскости.
реферат, добавлен 24.07.2014Выполнение доказательства теорем Пифагора, Ферма и гипотезы Биля методом параметрических уравнений в сочетании с методом замены переменных. Уравнение теоремы Ферма как частный вариант уравнения гипотезы Биля, а уравнение теоремы Ферма – теоремы Пифагора.
творческая работа, добавлен 20.05.2009Топология как сравнительно молодая математическая наука, предмет и методы ее изучения, основные этапы становления и развития. Области топологии и понятие топологического пространства. Проблемы науки и пути их разрешения, основные понятия и теоремы.
реферат, добавлен 09.09.2009- 114. Квадратные корни
Понятие и математическая сущность квадратного корня, его назначение и методика вычисления. Теоремы, отображающие свойства квадратного коря, их обоснование и доказательство. Применение характеристик квадратных корней в решении геометрических задач.
реферат, добавлен 05.01.2010 Решение системы трех уравнений с тремя неизвестными при помощи определителей. Исследование системы на совместность, составление канонического уравнения эллипса. Изучение функции методами дифференциального исчисления, поиск точки разрыва функции.
контрольная работа, добавлен 16.04.2010Определение коэффициентов элементарных функций: линейной, показательной, степенной, гиперболической, дробно-линейной, дробно-рациональной. Использование метода наименьших квадратов. Приближённые математические модели в виде приближённых функций.
лабораторная работа, добавлен 05.01.2015Многие переменные, минимизация их функций. Точки максимума и минимума называются точками экстремума функции. Условия существования экстремумов функции многих переменных. Квадратичная форма, принимающая, как положительные, так и отрицательные значения.
реферат, добавлен 05.09.2010Понятие и основные свойства обратной функции. Нахождение функции, обратной данной. Область определения функции. Обратимость монотонной функции. Построение графиков функций и определение их свойств. Симметричность графиков функций относительно прямой у=х.
презентация, добавлен 18.01.2015- 119. Свойства функций
Общий обзор свойств функций, осмысление каждого свойства. Исследование функции на монотонность, ее наибольшее и наименьшее значения. Тестовое задание "Выпуклость функции". Примеры непрерывной функции D(f)=[-4; 6] и прерывной функции D(f)=(1; 7).
презентация, добавлен 13.01.2015 - 120. Исследование функций
Локальные экстремумы функции. Теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа. Достаточные условия экстремума функции. Исследование функций на выпуклость и вогнутость. Точка перегиба. Асимптоты графика функции. Схема построения графика.
курс лекций, добавлен 27.05.2010 Статистика – наука о массовых явлениях в природе и обществе; получение, обработка, анализ данных. Демографическая статистика, прогноз численности населения России. Методы обработки статистических данных: элементы логики, комбинаторики, теории вероятности.
презентация, добавлен 19.12.2012Представление великой теоремы Ферма как диофантового уравнения. Использование для ее доказательства метода замены переменных. Невозможность решения теоремы в целых положительных числах. Необходимые условия и значения чисел для решения, анализ уравнений.
статья, добавлен 21.05.2009Развитие математической культуры арабской цивилизации: от религиозного фанатизма до адекватной оценки культуры завоеванных народов. Научные трактаты Багдадской математической школы. Развитие арабской алгебры в X-XII вв. и достижения в геометрии.
презентация, добавлен 20.09.2015Теорема о представлении дзета-функции Дедекинда произведением L-рядов Дирихле, ее доказательство в виде произведения L-функций в разветвленном и неразветвленном случаях. Приложение теоремы: выведение функционального уравнения дзета-функции Дедекинда.
курсовая работа, добавлен 15.06.2011- 125. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012