Verbum

БУ́ЛЕВА А́ЛГЕБРА,

апарат сімвалічнай логікі; сукупнасць аб’ектаў з аперацыямі алгебры логікі, якія падпарадкаваны пэўным аксіёмам. Прапанавана Дж.Булем для аналізу рэлейных схем. Знайшла дастасаванне ў тапалогіі, тэорыі імавернасцей і інш. раздзелах матэматыкі. У аксіёмах булева алгебры адлюстравана аналогія паміж паняццямі «мноства», «падзея», «выказванне». Асн. паняцці булева алгебры: логікавая (булева) функцыя, элементарная логікавая функцыя, функцыйна поўная сістэма логікавых функцый, мінімізацыя булевых функцый.

Логікавая функцыя n булевых аргументаў прымае значэнні 0 і 1, азначаецца праўдзіваснай табліцай або аналітычнай залежнасцю ад элементарных логікавых функцый. Вызначана 16 элементарных функцый: кан’юнкцыі (логікавае множанне; аперацыя «І»), дыз’юнкцыі (складанне; «АБО»), інверсіі (адмаўленне; «НЕ»), эквівалентнасці (тоеснасць), складання па модулі 2 (выключальнае «АБО») і інш. Функцыйна поўная сістэма логікавых функцый — сукупнасць функцый, дастатковая для выражэння логікавай функцыі любой складанасці, напр., аперацыя Пірса, аперацыя Шэфера. Мінімізацыя логікавых функцый праводзіцца з мэтай упарадкавання і спрашчэння складаных функцый з дапамогай аксіём булева алгебры, картаў Карно, метадаў Квайна і Мак-Класкі і інш.

Булева алгебра з’яўляецца логікавай асновай функцыянальнай арганізацыі лічбавых ЭВМ; элементарныя логікавыя функцыі рэалізаваны ў спец. інтэгральных мікрасхемах для ЭВМ.

Літ.:

Янсен Й. Курс цифровой электроники: Пер. с голланд.: В 4 т. Т. 1. М., 1987.

А.С.Кабайла.

т. 3, с. 330

ЛІ́ЧБАВАЯ ЭЛЕКТРО́ННАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА,

электронная вылічальная машына, якая апрацоўвае інфармацыю, выяўленую ў лічбавай (дыскрэтнай) форме. Бываюць універсальныя і спецыялізаваныя; кіравальныя, персанальныя, кантрольныя; высокапрадукцыйныя (вялікія, супер-ЭВМ), сярэднія, малыя, міні- і мікра-ЭВМ (персанальныя ці ў складзе выліч. комплексаў). Структура машыны ў значнай ступені залежыць ад яе прызначэння.

Інфармацыя (лічбы, літары, спец. сімвалы) у Л.э.в.м. выяўляецца ў двайковай сістэме лічэння (прылады ўводу-вываду выкарыстоўваюць двайкова-дзесятковую, двайкова-васьмярковую ці інш. сістэму лічэння; гл. Код). Асн. яе аперацыя — складанне, да якога зводзяцца ўсе інш. арыфм. аперацыі. Рашэнне задач выконваецца па праграме ЭВМ, зададзенай у адпаведнасці з сістэмай каманд працэсара, які непасрэдна апрацоўвае інфармацыю; работа машыны зводзіцца да паслядоўнага выканання каманд такой праграмы, якую атрымліваюць у выніку трансляцыі пэўнай зыходнай праграмы, складзенай на выбранай мове праграмавання. У працэсе развіцця Л.э.в.м. прайшлі некалькі этапаў (пакаленняў), характэрнымі прыкметамі якіх з’яўляюцца архітэктура, структура, элементная і канструктыўная база, матэматычнае забеспячэнне, метады ўзаемадзеяння карыстальніка з машынай і інш. Сфарміраваліся 2 асн. кірункі ў развіцці Л.э.в.м.: стварэнне вял. высокапрадукцыйных машын для рашэння задач, дзе патрабуюцца магутныя выліч. рэсурсы, напр. для апрацоўкі даных геафіз. разведкі карысных выкапняў, мадэліравання аэракасм. сістэм, і максімальна набліжаных да карыстальніка персанальных ЭВМ. Гл. таксама Вылічальная тэхніка, Кіравальная вылічальная машына, Праграмаванне.

М.П.Савік.

т. 9, с. 328

ГРУ́ПА,

адно з асноўных паняццяў сучаснай матэматыкі, выкарыстоўваецца таксама ў фізіцы і інш. навуках пры вывучэнні ўласцівасцей сіметрыі. Узнікненне выклікана неабходнасцю выконваць пэўныя дзеянні (складанне, множанне) не толькі над лікамі, але і над вектарамі, мноствамі, матрыцамі, пераўтварэннямі і інш. матэм. аб’ектамі. Паняцце групы пачало фарміравацца ў канцы 18 — пач. 19 ст. незалежна ў алгебры ў выглядзе канечных груп падстановак пры рашэнні алг. ураўненняў у радыкалах (Ж.Лагранж, Н.Абель, Э.Галуа; апошні прапанаваў і тэрмін «група»), у геаметрыі пры з’яўленні неэўклідавых геаметрый і ў праектыўнай геаметрыі, а таксама ў тэорыі лікаў (Л.Эйлер, К.Гаўс) пры вывучэнні параўнанняў і класаў рэштаў.

Групай наз. непустая сукупнасць элементаў (мноства) G, на якой зададзена алг. аперацыя *, што задавальняе ўмовам: аперацыя асацыятыўная a*(b*c)=(a*b)*c для ўсіх a*b*c з G; для любога элемента a з G існуе нейтральны элемент n, для якога a*n=n*a=a; для любога элемента a з G існуе адваротны элемент x, для якога a*x=x*а=n. Напр., мноства ўсіх цэлых лікаў адносна аперацыі складання; сукупнасць падстановак мноства X, калі пад здабыткам 2 падстановак разумець вынік іх паслядоўнага выканання для любога x з X. Частка элементаў групы G, што сама ўтварае групу адносна групавой аперацыі ў G, наз. падгрупай (напр., мноства ўсіх цотных лікаў — падгрупа групы цэлых лікаў). Група наз. канечнай (бясконцай), калі мноства G мае канечную (бясконцую) колькасць элементаў. Гл. таксама Груп тэорыя.

Р.Т.Вальвачоў.

т. 5, с. 466