Системи булевих функцій
Скорочені, тупикові диз'юнктивні нормальні форми. Алгоритм Квайна й Мак-Класки мінімізації булевої функції. Геометричний метод мінімізації булевої функції. Мінімізація булевої функції за допомогою карти Карно. Побудова оптимальних контактно-релейних схем.
Подобные документы
Знаходження ймовірності настання події у кожному з незалежних випробувань. Знаходження функції розподілу випадкової величини. Побудова полігону, гістограми та кумуляти для вибірки, поданої у вигляді таблиці частот. Числові характеристики ряду розподілу.
контрольная работа, добавлен 20.11.2009Умови та особливості використання модифікованого методу Ейлера для отримання другої похідної в кінцево-різницевій формі. Два обчислення функції за крок. Метод Ейлера-Коші як частковий випадок методу Рунге-Кутта. Метод четвертого порядку точності.
презентация, добавлен 06.02.2014Обчислення визначника матриці методом Гаусса. Розгорнення характеристичного визначника заданої матриці методом Крилова. Обчислення наближеного значення визначеного інтегралу за допомогою формули Сімпсона. Мінімум функції і суть методу золотого перерізу.
контрольная работа, добавлен 04.10.2009Отримання аналогів теореми порівняння Колмогорова для класу функцій, що задаються обмеженнями на несиметричні норми старших похідних. Випадок класів, які задаються обмеженнями на декілька похідних. Означення екстремальної функції, її властивості.
дипломная работа, добавлен 11.06.2017Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа, добавлен 27.06.2008Збіжність ряду та базиси в нормованому просторі. Ряд Фур’є за ортонормованою системою. Деякі властивості біортогональних систем. Біортогональні системи в бананових просторах. Властивості базисів та особливості застосування рядів в бананових просторах.
курсовая работа, добавлен 28.11.2014Означення теорії множин. Дії над множинами. Алгебра множин. Вектори і прямий добуток множин. Властивості відношень. Способи задання функції. Сукупність підстановок множини. Алгебраїчні операції та системи. Властивості рефлексивності та симетричності.
конспект урока, добавлен 28.06.2012Поняття економетричної моделі та етапи її побудови. Сутність та характерні властивості коефіцієнта множинної кореляції. Оцінка значущості множинної регресії. Визначення довірчих інтервалів для функції регресії та її параметрів. Метод найменших квадратів.
курсовая работа, добавлен 24.05.2013Фрактал та історія його виникнення. Види фракталів, методи їх створення. Типи самоподібності у фракталах. Класифікація алгоритмів створення. Системи ітеріруємих функцій. Стиснюючі афінні перетворення. Метод простої заміни, серветка Серпінського.
реферат, добавлен 26.07.2010Розв’язання системи рівнянь методом Крамера, методом оберненої матриці та методом Гаусса. Розрахунок довжини ребра, кута між ребрами, рівняння висоти, рівняння площини грані і кута між ребром та гранню. Дослідження функції та побудува її графіку.
контрольная работа, добавлен 30.10.2011Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
курсовая работа, добавлен 17.05.2011Розв'язання завдання графічним способом. Зображення розв'язку системи нерівностей, визначення досягнення максимуму та мінімуму функції. Розв'язання транспортної задачі методом потенціалів та симплекс-методом, формування оціночної матриці з елементів.
задача, добавлен 31.05.2010Теорема Куна-Такера. Побудування функції Лагранжа. Задача квадратичного програмування. Узагальнення симплексного метода лінійного програмування згідно методу Біла. Правила переходу від однієї таблиці до іншої. Система обмежень у допустимої області.
курсовая работа, добавлен 08.05.2014Класифікація методів для задачі Коші. Лінійні багатокрокові методи. Походження формул Адамса. Різницевий вигляд методу Адамса. Метод Рунге-Кутта четвертого порядку. Підвищення точності обчислень методу за рахунок подвійного обчислення значення функції.
презентация, добавлен 06.02.2014Вивчення існування періодичних рішень диференціальних систем і рівнянь за допомогою властивостей симетричності (парність, непарність). Основні теорії вектор-функцій, що відбивають. Побудова множини систем, парна частина загального рішення яких постійна.
курсовая работа, добавлен 20.01.2011Деякі відомості математичного аналізу. Виховне значення самостійної навчальної роботи. Короткий огляд та аналіз сучасних систем комп'ютерної математики. Відомості про систему Wolfram Mathematica. Обчислення границь функції, похідних та інтегралів.
курсовая работа, добавлен 10.05.2011Оцінювання параметрів розподілів. Незміщені, спроможні оцінки. Методи знаходження оцінок: емпіричні оцінки, метод максимальної правдоподібності. Означення емпіричної функції розподілу, емпіричні значення параметрів. Задача перевірки статистичних гіпотез.
контрольная работа, добавлен 12.08.2010Розв'язання задач з теорії множин та математичної логіки. Визначення основних характеристик графа г (Х,W). Розклад функцій дискретного аргументу в ряди по базисним функціям. Побудова та доведення діаграми Ейлера-Вена. Побудова матриці інцидентності графа.
курсовая работа, добавлен 20.04.2012Етапи побудови емпіричних формул: встановлення загального виду формули; визначення найкращих її параметрів. Суть методу найменших квадратів К. Гауса і А. Лежандра. Побудова лінійної емпіричної формули. Побудова квадратичної емпіричної залежності.
контрольная работа, добавлен 22.01.2011Метод найменших квадратів. Задача про пошуки параметрів. Означення метода найменших квадратів. Визначення параметрів функціональних залежностей. Вид нормальної системи Гауса. Побудова математичної моделі, використовуючи метод найменших квадратів.
реферат, добавлен 25.12.2010Власні числа і побудова фундаментальної системи рішень. Однорідна лінійна система диференціальних рівнянь. Побудова фундаментальної матриці рішень методом Ейлера. Знаходження наближеного рішення у вигляді матричного ряду. Рішення неоднорідної системи.
курсовая работа, добавлен 26.12.2010Теоретико-множинне визначення символу О як невизначеної функції. Допустима погрішність апроксимації. Асимптотичне рішення інтегралів, трансцендентних рівнянь (дійсного і змінного). Використання формул підсумовування Ейлера при знаходженні суми ряду.
курсовая работа, добавлен 20.01.2011Визначення ймовірності виходу приладу з ладу. Розв’язок задачі з використанням інтегральної формули Бернуллі та формулу Пуассона. Визначення математичного сподівання, середньоквадратичного відхилення, дисперсії, функції розподілу випадкової величини.
контрольная работа, добавлен 23.09.2014Обчислення меж гіперболічних функцій та замінна змінного. Порівняння гіперболічних і зворотних до них функцій. Диференціювання зворотних гіперболічних функцій, невизначений інтеграл. Розкладання гіперболічних функцій по формулах Тейлора та Маклорена.
курсовая работа, добавлен 11.02.2011Теоретичні і прикладні питання математичної фізики й функціонального аналізу. Узагальнена похідна в просторі Соболєва: визначення, гладкі функції; найпростіша теорема вкладення. Доказ існування і одиничності узагальненого рішення рівняння Лапласа.
реферат, добавлен 28.01.2011