Алгебра логіки булева алгебра (Algebra of logic, Boolean algebra), Все про ремонт та налаштування

u Алгебра, в якій кожна змінна може приймати одне з двох значень:

v Розділ математики, що вивчає висловлювання, що розглядаються з боку їх логічних значень (істинності чи хибності) та логічних операцій над ними. Алгебра логіки розглядає будь-яке висловлювання лише з одного погляду – чи воно істинним чи хибним.

Алгебраїчне вираз (Algebraical expression) (Див.Рівняння)

Вираз, побудований із застосуваннямграматики алгебраїчних рівнянь, що визначає правила побудови виразів з імен об'єктів, знаків операцій та допоміжних знаків (так званих роздільників). Величини (імена об'єктів)

зазвичай позначаються літерами (можливо з підрядковими індексами (наприклад,

Основними діями приймаються: додавання (+), віднімання (–), множення (·або ?), поділ (: або /) та зведення в цілий ступінь. Останнє визначається як повторне множення та позначається знаками? або ^, або записом показника ступеня у вигляді верхнього індексу (наприклад,а?n, а^nабоan). Зведення в ступінь розглядається як дія більш старша (пріоритетна), ніж множення та розподіл, які, у свою чергу, є діями більш пріоритетними, ніж додавання та віднімання. У виразах, що містять кілька знаків дій, виконуються спочатку все більш пріоритетні дії, а потім менш пріоритетні. p align="justify"> Дії однакового пріоритету виконуються по порядку, зліва направо. Для зміни порядку дій можуть застосовуватися дужки. Правильні вирази повинні містити однакову кількість дужок, що відкривають і закривають, які можуть завжди бути об'єднані в систему вкладенихпар. Першими повинні виконуватися дії всередині самих внутрішніх дужок. Якщо допускається

нелінійна запис, то зміна порядку дій при розподілі може бути показано записом «в два поверхи» - з горизонтальною рисою як знак розподілу (а також косою рисою), тобто нижченаведені записи рівноцінні.

Алгебраїчне рівняння (Див.Алгебраїчне рівняння)

Алгебраїчне число (Див.Кількість, Число алгебраїчне)

Алгебраїчних виразів граматика (Див.Граматика алгебраїчних виразів)

u Набір правил або опис послідовності операцій для вирішення певної задачі або досягнення певної мети.

v Послідовність чітко визначених правил або команд (дій або кроків), виконання яких дозволяє вирішувати конкретне завдання за кінцеве число кроків.

w Формальний опис способу розв'язання задачі шляхом розбиття її на кінцеву за часом послідовність дій (елементарних операцій). Термін «формальне» має на увазі, що опис має бути абсолютно повним і враховувати всі можливі ситуації, які можуть зустрітися під час вирішення. Під елементарною операцією розуміється дія, що за заздалегідь визначеним критеріям (наприклад, очевидності) немає сенсу деталізувати.

x Заздалегідь визначений, точний припис, який задає дискретний (покроковий) процес, що починається певним чином і приводить до результату за кінцеве число кроків. Це поняття відноситься до вихідних математичних понять, які не можуть бути визначені через інші, простіші поняття. Іноді таке чи подібне визначення називають інтуїтивним, тобто. зрозумілим із досвіду. Кожен алгоритм, у випадку, повинен задаватися: а) безліччю допустимих вихіднихданих; б) початковим станом; в) безліччю допустимих проміжних станів; г) правилами переходу з одного стану до іншого; д) безліччю кінцевих результатів; е) кінцевим станом. Залежно від конкретного завдання параметрів визначаються класи алгоритмів. Існують, наприклад, алгоритми: лінійні, циклічні, сортування тощо. Під час розробки алгоритму завжди має передбачатися його виконавець. Слово алгоритм є похідним від імені середньоазіатського вченого Аль Хорезмі, уродженця Хіви, який жив у ІХ ст. нашої ери.

? Математичне визначення алгоритму є уточнення поняття алгоритму в інтуїтивному сенсі і представляється у вигляді машини Тьюринга, машини Посту, нормального алгоритму Маркова та ін.

Джерело: Тлумачний словник з інформатики / Г.Г. Півняк, Б.С. Бусігін, М.М. Дівізінюк та ін. - Д., Нац. гірнич. ун-т, 2008. - 599 с.