Verbum

АРХЕАЛАГІ́ЧНЫЯ РАСКО́ПКІ,

даследаванне археалагічных помнікаў пры дапамозе раскопвання культурнага пласта ў адпаведнасці з прынятай методыкай; раздзел палявой археалогіі. Праводзяцца толькі з дазволу адпаведных дзярж. устаноў спецыялістамі-археолагамі дзеля далейшага даследавання і гіст. вывадаў. Ажыццяўляюцца пасля археалагічнай разведкі. Культурны пласт помнікаў выбіраецца гарыз. пластамі таўшчынёй ад 5 да 20 см і перабіраецца рукамі (або прамываецца вадой), каб выявіць усе, нават дробныя рэчы. Пасля даследаванняў раскоп закопваецца, участак рэкультывуецца, некат. тыпы помнікаў (гарадзішчы, курганы) звычайна ўзнаўляюцца.

т. 1, с. 521

БЕССВЯДО́МАСЦЬ,

стан асобы, пры якім з-за хранічнай душэўнай хваробы ці часовага расстройства душэўнай дзейнасці яна не здольная ўсведамляць свае ўчынкі і кіраваць імі; акалічнасць, якая выключае злачыннасць дзеяння і крымін. адказнасць за яго. Для вырашэння пытання пра бессвядомасць назначаецца судова-псіхіятрычная экспертыза, на падставе вывадаў якой следчыя органы або суд канстатуюць псіхічны стан асобы пры ўчыненні пэўнага грамадска небяспечнага дзеяння. Да асобы, якая пры гэтых абставінах знаходзілася ў стане бессвядомасці, суд можа ўжыць прымусовыя меры мед. характару.

т. 3, с. 128

ЛАГІ́СТЫКА

(ад грэч. logistikē мастацтва вылічаць, разважаць),

1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).

В.М.Пешкаў.

т. 9, с. 89

ВЫКЛЮЧА́ЛЬНІК электрычны, апарат для ўключэння і выключэння эл. прыстасаванняў і абсталявання: свяцільнікаў, рухавікоў, трансфарматараў, ліній электраперадачы і інш. Бываюць нізкага (да 1 кВ) і высокага (больш як 1 кВ) напружання. Складаюцца з кантактнай сістэмы (рухомых і нерухомых кантактаў), прывода (ручнога, спружыннага, электрамагнітнага, пнеўматычнага) і далучальных вывадаў.

Выключальнікі нізкага напружання падзяляюцца на бытавыя (з ручным, часам аўтам. кіраваннем) і прамысловыя (адна-, двух- і трохполюсныя; маюць ахову ад перагрузак, часам ад паніжэння напружання). Да прамысл. выключальнікаў адносяцца рубільнікі, кантактары, магнітныя пускальнікі, пакетныя выключальнікі і інш. Выключальнікі высокага напружання ў залежнасці ад спосабу гашэння дугі, што ўзнікае пры разрыве кантактаў, падзяляюцца на масляныя (дуга гасіцца ў мінер. масле), паветраныя (моцна сціснутым паветрам), вакуумныя (у высокім, да 1—0,1 мПа, вакууме), аўтагазавыя (газамі, што ўтвараюцца пад уздзеяннем дугі з газагенеравальных матэрыялаў — фібры, арган. шкла і інш.), электрамагнітныя (магнітным выдзіманнем у дугагасільным прыстасаванні), элегазавыя (у атмасферы гексафтарыду серы — элегазу). Асн. параметры выключальнікаў: намінальныя напружанне (да 750 кВ і вышэй) і ток (да 12 кА і вышэй), ток адключэння (да некалькіх соцень кілаампераў), час адключэння (да 0,3 с).

У.М.Сацута.

т. 4, с. 310

ВЯЛІ́КАЯ ІНТЭГРА́ЛЬНАЯ СХЕ́МА,

інтэгральная схема з вялікай колькасцю схемных элементаў (высокай ступені інтэграцыі); асн. элементная база ЭВМ і радыёэлектронных сродкаў. Аналагавыя вялікія інтэгральныя схемы маюць да 800, лічбавыя — да некалькіх дзесяткаў тысяч элементаў. Звышвялікая інтэгральная схема мае на парадак большую ступень інтэграцыі. Вялікія інтэгральныя схемы забяспечваюць надзейнасць радыёэлектроннай тэхнікі, яе малыя габарыты і масу, нізкую спажываную магутнасць.

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

