Математическая логика
Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
Подобные документы
Понятие функции двух и более переменных, ее предел и непрерывность. Частные производные первого и высших порядков. Определение полного дифференциала. Необходимые и достаточные условия существования экстремума и его нахождение на условном множестве.
реферат, добавлен 03.08.2010Тождества, используемые для системы Жигалкина. Многочлен Жигалкина функции одной, двух и трех переменных. Содержание теоремы. Практический пример преобразования многочлена с помощью метода цепочки и неопределенных коэффициентов. Закон полного поглощения.
контрольная работа, добавлен 06.08.2013Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Задачи и методы линейной алгебры. Свойства определителей и порядок их вычисления. Нахождение обратной матрицы методом Гаусса. Разработка вычислительного алгоритма в программе Pascal ABC для вычисления определителей и нахождения обратной матрицы.
курсовая работа, добавлен 01.02.2013Представление с помощью кругов Эйлера множественного выражения. Законы и свойства алгебры множеств, упрощение выражений. Система функций, ее возможные базисы. Минимизирование булевой функции. Метод Квайна – Мак-Класки. Определение хроматического числа.
контрольная работа, добавлен 17.01.2011Теория высшей алгебры в решении задач элементарной математики. Программы для нахождения частного и остатка при делении многочленов, наибольшего общего делителя двух многочленов, производной многочлена; разложения многочленов на кратные множители.
дипломная работа, добавлен 09.01.2009Алгоритм вычисления интегральной суммы для функции нескольких переменных по кривой АВ. Определение понятия криволинейного интеграла второго рода. Представление суммы интегралов двух функций вдоль кривой АВ как криволинейного интеграла общего вида.
презентация, добавлен 17.09.2013Теория игр - математическая теория конфликтных ситуаций. Разработка математической модели игры двух лиц с нулевой суммой, ее реализация в виде программных кодов. Метод решения задачи. Входные и выходные данные. Программа, руководство пользователя.
курсовая работа, добавлен 17.08.2013Уравнение с разделяющимися переменными. Однородные и линейные дифференциальные уравнения. Геометрические свойства интегральных кривых. Полный дифференциал функции двух переменных. Определение интеграла методами Бернулли и вариации произвольной постоянной.
реферат, добавлен 24.08.2015Исторический обзор формирования тригонометрии как науки от древности до наших дней. Введение понятия тригонометрических функций на уроках алгебры и начал анализа по учебникам А.Г. Мордковича, М.И. Башмакова. Решения линейных дифференциальных уравнений.
дипломная работа, добавлен 02.07.2011Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.
лекция, добавлен 25.03.2012Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа, добавлен 24.05.2015- 64. Булева алгебра
Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация, добавлен 11.10.2014 Функции нескольких переменных. Локальные экстремумы функции двух переменных. Производная по направлению. Двойные и тройные интегралы. Вычисление объемов тел и площадей плоских фигур. Тройной интеграл, криволинейные интегралы первого и второго рода.
учебное пособие, добавлен 23.04.2012Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009Основные правила преобразования графиков на примерах элементарных функций: преобразование симметрии, параллельный перенос, сжатие и растяжение. Построение графиков сложных функций с помощью последовательных преобразований графиков элементарных функций.
презентация, добавлен 16.11.2010Примеры пространства элементарных событий. Вероятность появления одного из двух несовместных событий. Функция распределения F(x,y) системы случайных величин. Расчет математического ожидания и дисперсии. Закон генеральной совокупности и его параметры.
контрольная работа, добавлен 15.06.2012Доказательство великой теоремы Ферма для n=3 методами элементарной алгебры с использованием метода решения параметрических уравнений. Диофантово уравнение, решение в целых числах, отсутствие решения в целых положительных числах при показателе степени n=3.
творческая работа, добавлен 17.10.2009Пространство элементарных событий. Понятие совместных и несовместных событий и их вероятностей. Плотность распределения вероятностей системы двух случайных величин. Числовые характеристики системы. Закон генеральной совокупности и его параметры.
контрольная работа, добавлен 15.06.2012История развития алгебры как научной дисциплины. Расширения Галуа как универсальный метод решения уравнений любой степени. Определение понятия коммуникативной (абелевой) группы. Сущность кольца и его свойства. Примеры использования конечного поля.
реферат, добавлен 28.05.2014Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат, добавлен 14.08.2015Приведение уравнений к специальному виду. Устойчивость относительно переменных с одним нулевым и парой чисто мнимых корней в частном случае. Критический случай двух нулевых корней, одного нулевого и пары чисто мнимых корней, двух пар чисто мнимых корней.
дипломная работа, добавлен 13.07.2015Общие свойства эллиптических интегралов и эллиптических функций. Параллелограммы периодов, основные теоремы. Эллиптические функции второго порядка. Вычисление длины дуги эллипса, эллиптические координаты, сумма вычетов эллиптической функции.
курсовая работа, добавлен 26.04.2011