Алгебра логіки

Основні поняття алгебри логіки та її закони. Алгоритм побудови таблиць істинності для складних виразів. Схеми базових логічних елементів. Операції заперечення, диз'юнкції і кон'юнкції для обробки висловлювань. Правила перетворення логічних виразів.

Рубрика Математика
Вид практическая работа
Язык украинский
Дата добавления 13.07.2017
Размер файла 79,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.

    курсовая работа [136,5 K], добавлен 27.06.2008

  • Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.

    курс лекций [538,2 K], добавлен 02.04.2011

  • Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.

    курсовая работа [2,6 M], добавлен 05.09.2011

  • Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.

    курсовая работа [388,6 K], добавлен 17.05.2011

  • Алгоритми переведення чисел з однієї позиційної системи числення в іншу. Перетворення і передавання інформації. Булеві функції змінних, їх мінімізація. Реалізація функцій алгебри логіки на дешифраторах. Синтез комбінаційних схем на базі мультиплексорів.

    курсовая работа [3,2 M], добавлен 02.09.2011

  • Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.

    реферат [82,7 K], добавлен 03.03.2011

  • Поняття про алгебраїчний метод у геометрії. Побудова коренів квадратного рівняння та формул. Побудова деяких однорідних виразів циркулем і лінійкою. Ознака можливості побудови відрізка. Розв’язування задач на побудову. Поняття про однорідні функції.

    курсовая работа [920,5 K], добавлен 17.03.2011

  • Поняття множини. Операції над множинами. Об’єднання і переріз двох множин. Різниця і доповненя множин. Множини з відношеннями. Прямий (декартів) добуток множин. Бінарні відношення. Відношення еквівалентності. Відношення порядку. Предикати.

    курсовая работа [239,3 K], добавлен 10.06.2007

  • Проблеми відновлення функції по відомій її похідній для науки та техніки серед множини абелевих інтегралів та алгебраїчних кривих і функцій. Інтегрування виразів до многочленів під коренем як вид еліптичних інтегралів. Перетворення до канонічної форми.

    курсовая работа [150,8 K], добавлен 25.05.2009

  • Загальнi вiдомостi, визначення та поняття лiнiйної алгебри та аналiтичної геометрiї. Матрицi та визначники, системи лiнiйних рiвнянь. Основнi алгебраїчнi структури. Аналiтична геометрiя на площинi та в просторі. Лiнiйний векторний та евклідовий простори.

    учебное пособие [592,2 K], добавлен 01.05.2014

  • Означення та властивості перетворення Лапласа, приклади розв'язання базових задач. Встановлення відповідності між двома точками за допомогою оператора. Застосування операційного методу математичного аналізу, проведення дій над логарифмами та числами.

    реферат [217,2 K], добавлен 20.12.2010

  • Огляд основних відомостей про визначений інтеграл та його застосування в такій сфері суспільного життя, як економіка. Основні методи інтегрування невизначеного інтегралу. Інтегрування деяких виразів, які містять квадратичний тричлен у знаменнику.

    реферат [605,0 K], добавлен 06.11.2012

  • Поняття інтеграла Фур’є для функції дійсної змінної. Різні форми запису формули. Головне значення інтеграла та комплексна форма запису. Лінійне перетворення оберненого перетворення Фур’є. Алгоритм доведення ознаки Діні про початкову збіжність функції.

    курсовая работа [662,1 K], добавлен 27.04.2014

  • Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.

    курс лекций [652,4 K], добавлен 29.11.2009

  • Основні галузі сучасної математичної науки. Розвиток аксіоматичного методу. Різні підходи та трактування логічних основ геометрії. Система аксіом О.Д. Александрова, О.В. Погорєлова, Л.С. Атанасяна. Аксіоматична будова геометрії в "Началах" Евкліда.

    курсовая работа [1,3 M], добавлен 13.05.2015

  • Поняття лінійного оператора, алгебраїчні операції над ним та базові властивості. Лінійні перетворення (оператори) із простору V в W. Матриця лінійного оператора. Перетворення матриці оператора при заміні базису. власні значення і власні вектори.

    курсовая работа [452,3 K], добавлен 25.03.2011

  • Основні поняття логлінійного аналізу - статистичного аналізу зв’язку таблиць спряженості за допомогою логлінійних моделей. Аналіз зв’язку категоризованих змінних. Канонічна кореляція при аналізі таблиць спряженості ознак. Побудова логарифмічної моделі.

    контрольная работа [87,4 K], добавлен 12.08.2010

  • Основні поняття чисельних методів розв’язання систем лінійних алгебраїчних рівнянь. Алгоритм Гаусса зведення системи до східчастого виду послідовним застосуванням елементарних перетворень. Зворотній хід методу Жордана-Гаусса. Метод оберненої матриці.

    курсовая работа [165,1 K], добавлен 18.06.2015

  • Характеристика та поняття потрійного інтеграла, умови його існування та основні властивості. Особливості схеми побудови та обчислення потрійного інтегралу, його застосування для розв’язання рівнянь. Правило заміни змінних в потрійному інтегралі.

    контрольная работа [400,3 K], добавлен 23.03.2011

  • Поняття статистичного зведення та його види. Основні завдання методології статистичних групувань. Класифікація в правовій статистиці. Правила до статистичних таблиць та статистичні ряди розподілу. Взаємозв`язок між факторною і результативною ознаками.

    курсовая работа [55,1 K], добавлен 05.02.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.