Вялікія інтэгральныя схемы выкарыстоўваюцца як запамінальныя прыстасаванні, аналага-лічбавыя і лічбавыя пераўтваральнікі, узмацняльнікі, у мікрапрацэсарных камплектах і інш. На Беларусі навук. распрацоўкі і вытворчасць вялікіх інтэгральных схем і звышвялікіх інтэгральных схем ажыццяўляюцца ў навук.-вытв. аб’яднаннях «Інтэграл», «Карал», канцэрне «Планар», Бел. ун-це інфарматыкі і радыёэлектронікі, Мінскім н.-д. прыладабудаўнічым ін-це, НДІ радыёматэрыялаў і інш.

Літ.:

Технология СБИС: Пер. с англ. Кн. 1—2. М., 1986;

Гурский Л.И., Степанец В.Я. Проектирование микросхем. Мн., 1991.

В.У.Баранаў, А.П.Дастанка.

т. 4, с. 380

ВЕ́РА,

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

В.М.Пешкаў.

т. 4, с. 91

БРУ́САЎ Валерый Якаўлевіч

(13.12.1873, Масква — 9.10.1924),

рускі пісьменнік. Праф. (1921). Скончыў Маскоўскі ун-т (1899). Арганізатар і рэктар Вышэйшага літ.-маст. ін-та ў Маскве (з 1921). Пачынальнік сімвалізму ў рус. л-ры. Выступаў як паэт, празаік, драматург, літ.-знавец, тэарэтык верша і перакладчык. У зб-ках «Рускія сімвалісты» (вып. 1—3, 1894—95; у асноўным вершы Брусава), «Chefs d’oeuvre» («Шэдэўры», 1895), «Me eum esse» («Гэта — я», 1897) — уплыў зах.-еўрап. і рус. дэкадансу, пошукі новых формаў паэзіі. Аўтар зб-каў вершаў «Urbi et Orbi» («Гораду і свету», 1903), «Stephanos» («Вянок», 1906), «Люстра ценяў» (1912) і інш., празаічных зб-каў «Зямная вось» (1907), «Ночы і дні» (1913), гіст. раманаў «Вогненны Анёл» (1907—08), «Алтар перамогі» (1911—12), «Юпітэр звергнуты» (незак., апубл. 1934), п’есы «Падарожнік» (1911), трагедыі «Пратэсілай памерлы» (1913), у якіх — зварот да урбаністычных матываў, навукі і гісторыі, міфалогіі і сучаснасці. У зб-ках «Апошнія мары» (1920), «У такія дні» (1921), «Міг» (1922), «Меа!» («Спяшайся!», 1924) інтымная, пейзажная, міфалагічная, філас. і палітычная тэматыка. У гіст.-літ. працах (кн. «Далёкія і блізкія», 1912) і публікацыях, прысвечаных А.С.Пушкіну (больш за 80), Я.А.Баратынскаму, М.В.Гогалю, Ф.І.Цютчаву і інш., канкрэтнасць і канструктыўная яснасць аналізу, аргументаванасць вывадаў, лаканізм і вытанчанасць стылю, шырыня эрудыцыі Брусава-даследчыка. Перакладаў на рус. мову творы ант., зах.-еўрап. паэзіі і драматургіі (Дж.Байрана, Вергілія, Дантэ, П.Верлена, Мальера і інш.). Перакладчык арм. паэзіі (анталогія «Паэзія Арменіі са старажытных часоў да нашых дзён», 1916, факс. выд. 1987; званне нар. паэта Арменіі 1923). На рус. мову пераклаў асобныя вершы Я.Купалы. Творы на бел. мову перакладалі А.Александровіч, Ю.Гаўрук, А.Дудар, С.Дзяргай, С.Шушкевіч.

Літ.:

Максимов Д.Е. Брюсов: Поэзия и позиция Л., 1969;

Сивоволов Б.М. Валерий Брюсов и передовая русская литература его времени. Харьков, 1985.

т. 3, с. 269

ЗЛІЧЭ́ННЕ,

сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл. Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл. Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

С.Ф.Дубянецкі.

т. 7, с. 76