Функционально полные системы функций алгебры логики
Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
Подобные документы
Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012Определитель как одно из основных понятий линейной алгебры. Нахождение обратной матрицы. Коэффициенты при переменных и свободные членов. Методы Крамера и Гаусса. Отрезки, отсекаемые плоскостью на осях координат. Исследование функции и построение графика.
контрольная работа, добавлен 08.10.2014- 103. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Особенность модификации метода выделения переменных, уменьшающая сложность получаемых промежуточных форм за счет реализации выделения группы переменных последовательностью шагов, называемых циклами. Проведение исследования получения пустого множества.
статья, добавлен 07.11.2018Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Непрерывность функции в точке и на множестве. Точки разрыва функции и их классификация. Действия над непрерывными функциями. Непрерывность основных элементарных функций. Свойства функций, непрерывных на отрезке, равномерная непрерывность функции.
лекция, добавлен 10.02.2016Понятие степенного ряда и области его сходимости. Введение функций С(x) и S(x), формулы их сложения и вывод основных свойств. Тригонометрические функции как решения системы двух дифференциальных уравнений первого порядка. Применение рекуррентных формул.
курсовая работа, добавлен 09.03.2012Определение основных видов функций, изучение их свойств. Использование аналитического и графического методов задания функций при нахождении ограничений снизу и сверху на множестве; точек максимума и минимума; вычислении наименьшего и наибольшего значений.
реферат, добавлен 05.10.2009Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016Структурный анализ надежности систем. Методы расчета систем с последовательной структурой. Суть параллельной структуры. Расчет надежности систем с параллельной и смешанной структурами. Описание условий работоспособности с помощью функций алгебры логики.
лекция, добавлен 09.09.2017- 113. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Нахождение стационарных точек функций двух и трех переменных, вычисление их экстремальных точек и значений. Составление функции Лагранжа. Решение задачи линейного программирования симплекс-методом. Методы определения начального плана транспортной задачи.
контрольная работа, добавлен 16.10.2017Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022- 117. Численные методы
Изучение сущности и особенностей построения интерполирующей функции. Рассмотрение метода полиномиальной интерполяции Шарля Эрмита. Анализ интерполяционных формул для функций двух переменных. Специфика численного дифференцирования и его погрешность.
реферат, добавлен 19.05.2014 - 118. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Анализ понятия символической логики (математической, теоретической): происхождение, развитие и свойства. Буквенные обозначения для переменных, а также идея построения универсального языка для всей математики. Основы современной логической символики.
доклад, добавлен 27.12.2010- 120. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Математическое понятие и сущность функции. Свойства и графики функций. Определение первообразной функции. Общие правила обобщения степени. Характеристики первообразной и интеграла. Нахождение натурального логарифма числа в математическом анализе.
лекция, добавлен 18.05.2015- 123. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012 Понятие дифференциала функции как суммы произведений частных производных этой функции на приращения соответствующих независимых переменных. Особенности и суть условия дифференцируемости функции нескольких переменных и его математическое представление.
презентация, добавлен 17.09.2013Геометрическое изображение функции двух переменных. Частные производные, их свойства и геометрический смысл. Предел и непрерывность функции нескольких переменных, их функции. Применение дифференциала к приближенным вычислениям, сложным функциям.
курс лекций, добавлен 23.10.2013