Алгебра логіки
Основні поняття алгебри логіки та її закони. Алгоритм побудови таблиць істинності для складних виразів. Схеми базових логічних елементів. Операції заперечення, диз'юнкції і кон'юнкції для обробки висловлювань. Правила перетворення логічних виразів.
Подобные документы
Розв'язок просторово-двовимірної задачі в рамках теоретичної лінійної схеми Біо шляхом застосування перетворення Лапласа за часом, комплексного перетворення Фур'є за просторовою координатою та методу послідовних наближень. Дія джерел пружних переміщень.
статья, добавлен 04.02.2017Означення синуса, косинуса, тангенса та котангенса гострого кута прямокутного трикутника. Розгляд тригонометричної тотожності та наслідку із неї. Формування вміння перетворювати тригонометричних виразів за її допомогою. Виконання графічних вправ.
статья, добавлен 13.09.2018- 78. Ейлерові графи
Поняття та характеристика терміну "Ейлерові графи", основні відомості і теореми, пов’язані з цим поняттям. Задача про кенігсберзькі мости, оцінка числа ейлеровими графами. Алгоритм побудови Ейлерового кола. Розповсюдження та популярність ейлерових графів.
курсовая работа, добавлен 25.11.2014 Основні дії з числовими та буквеними величинами, розв’язання рівнянь, пов’язаних з ними. Надання конкретних числових значень буквеним величинам. Закони додавання і множення. Особливості алгоритму ділення многочленів. Теореми (про дробові та цілі корені).
реферат, добавлен 10.11.2017Основні поняття теорії випадкових процесів, його реалізація. Ймовірність випадкового процесу: дискретного, неперервного часу або стану, математичного сподівання та дисперсії, квадратичного відхилення. Властивості кореляційних функцій випадкового процесу.
лекция, добавлен 01.05.2014- 81. Ейлерові графи
Основні означення та властивості графів. Використання матриць інцилентності та суміжності для подання графі. Подання графа списками пар і суміжності. Розгляд ейлерової ломиголовки "Кенігзберзьких мостів". Алгоритм Флері побудови ейлерового циклу.
курсовая работа, добавлен 27.09.2017 Статистична закономiрнiсть - послідовність, яка виявляється виключно в достатній кiлькостi однорідних одиничних елементів, котрі, в свою чергу, утворюють сукупність. Класифікація абсолютних величин за способом вираження розмірів досліджуваних явищ.
контрольная работа, добавлен 14.05.2016Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Розгляд основних методів геометричних перетворень, які вивчаються на уроках математики у середній школи. Основні геометричні перетворення, їх сутність і властивості та приклади вирішення задач на побудову з доказуванням теорем на рух та подібність.
курсовая работа, добавлен 11.05.2011Области применения равносильных преобразований алгоритмов. Схемы представления алгоритмов и алгебра событий. Соответствие событий переходам в инверсном графе. Способы регулярного выражения алгоритма. Определение последующих степеней символьных матриц.
статья, добавлен 08.12.2018Властивості ступенів і коренів. Дії з радикалами. Обчислення ірраціональних виразів в математиці. Загальні відомості про алгебраїчні рівняння. Задачі на використання дискримінанта. Розміщення коренів квадратного рівняння. Розклад многочлена на множники.
лекция, добавлен 24.01.2014- 87. Вища математика
Матриці та дії з ними. Визначники квадратних матриць, методи їх обчислення та властивості. Загальна теорія систем лінійних алгебраїчних рівнянь. Елементи векторної алгебри та аналітичної геометрії. Теорії границь функції однієї і багатьох змінних.
курс лекций, добавлен 30.10.2011 Характеристика існуючих одноразарядних і паралельних суматорів і арифметично-логічних пристроїв та їх основних мікросхем. Аналіз і способи вирішення проблеми апаратурної реалізації арифметичних операцій кінцевих полів і кілець за модульним принципом.
курсовая работа, добавлен 19.07.2017Основоположна характеристика виконання переставної і сполучної властивостей додавання для будь-яких раціональних чисел. Провідна особливість використання атрибутів додавання для спрощення обчислень. Головний аналіз знаходження рівності суми виразів.
конспект урока, добавлен 17.09.2018Визначення принципів використання розподільної властивості множення в прямому (розкриття дужок) і зворотному (винесення спільного множника за дужки) порядку як для спрощення обчислень, так і для спрощення числових виразів (зведення подібних доданків).
конспект урока, добавлен 26.09.2018Подання тригонометричних функцій через тангенс половинного кута. Обчислення похідних тригонометричних функцій. Тригонометричні тотожності. Приклади перетворень тригонометричних виразів, доведення тотожності, знайдення добутку. Вправи для розв’язування.
лекция, добавлен 24.01.2014Аналіз виконання тотожних перетворень ірраціональних виразів. Дослідження дискримінанта квадратного рівняння та знаходження кількості та значень коренів рівняння за визначеним значенням дискримінанта. Особливість алгоритму застосування нових формул.
конспект урока, добавлен 21.10.2018- 93. Векторна алгебра
Викладення векторної алгебри: означення рівного, колінеарного, нульового, одиничного, компланарного та модуля вектора; правило трикутника та паралелограма; різниця та добуток вектора; напрямні косинуси; скалярний, векторний і мішаний добутки векторів.
лекция, добавлен 30.04.2014 Опис досліджень з теорії чисел, алгебри, теорії ймовірностей та варіаційного числення Михайла Васильовича Остроградського. Огляд наукових робіт В.Й. Левицького, А.В. Скорохода, Ю.Л. Далецького. Є.Є. Слуцький - основоположник теорії випадкових функцій.
презентация, добавлен 12.11.2013- 95. Лінійна алгебра
Викладення основ лінійної алгебри: означення матриці порядку m х n, визначника 2-го та 3-го порядку; правило трикутника; властивості визначників; теорема Лапласа; матриці та дії на ними; системи лінійних алгебраїчних рівнянь; методи Крамера та Гаусса.
лекция, добавлен 30.04.2014 Розробка алгоритму рішення оптимізаційної задачі лінійного програмування шляхом перебору вершин опуклого багатогранника в багатовимірному просторі. Виконання перевірки на оптимальність на кожному кроці процесу покращення плану. Побудова симплекс-таблиць.
контрольная работа, добавлен 08.11.2010Диференціальне числення функцій однієї змінної. Інтегральне числення: комплексні числа, визначники та системи рівнянь. Елементи векторної алгебри та геометрії в просторі. Диференціальне числення функції декількох змінних та криволінійні інтеграли.
практическая работа, добавлен 23.07.2017Обчислення виразів, з використанням розподільної властивості множення в прямому (розкриття дужок) і зворотному (винесення спільного множника за дужки) порядку. Сполучна та переставна властивості множення відносно для множення раціональних чисел.
конспект урока, добавлен 27.09.2018Опис скінченновимірних розв'язних алгебр Лі над алгебраїчно замкненим полем характеристики, в яких доповнювані всі одновимірні ідеали. Доведення розв'язності алгебр Лі, які допускають лінійний оператор непарного порядку без ненульових нерухомих точок.
автореферат, добавлен 12.07.2015Виконання математичних розрахунків, розв’язування рівнянь й систем рівнянь, робота з матрицями, побудова графіків за допомогою математичного пакету MathСad. Обчислення арифметичних виразів. Внесення змінних, що приймають дискретні значення з проміжку.
лабораторная работа, добавлен 11.03.2011