Елементи абстрактної алгебри
Визначення виду формули за допомогою таблиці істинності. Основні елементи абстрактної алгебри. Фіктивні, значимі змінні для функцій. Розгляд таблиці Келі в дискретній математиці. Множини з алгебраїчними операціями. Рівняння групи з оберненими елементами.
| Рубрика | Математика |
| Предмет | Дискретна математика |
| Вид | контрольная работа |
| Язык | украинский |
| Прислал(а) | Гречин В.Ю. |
| Дата добавления | 30.06.2014 |
| Размер файла | 328,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
курсовая работа [388,6 K], добавлен 17.05.2011Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.
реферат [82,7 K], добавлен 03.03.2011Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
курсовая работа [2,6 M], добавлен 05.09.2011Поняття сукупності предметів, об'єднаних за певною характеристичною ознакою. Основні загальноприйняті множини (геометрична фігура, ГМТ, область визначення та значень функції). Позначення множин, їх елементи, належність об'єктів та способи задання.
презентация [517,1 K], добавлен 19.01.2011Зразки вирішення задач по дискретній математиці. Обчислювання череди функцій універсальних множин методами дискретної математиці. Визначення ймовірності послідовного вибору з колоди певних карт. Використання відомих алгоритмів для обчислення шляхів графа.
контрольная работа [42,1 K], добавлен 22.10.2009Аксіоматика і основні метричні формули псевдоевклідової площини. Канонічні рівняння кривих другого порядку (параболи, еліпса, гіперболи). Елементи загальної теорії кривих другого порядку псевдоевклідової площини. Перетворення координат рівняння.
презентация [787,6 K], добавлен 17.01.2015Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Алгоритми переведення чисел з однієї позиційної системи числення в іншу. Перетворення і передавання інформації. Булеві функції змінних, їх мінімізація. Реалізація функцій алгебри логіки на дешифраторах. Синтез комбінаційних схем на базі мультиплексорів.
курсовая работа [3,2 M], добавлен 02.09.2011Узагальнення учбового матеріалу шкільного курсу алгебри в розділі "Рівняння та нерівності"; розробка пропозицій щодо використання програмно-графічного комплексу Microsoft Mathematics 4.0 для впровадження інтегрованих інноваційних методологій викладання.
дипломная работа [2,2 M], добавлен 16.06.2013Вектори як направлені відрізки, що мають довжину, напрям і положення в таких просторах і розглядаються як вектори-стовпці. Характеристика головних операцій над векторами, їх базис та норми. Дії над матрицями та їх власні значення, принципи нормування.
презентация [50,1 K], добавлен 06.02.2014