Спеціальні класи та функціональна повнота системи функцій алгебри логіки. Теорема Поста
Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
Подобные документы
Розв’язання систем лінійних рівнянь методом Жордана-Гауса. Еквівалентні перетворення системи, їх виконання як елемент методів розв’язування системи рівнянь. Базисні та вільні змінні. Лінійна та фундаментальна комбінації розв’язків, таблиці коефіцієнтів.
контрольная работа, добавлен 16.05.2010Дослідження предмету і сфери застосування математичного програмування в економіці. Класифікація задач цієї науки. Загальна задача лінійного програмування, деякі з методи її розв’язування. Економічна інтерпретація двоїстої задачі лінійного програмування.
курс лекций, добавлен 06.05.2010Послідовність графічного розв'язання задачі лінійного програмування. Сумісна система лінійних нерівностей, умови невід'ємності, визначення півплощини з граничними прямими. Графічний метод для визначення оптимального плану задачі лінійного програмування.
задача, добавлен 31.05.2010Элементарная теория сравнений. Диофантовы приближения. Определения и свойства сравнений. Теорема Эйлера, теорема Ферма. Китайская теорема об остатках, ее обобщение Цинь Цзюшао. Применение к решению олимпиадных задач. Применение к открытию сейфа в банке.
курсовая работа, добавлен 29.09.2015Розв'язання системи лінійних рівнянь методом повного виключення змінних (метод Гаусса) з використанням розрахункових таблиць. Будування математичної моделі задачі лінійного програмування. Умови для застосування симплекс-методу. Розв'язка спряженої задачі.
практическая работа, добавлен 09.11.2009Власні числа і побудова фундаментальної системи рішень. Однорідна лінійна система диференціальних рівнянь. Побудова фундаментальної матриці рішень методом Ейлера. Знаходження наближеного рішення у вигляді матричного ряду. Рішення неоднорідної системи.
курсовая работа, добавлен 26.12.2010Теорія множин як абстрактно-теоретична наука про множини довільної природи, розгляд головних проблем. Загальна характеристика теореми Кантора-Берштейна. Знайомство з властивостями множин потужності континууму. Аналіз діяльності математика К. Геделя.
курсовая работа, добавлен 27.04.2016Основні поняття і теореми. Обчислення визначників методом зміни елементів, представлення їх у вигляді суми, виділення лінійних множників, методом рекурентних співвідношень, знижуючи їхній порядок за допомогою розкладання за елементами рядка або стовпця.
контрольная работа, добавлен 25.03.2011Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие, добавлен 20.08.2014Розв'язання завдання графічним способом. Зображення розв'язку системи нерівностей, визначення досягнення максимуму та мінімуму функції. Розв'язання транспортної задачі методом потенціалів та симплекс-методом, формування оціночної матриці з елементів.
задача, добавлен 31.05.2010Аналіз найвідоміших методів розв’язування звичайних диференціальних рівнянь і їх систем, користуючись рекомендованою літературою. Розробка відповідної схеми алгоритму. Розв’язання системи звичайних диференціальних рівнянь в за допомогою MathCAD.
лабораторная работа, добавлен 21.10.2014Основні напрямки теорії ймовірностей. Сутність понять "подія", "ймовірність події". Перестановки, розміщення та сполучення. Безпосередній підрахунок ймовірностей. Основні теореми додавання та множення ймовірностей. Формула повної ймовірності та Байєса.
контрольная работа, добавлен 27.03.2011Определение развертки многогранника, теорема о развертке А.Д. Александрова. Теорема Д. Бликера, рассматривающая два правильных многогранника - куб и додекаэдр, условие треугольности граней как технический момент, позволивший доказать свою теорему.
реферат, добавлен 25.09.2009Прийоми розв’язання задач в першому і другому степені на Далекому Сході та Греції. Досягнення арабських математиків в області алгебраїчних рівнянь. Розв'язання похідного кубічного рівняння. Найвидатніші теореми про радикали вищих степенів, їх розв’язання.
курсовая работа, добавлен 23.02.2014Теоретико-числовая база построения СОК. Теорема о делении с остатком. Алгоритм Евклида. Китайская теорема об остатках и её роль в представлении чисел в СОК. Модели модулярного представления и параллельной обработки информации. Модульные операции.
дипломная работа, добавлен 24.02.2010Утверждение великого французского математика Пьера Ферма, получившее название "Великая теорема Ферма". Элементарные алгебраические преобразования многочленов. Коэффициенты полиномов Чебышева и формулы Абеля. Система наименьших вычетов по модулю K.
книга, добавлен 07.01.2011Исследование движения точки по отношению к двум системам координат. Абсолютная и относительная величины вектора. Теорема о сложении скоростей. Теорема о сложении ускорений (теорема Кориолиса). Применения правила Н.Е. Жуковского при нахождении ускорения.
презентация, добавлен 24.10.2013Понятие непрерывности функции. Понятие, физический и геометрический смысл производной. Локальный экстремум и теорема Ферма. Теорема Ролля о нулях производных. Формула конечных приращении Лагранжа. Обобщенная формула конечных приращении (формула Коши).
курсовая работа, добавлен 17.03.2015Визначення системи лінійних рівнянь та її розв’язання. Поняття рангу матриці, правило Крамера та види перетворень з матрицею. Способи знайдення оберненої матриці А–1 до невиродженої матриці А. Контрольні запитання та приклади розв’язування задач.
задача, добавлен 25.03.2011Рішення основних систем лінійних рівнянь. Визначники другого та третього порядку. Властивості визначників, теорема розкладання. Теорема Крамера для систем рівнянь. Доцільність рішення задачі автоматизованим способом. Ймовірність допущення помилок.
курсовая работа, добавлен 18.12.2010Краткая биографическая справка из жизни Пьера Ферма. Общее понятие про правильные многоугольники. Числа математика, их история. Великая теорема Ферма, случаи доказательства. Особенности облегченной и малой теоремы. Роль математики в деятельности Уайлсома.
контрольная работа, добавлен 14.06.2012Теорема отсчетов Котельникова-Шеннона и ее обобщения. Постановки задач теории приближения. Сигналы с дискретным временем. Характеристики наилучших приближений. Теорема отсчетов для цифровой обработки случайных сигналов. Дискретизация непрерывной функции.
курсовая работа, добавлен 08.08.2012- 123. Теорема Силова
Доказательство первой, второй и третей теоремы Силова. Описание групп порядка pq. Смежные классы по подгруппе и теорема Лагранжа. Классы сопряженных элементов. Нормализатор множества в группе. Теоремы о гомоморфизмах. Примеры силовских подгрупп.
курсовая работа, добавлен 21.04.2011 Дослідження системи лінійних алгебраїчних рівнянь на стійкість. Одержання характеристичного многочлена методом Левур’є, в основу якого покладено обчислювання слідів степенів матриці А. Приклад перевірки на стійкість систему Аx=B за допомогою програми.
курсовая работа, добавлен 29.08.2010Биография Франсуа Виета и его труды по математике. Создание новой алгебры: выражение свойств уравнений и их корней общими формулами и алгебраическими выражениями. Знаменитая теорема, устанавливающая связь коэффициентов многочлена с его корнями.
реферат, добавлен 13.05.2012