Verbum

АЛГО́ЛЬ,

β Персея, зацьменная пераменная зорка (пераменнасць адкрыта ў 1669). Бляск 2,2—3,5 візуальнай зорнай велічыні з перыядам 2,867 сут. Адлегласць ад Сонца — 36 пк. Пераменныя зоркі з крывой змянення бляску, як у Алголі, складаюць клас зорак тыпу Алголя.

т. 1, с. 235

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁,..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁,..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x́̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | у}, {x ↓ у} функцыянальна поўныя (тут $\mathrm{x}|\mathrm{y}=\mathrm{x}\&\mathrm{y}$ , $\mathrm{x}\downarrow \mathrm{y}=\mathrm{x}\bigvee \mathrm{y}$ , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

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

т. 1, с. 234

ГАЛА́КТЫКА

(ад познагрэч. galaktikos малочны, млечны),

гіганцкая зорная сістэма, да якой належаць Сонца і ўся Сонечная сістэма разам з Зямлёй. У яе ўваходзяць не менш за 100 млрд. зорак (іх агульная маса каля 10​¹¹ мас Сонца), міжзорнае рэчыва (газ і пыл, маса якіх каля 0,05 масы ўсіх зорак), касм. часціцы, эл.-магн. і гравітацыйнае поле.

Структура Галактыкі неаднародная. Адрозніваюць 3 асн. падсістэмы: сферычную (гала) — шаравыя скопішчы, чырвоныя гіганты, субкарлікі, пераменныя зоркі тыпу RR-Ліры, якія рухаюцца вакол цэнтра мас Галактыкі па выцягнутых арбітах у разнастайных напрамках і не ўдзельнічаюць у вярчэнні галактычнага дыска; прамежкавую (дыск) — большасць зорак галоўнай паслядоўнасці, у т. л. Сонца, зоркі-гіганты, белыя карлікі, планетарныя туманнасці; скорасць іх вярчэння мяняецца з адлегласцю ад цэнтра; узрост — некалькі млрд. гадоў; плоскую (тонкі дыск ці спіральныя рукавы) — маладыя зоркі, міжзорны газ і пыл, доўгаперыядычныя цэфеіды, пульсары, многія галактычныя крыніцы гама-, рэнтгенаўскага і інфрачырвонага выпрамянення; узрост гэтых зорак не большы за 100 млн. гадоў, яны не паспелі значна аддаліцца ад месцаў свайго нараджэння, таму спіральныя галіны Галактыкі лічаць месцам утварэння зорак. Цэнтральная вобласць Галактыкі (ядро) знаходзіцца ў напрамку сузор’я Стралец і заслонена ад зямнога назіральніка міжзорнымі воблакамі касм. пылу і газу. Памеры ядра Галактыкі больш за 1000 пк. Яно з’яўляецца крыніцай магутнага радыевыпрамянення, што сведчыць пра актыўныя працэсы, якія адбываюцца ў ім. Самая знешняя частка сферычнай падсістэмы — карона Галактыкі радыусам каля 70 кпк і масай, у 10 разоў большай за масу ўсёй астатняй Галактыкі. Сонца, знаходзіцца на адлегласці 8,5 кпк ад цэнтра, амаль дакладна ў плоскасці Галактыкі, і аддалена ад яе на Пн прыблізна на 25 кпк Скорасць вярчэння Сонца вакол цэнтра Галактыкі 230 км/с. Для зямнога назіральніка зоркі канцэнтруюцца ў напрамку плоскасці Галактыкі і зліваюцца ў бачную карціну Млечнага Шляху. Знаходжанне Сонца паблізу плоскасці Галактыкі ўскладняе даследаванне нашай зорнай сістэмы.

Літ.:

Марочник Л.С., Сучков А.А. Галактика. М., 1984;

Воронцов-Вельяминов Б.А. Очерки о Вселенной. 8 изд. М., 1980;

Климишин И.А. Открытие Вселенной. М., 1987.

Н.А.Ушакова.

т. 4, с. 448