Минимальные формы булевых многочленов
Основные этапы развития булевой алгебры и применение минимальных форм булевых многочленов к решению задач, в частности, с помощью метода Куайна - Мак-Класки. Применение минимизирования логических форм при проектировании устройств цифровой электроники.
Подобные документы
Понятие текстовых задач, их типология, роль и место в курсе школьной алгебры. Психолого-педагогические основы формирования умения решать текстовые задачи, этапы и методы обучения. Разработка системы задач по алгебре для самостоятельного решения учащимися.
дипломная работа, добавлен 30.03.2011Элементарная теория сравнений. Диофантовы приближения. Определения и свойства сравнений. Теорема Эйлера, теорема Ферма. Китайская теорема об остатках, ее обобщение Цинь Цзюшао. Применение к решению олимпиадных задач. Применение к открытию сейфа в банке.
курсовая работа, добавлен 29.09.2015Вычисление приближенных величин и погрешностей. Решение алгебраических и трансцендентных уравнений, интерполяция функций и методы численного интегрирования. Применение метода наименьших квадратов к построению эмпирических функциональных зависимостей.
курсовая работа, добавлен 08.01.2013Значение и применение комбинаторики. Решение и геометрическое представление комбинаторной задачи "очередь в кассу". Применение метода подсчёта ломаных, определение свойства числа сочетаний. Блуждания по бесконечной плоскости в четырёх направлениях.
курсовая работа, добавлен 05.12.2012Применение метода инверсии при решении задач на построение в геометрии. Решение задачи Аполлония, лемма об антипараллельных прямых. Инвариантные окружности и сохранение углов при инверсии. Недостатки применения инверсии и работа инверсора Гарта.
дипломная работа, добавлен 30.09.2009Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация, добавлен 23.12.2012Представление булевой функции в виде дизъюнктивной нормальной формы. Выражение всех логических операции в формуле через конъюнкции, дизъюнкции и отрицания. Сокращение количества слагаемых, входящих в формулу и количества переменных, входящих в слагаемое.
контрольная работа, добавлен 06.05.2013Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.
контрольная работа, добавлен 04.09.2010- 59. Эйлеровы графы
Основные понятия, связанные с графом. Решение задачи Эйлера о семи кёнигсбергских мостах. Необходимые и достаточные условия для эйлеровых и полуэйлеровых графов. Применение теории графов к решению задач по математике; степени вершин и подсчёт рёбер.
курсовая работа, добавлен 16.05.2016 - 60. Метод Милна
Численное решение дифференциальных уравнений с помощью многошагового метода прогноза и коррекции Милна. Суммарная ошибка метода Милна. Применение метода Рунге-Кутта для нахождения первых значений начального отрезка. Абсолютная погрешность значения.
контрольная работа, добавлен 27.02.2013 Запрещенные комбинации выходных сигналов. Методика получения минимальных ДНФ неполностью определенных переключательных функций. Импликантная матрица. Алгоритм получения минимальных конъюнктивных форм. Выходные сигналы на запрещенных комбинациях.
контрольная работа, добавлен 09.10.2008Понятие "задача" в начальном курсе математики и её решения в начальных классах. Различные подходы к обучению младших школьников решению текстовых задач. Методические приёмы обучения решению простых задач. Разработка фрагментов уроков по данной проблеме.
курсовая работа, добавлен 15.06.2010Методика решения задач высшей математики с помощью теории графов, ее сущность и порядок разрешения. Основная идея метода ветвей и границ, ее практическое применение к задаче. Разбиение множества маршрутов на подмножества и его графическое представление.
задача, добавлен 24.07.2009Нахождение собственных значений и собственных векторов матриц. Нетривиальное решение однородной системы линейных алгебраических уравнений. Метод нахождения характеристического многочлена, предложенный А.М. Данилевским. Получение формы Жордано: form.exe.
курсовая работа, добавлен 29.08.2010Исследование видов квадратичных форм и способов приведения квадратичных форм к каноническому виду. Сфера применения и особенности данного вида уравнений: определения и доказательство основных теорем, алгоритм решения ряда задач по данной тематике.
контрольная работа, добавлен 29.03.2012Сущность понятия "дифференциальное уравнение". Главные этапы математического моделирования. Задачи, приводящие к решению дифференциальных уравнений. Решение задач поиска. Точность маятниковых часов. Решение задачи на определение закона движения шара.
курсовая работа, добавлен 06.12.2013Обзор истории происхождения процентов, применение процентных вычислений в задачах. Решение задач по формуле сложных процентов разными способами, нахождение процентов от числа. Применение процентов в жизни: исследование бюджета семьи и посещения кружков.
курсовая работа, добавлен 09.09.2010Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Нахождение полинома Жегалкина методом неопределенных коэффициентов. Практическое применение жадного алгоритма. Венгерский метод решения задачи коммивояжера. Применение теории нечетких множеств для решения экономических задач в условиях неопределённости.
курсовая работа, добавлен 16.05.2010Решение задачи глобальной оптимизации. Базовый метод эволюционной стратегии: операции мутации, скрещивания и селекции. Определение параметров управления пробного вектора с помощью самоадаптивного метода. Применение метода C-центроидов, его схема.
реферат, добавлен 17.01.2014Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.
курсовая работа, добавлен 13.12.2011Метод замены переменной при решении задач. Тригонометрическая подстановка. Решение уравнений. Решение систем. Доказательство неравенств. Преподавание темы "Применение тригонометрической подстановки для решения алгебраических задач".
дипломная работа, добавлен 08.08.2007Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Целочисленные функции (теоретические факты). Определения. Связь с непрерывными функциями. Количество целых чисел в интервалах. Спектры. "Mod": бинарная операция. Целочисленные функции (применение к решению задач).
дипломная работа, добавлен 08.08.2007Формирование функции Лагранжа, условия Куна и Таккера. Численные методы оптимизации и блок-схемы. Применение методов штрафных функций, внешней точки, покоординатного спуска, сопряженных градиентов для сведения задач условной оптимизации к безусловной.
курсовая работа, добавлен 27.11.2012