Алгебри бульових функцій

Алгебри бульових виразів і функцій, носії та сигнатури операцій, що їх визначають. Залежність породження різних формул від виду множини функціональних символів. Суттєва залежність функції від її змінних. Еквівалентні та канонічні формули і закони.

Рубрика Математика
Вид лекция
Язык украинский
Дата добавления 19.11.2009
Размер файла 19,4 K

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

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


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

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

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

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

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

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

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

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

    контрольная работа [179,7 K], добавлен 04.04.2012

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

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

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

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

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

    реферат [101,8 K], добавлен 02.11.2015

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

    курсовая работа [211,7 K], добавлен 28.12.2010

  • Кінцеві різниці різних порядків. Залежність між кінцевими різницями і функціями. Дискретний і неперервний аналіз. Поняття про розділені різниці. Інтерполяційна формула Ньютона. Порівняння формул Лагранжа і Ньютона. Інтерполяція для рівновіддалених вузлів.

    контрольная работа [75,6 K], добавлен 06.02.2014

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

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

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