Основні питання числення алгебри логіки
Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
Подобные документы
Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа, добавлен 27.06.2008Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
курсовая работа, добавлен 17.05.2011Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
курс лекций, добавлен 02.04.2011Скорочені, тупикові диз'юнктивні нормальні форми. Алгоритм Квайна й Мак-Класки мінімізації булевої функції. Геометричний метод мінімізації булевої функції. Мінімізація булевої функції за допомогою карти Карно. Побудова оптимальних контактно-релейних схем.
курсовая работа, добавлен 28.12.2010Методи скінченних різниць або методи сіток як чисельні методи розв'язку інтегро-диференціальних рівнянь алгебри диференціального та інтегрального числення. порядок розв’язання задачі Діріхле для рівняння Лапласа методом сіток у прямокутної області.
курсовая работа, добавлен 11.06.2015Вивчення рівняння з однією невідомою довільного степеня та способів знаходження коренів таких рівнянь. Доведення основної теореми алгебри. Огляд способу Ньютона встановлення меж дійсних коренів алгебраїчних рівнянь. Відокремлення коренів методом Штурма.
курсовая работа, добавлен 06.10.2012Вивчення теорії наближених обчислень і чисельних методів лінійної алгебри. Опис прямих і ітераційних методів вирішення систем лінійних рівнянь, алгоритмізація і точність наближених обчислень функції. Чисельна інтеграція звичайних диференціальних рівнянь.
лекция, добавлен 06.02.2014Визначення основних понять і вивчення методів аналізу безкінечно малих величин. Техніка диференціального і інтегрального числення і вирішення прикладних завдань. Визначення меж числової послідовності і функції аргументу. Обчислення інтегралів.
курс лекций, добавлен 14.03.2011Поняття множини. Операції над множинами. Об’єднання і переріз двох множин. Різниця і доповненя множин. Множини з відношеннями. Прямий (декартів) добуток множин. Бінарні відношення. Відношення еквівалентності. Відношення порядку. Предикати.
курсовая работа, добавлен 10.06.2007Свойства чисел натурального ряда. Периодическая зависимость от порядковых номеров чисел. Шестеричная периодизация чисел. Область отрицательных чисел. Расположение простых чисел в соответствии с шестеричной периодизацией.
научная работа, добавлен 29.12.2006Теоретичні відомості з курсу числення функцій однієї та багатьох змінних, наглядні приклади та вправи з розв’язанням. Тренувальні вправи для розв’язання на практичних заняттях і самостійної роботи. Зразки контрольних робіт з кожної розглянутої теми.
учебное пособие, добавлен 10.04.2009Варіаційне числення. Обчислення варіації інтегрального функціонала. Варіаційна задача з рухливими границями. Розв’язання диференційних рівнянь з лінійним відхиленням аргументу. Варіації розв’язків диференціального рівняння із розривною початковою умовою.
курсовая работа, добавлен 21.11.2011Сутність, особливості та історична поява чисел "пі" та "е". Доведення ірраціональності та трансцендентності чисел "пі" та "е". Методи наближеного обчислення чисел "пі" та "е" за допомогою числових рядів та розкладу в нескінченні ланцюгові дроби.
курсовая работа, добавлен 18.07.2010Виявлення можливості практичного застосування програмних засобів і комп’ютерних презентацій на уроках математики в ході побудови графіків функцій, що містять змінну під знаком модуля. Особливості застосування програм GRAN1 і GRAN-2D, розроблених Жалдаком.
статья, добавлен 11.05.2010Похідна як основне поняття диференційного числення, що характеризує швидкість зміни функції, границя відношення приросту функції до приросту аргументу. Приклади знаходження похідної за визначенням. Похідні вищих порядків, геометричний зміст похідної.
презентация, добавлен 16.02.2011Система, свойства и модели комплексных чисел. Категоричность и непротиворечивость аксиоматической теории комплексных чисел. Корень четной степени из отрицательного числа. Матрицы второго порядка, действительные числа. Операции сложения и умножения матриц.
курсовая работа, добавлен 15.06.2011Поняття диференційованості функції в даній точці, основні формули. Диференціал функції однієї змінної, його застосування. Основні означення, які відносяться до функції кількох змінних. Похідна алгебраїчної суми скінченного числа диференційованих функцій.
реферат, добавлен 02.11.2015Закон розподілення дискретної випадкової величини, подання в аналітичній формі за допомогою функції розподілення ймовірності. Числові характеристики дискретних випадкових величин. Значення критерію збіжності Пірсона. Аналіз оцінок математичного чекання.
курсовая работа, добавлен 09.07.2009Закон сохранения количества чисел Джойнт ряда в натуральном ряду чисел как принцип обратной связи чисел в математике. Структура натурального ряда чисел. Изоморфные свойства рядов четных и нечетных чисел. Фрактальная природа распределения простых чисел.
монография, добавлен 28.03.2012Появление отрицательных чисел. Понятие мнимых и комплексных чисел. Формула Эйлера, связывающая показательную функцию с тригонометрической. Изображение комплексного числа на координатной плоскости. "Гиперкомплексные" числа Гамильтона ("кватернионы").
презентация, добавлен 16.12.2011Історія розвитку математичної науки. Математичне моделювання і дослідження процесів і явищ за допомогою функцій, рівнянь та інших математичних об`єктів. Функції, їх основні властивості та графіки, множина раціональних чисел. Розв`язання типових задач.
книга, добавлен 01.03.2011- 22. Комплексні числа
Комплексні числа як розширення множини дійсних чисел. Приклади дії над комплексними числами: додавання, віднімання та множення. Геометрична інтерпретація комплексних чисел. Тригонометрична форма запису комплексних чисел, поняття модуля і аргумента.
реферат, добавлен 22.02.2010 Комплексные числа в алгебраической форме. Степень мнимой единицы. Геометрическая интерпретация комплексных чисел. Тригонометрическая форма. Приложение теории комплексных чисел к решению уравнений 3-й и 4-й степени. Комплексные числа и параметры.
дипломная работа, добавлен 10.12.2008Спектральний розклад кореляційної функції та представлення стаціонарних (в широкому сенсі) послідовностей. Екстраполяція, інтерполяція та фільтрація. Регулярні послідовності та напрямки їх аналізу. Перевірка гіпотези про двоїстість та ортогоналізацію.
контрольная работа, добавлен 20.06.2015Вектори як направлені відрізки, що мають довжину, напрям і положення в таких просторах і розглядаються як вектори-стовпці. Характеристика головних операцій над векторами, їх базис та норми. Дії над матрицями та їх власні значення, принципи нормування.
презентация, добавлен 06.02.2014