Verbum

ВЫ́КЛЮЧАНАГА ТРЭ́ЦЯГА ПРЫ́НЦЫП,

закон класічнай фармальнай логікі, паводле якога з двух выказванняў, адно з якіх ісціннае, другое няісціннае, выключаюць трэцяе. Напр., з двух выказванняў «Сонца—зорка» (A ёсць B) і «Сонца — не зорка» (A не ёсць B) адно ісціннае. Маючы на ўвазе такія выказванні, традыц. фармальная логіка гэты закон фармулявала так: «A ёсць B ці не B» (трэцяга не дадзена). Упершыню выключанага трэцяга прынцып сфармуляваны Арыстоцелем. Сфера дзеяння яго вызначаецца не спосабамі выяўлення ісціннасці ці няісціннасці выказванняў, а адносінамі паміж выказваннямі, калі яны выкарыстоўваюцца ў доказах і інш. лагічных аперацыях. Закон не дапускае, каб сцверджанне і адмаўленне падмяняліся адно адным ці эклектычна аб’ядноўваліся ў нейкім трэцім выказванні. Выключанага трэцяга прынцып дапаўняе і развівае ў логіцы супярэчнасці прынцып і разам з ім і з тоеснасці законам выключае лагічную супярэчлівасць выказванняў.

т. 4, с. 311

ВЫКЛЮ́ЧНАЕ СТАНО́ВІШЧА,

гл. ў арт. Асобае становішча.

т. 4, с. 311

ВЫКЛЮ́ЧНАЯ МЕ́РА ПАКАРА́ННЯ,

гл. ў арт. Смяротная кара.

т. 4, с. 311

ВЫКЛЮ́ЧНЫ ЗАКО́Н СУ́ПРАЦЬ САЦЫЯЛІ́СТАЎ,

«Закон супраць шкодных і небяспечных памкненняў сацыял-дэмакратыі», антыдэмакратычны заканад. акт, накіраваны супраць сацыяліст. і рабочага руху ў Германіі ў 1878—90. Ініцыіраваны рэйхсканцлерам О.Бісмаркам. Прыняты рэйхстагам і набыў сілу ў кастр. 1878 (тэрмін дзеяння 2,5 года; прадоўжаны ў 1881, 1884, 1886 і 1888). Паводле закону забараняліся с.-д. і распускаліся многія рабочыя арг-цыі, закрываліся рабочыя газеты і часопісы, канфіскоўвалася сацыяліст. л-ра і інш. За гады яго дзеяння распушчана 350 рабочых арг-цый, арыштавана 1500 і выслана 900 чал. Жорсткая рабочая палітыка Бісмарка выклікала новыя хвалі выступленняў працоўных і рост сярод іх папулярнасці с.-д. партыі. Пасля адстаўкі Бісмарка (1890) тэрмін дзеяння закону не быў прадоўжаны і ён страціў сілу.

т. 4, с. 311

ВЫКО́РМЛІВАННЕ дзіцяці. Адрозніваюць выкормліванне натуральнае, штучнае і змешанае. Натуральнае, або грудное выкормліванне малаком маці — найлепшы і самы бяспечны спосаб выкормлівання. Арганізм дзіцяці забяспечваецца неабходнымі пажыўнымі рэчывамі, змяншаецца рызыка захворванняў, умацоўваецца і здароўе жанчыны-маці. Натуральнае выкормліванне не выключае з харчавання дзіцяці 1-га месяца жыцця харч. дабавак (адвары садавіны, гародніны), а пазней і прыкорму (сокі, працёртыя яблыкі, пюрэ, жаўток, тварог, мясныя булёны, кашы і інш.). Склад і тэрміны ўвядзення прыкорму ўзгадняюцца з педыятрам. Доўжыцца грудное выкормліванне 1—1,5 года (па апошніх звестках, 2 гады і больш). Штучнае выкормліванне выкарыстоўваецца пры адсутнасці малака ў маці або калі лактацыя забяспечвае не болей як 20% патрэбы дзіцяці ў малацэ, пры хваробах маці, прыроджаных дэфектах ротавага апарату ў дзіцяці і інш. Грунтуецца пераважна на спажыванні штучных заменнікаў малака — салодкіх і кіслых малочных сумесей, патрабуе рэгулярнага мед. кантролю і назірання за фіз. развіццём дзіцяці. Пры змешаным выкормліванні аб’ём заменнікаў жаночага малака ў агульным рацыёне дзіцяці складае не больш за 20% сутачнай колькасці ежы.

Р.У.Дэрфліа.

т. 4, с. 311

ВЫКУПНА́Я АПЕРА́ЦЫЯ,

дзяржаўная крэдытная аперацыя па выкупе сялянамі зямлі ў Рас. імперыі, састаўная частка сялянскай рэформы 1861. Паводле яе ўмоў селянін меў права выкупіць сядзібны ўчастак без згоды памешчыка, а палявы надзел — са згоды памешчыка. Выкупны кошт надзельнага ўчастка вызначаўся шляхам капіталізацыі з 6% гадавога грашовага аброку. Фактычна сяляне выкуплялі не зямлю, а феад. павіннасці, г.зн. асабістую свабоду. 20—25% выкупнога кошту селянін выплачваў памешчыку адразу пры заключэнні выкупной здзелкі. На астатнія 75—80% давалася пазыка на 49 гадоў (па 6% штогод).

Абавязковы выкуп на Беларусі, Правабярэжнай Украіне і ў Літве ўведзены ў 1863 (у інш. рэгіёнах Расіі з 1883). Пад уплывам паўстання 1863—64 і масавага руху сялян ім вярнулі частку адрэзкаў і паменшылі выкупныя плацяжы. Рэв. сітуацыя ў канцы 1870 — пач. 1880-х г., значны недабор выкупных плацяжоў зноў прымусілі царскі ўрад на пач. 1880-х г. крыху скараціць памеры выкупу ў шэрагу рэгіёнаў (на Беларусі — у Магілёўскай губ., у Віцебскім і Гарадоцкім пав. Віцебскай губ.).

Пад уплывам рэв. падзей 1905 урад быў вымушаны адмяніць выкупныя плацяжы. Выкупная аперацыя фактычна азначала рабаванне сялян памешчыкамі і царызмам. У 1861—1906 б. памешчыцкія сяляне 5 зах. губерняў Расіі заплацілі 170 млн. руб. выкупу. У выніку дзяржава атрымала даходу каля 100 млн. руб.

В.П.Панюціч.

т. 4, с. 311

ВЫ́ЛАЗСКАЕ ВО́ЗЕРА,

у Пінскім р-не Брэсцкай вобл., у бас. р. Ясельда, за 18 км на ПнУ ад г. Пінск. Пл. 0,3 км², даўж. 3,5 км, найб. шыр. 120 м. Пл. вадазбору 6,22 км². Берагі забалочаныя. Дно плоскае, выслана магутным слоем глею. Інтэнсіўна зарастае.

т. 4, с. 311

ВЫЛІЧА́ЛЬНАЯ МАТЭМА́ТЫКА,

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

Узнікненне вылічальнай матэматыкі звязана з неабходнасцю рашэння асобных задач (вымярэнне адлегласцей, плошчаў, аб’ёмаў і інш.). Развіццё навукі, асабліва астраноміі і механікі, спрыяла развіццю матэматыкі ўвогуле і вылічальнай матэматыкі ў прыватнасці. Складаліся табліцы эмпірычна знойдзеных залежнасцей, што прывяло да ўзнікнення паняцця функцыі і задачы інтэрпалявання (гл. Інтэрпаляцыя). Поспехі вылічальнай матэматыкі звязаны з імёнамі І.Ньютана, Л.Эйлера, М.І.Лабачэўскага, К.Ф.Гаўса, П.Л.Чабышова, С.А.Чаплыгіна, А.М.Крылова, А.М.Ціханава, А.А.Самарскага, У.І.Крылова, Л.В.Кантаровіча і інш. Многія задачы вылічальнай матэматыкі можна запісаць у выглядзе y=Ax, дзе x і y належаць зададзеным мноствам X і Y, A — некаторы аператар. Для рашэння задачы трэба знайсці у па зададзеным х ці наадварот. У вылічальнай матэматыцы гэта задача рашаецца заменай мностваў X, Y і аператара A (ці толькі некаторых з іх) іншымі, зручнымі для вылічэнняў. Замена робіцца так, каб рашэнне новай задачы y=Bx было ў нейкім сэнсе блізкім да рашэння першапачатковай задачы. Напр., калі ў якасці Ax узяць інтэграл ${\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt$ , то прыбліжанае значэнне яго ў многіх выпадках можна вылічыць паводле т.зв. квадратурнай формулы ${\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt\approx {\sum }_{k-1}^n{A}_{k}x\text{(}{t}_k\text{)}$ , дзе $A_k$ і $t_k$ — некаторыя фіксаваныя лікі. Гэта адна з класічных задач вылічальнай матэматыкі. Пры рашэнні яе, асабліва ў выпадку кратнага (шматразовага) і кантынуальнага інтэгравання, карыстаюцца Монтэ-Карла метадам. Прынцыповае значэнне ў вылічальнай матэматыцы належыць тэорыі прыбліжэння функцый, якая адыгрывае і агульнаматэм. ролю. Адна з характэрных задач прыбліжэння функцый — задача інтэрпалявання, г.зн. пабудова для зададзенай функцыі $𝑓\text{(}t\text{)}$ прыбліжанай функцыі ${𝑓}_n\text{(}t\text{)}$, якая супадае з $𝑓\text{(}t\text{)}$ у фіксаваных вузлах t₁, t₂, ..., t_n. У тэорыі прыбліжэння функцый сапраўднага (а пазней і камплекснага) пераменнага распрацоўваліся метады прыбліжэння функцый аднаго класа функцыямі інш. класаў, а таксама вывучаліся пытанні збежнасці і ацэнак прыбліжэнняў. Найб. пашыраныя задачы вылічальнай матэматыкі — задачы алгебры [рашэнне сістэм лінейных алгебраічных ураўненняў, вылічэнне вызначнікаў (дэтэрмінантаў) і адваротных матрыц, знаходжанне ўласных вектараў і ўласных значэнняў матрыц, вызначэнне каранёў мнагачленаў]. У задачы прыбліжанага рашэння сістэмы лінейных ураўненняў A_x=b, дзе A — квадратная матрыца, x і b — вектары-калонкі, часта выкарыстоўваюцца ітэрацыйныя метады. Многія ітэрацыйныя метады рашэння гэтай сістэмы маюць выгляд $x^k=x^{k-1}+B_k\text{(}b-A{x}^{k-1}\text{)}$ , дзе $B_k\text{(}k=\mathrm{1,\; 2,\; ...}\text{)}$ — некаторая паслядоўнасць матрыц, x° — пачатковае прыбліжэнне, часам адвольнае. Розны выбар матрыц B_k дае розныя ітэрацыйныя працэсы. Значную частку вылічальнай матэматыкі складаюць прыбліжаныя і лікавыя метады рашэння звычайных дыферэнцыяльных ураўненняў, дыферэнцыяльных ураўненняў у частковых вытворных, інтэгральных ураўненняў, інтэгра-дыферэнцыяльных ураўненняў, вылічальныя метады варыяцыйнага злічэння, аптымальнага кіравання, задач стахастычнага аналізу і інш. З’яўленне вылічальных машын значна расшырыла кола задач і стымулявала далейшую распрацоўку метадаў вылічальнай матэматыкі з улікам магчымасцей вылічальных машын, у прыватнасці распрацоўкі спец. алгарытмаў, арыентаваных на паралельную рэалізацыю.

На Беларусі даследаванні па ўсіх асн. кірунках вылічальнай матэматыкі і падрыхтоўкі навук. кадраў пачаліся з 1950-х г. у АН і БДУ пад кіраўніцтвам акад. У.І.Крылова; асобныя пытанні вылічальнай матэматыкі распрацоўваліся і раней.

Літ.:

Березин И.С., Жидков Н.П. Методы вычислений. Т. 1. 3 изд. М., 1966;

Т. 2. 2 изд. М., 1962;

Канторович Л.В., Крылов В.И. Приближенные методы высшего анализа. 5 изд. М.; Л., 1962;

Крылов В.И. Приближенное вычисление интегралов. 2 изд. М., 1967;

Крылов В.И., Скобля Н.С. Справочная книга по численному обращению преобразования Лапласа. Мн., 1968;

Турецкий А.Х. Теория интерполирования в задачах. Мн., 1968;

Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. 2 изд. М.; Л., 1963;

Янович Л.А. Приближенное вычисление континуальных интегралов по гауссовым мерам. Мн., 1976.

Л.А.Яновіч.

т. 4, с. 311

ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА,

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

Першы праект універсальнай «аналітычнай машыны» (гіганцкага арыфмометра з праграмным кіраваннем, арыфм. і запамінальным блокам), які, аднак, не быў поўнасцю рэалізаваны, распрацаваў англ. вынаходца і матэматык Ч.Бэбідж у 1883. Асн. ідэі праекта закладзены ў аснову работы сучаснай вылічальнай машыны: праграма вылічэнняў захоўваецца ў памяці машыны і выконваецца аўтаматычна. Развіццё электратэхнікі і радыёэлектронікі прывяло да стварэння ў 1930-я г. спецыялізаваных аналагавых вылічальных машын. Першыя электронныя вылічальныя машыны, заснаваныя на выяўленні інфармацыі ў лічбавай двайковай форме, распрацаваны ў 1940-я г. на аснове развіцця эл. пераключальных схем у аўтам. тэлеф. сувязі, электроннай кантрольна-вымяральнай апаратуры, радыёлакацыі. Гл. таксама Вылічальная машына «Мінск», Вылічальная тэхніка, Вылічальны цэнтр, Вылічальная сістэма.

Літ.:

Голубинцев В.О., Купаев В.М., Синельников Е.М. Эволюция универсальных ЦВМ. М., 1980.

М.П.Савік.

т. 4, с. 312

ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА «МІНСК»,

серыя універсальных лічбавых вылічальных машын агульнага прызначэння. Укаранёна ў вытв-сць Мінскім з-дам ЭВМ імя Арджанікідзе. Выкарыстоўваецца ў вылічальных цэнтрах, вылічальных сістэмах і аўтаматызаваных сістэмах рознага прызначэння.

Выпуск лямпавых машын 1-га пакалення серыі «Мінск-1» распачаты ў 1960 (папярэдняя мадэль — лямпавая выліч. машына М-3М створана ў 1959). Мадыфікацыі вылічальных машын «Мінск-11», «Мінск-12», «Мінск-14» мелі запамінальны блок большай ёмістасці, дадатковыя прылады ўводу-вываду інфармацыі. Выкарыстоўваліся пераважна для рашэння інжынерна-канструктарскіх і навук.-тэхн. задач матэм. і логікавага характару. У 1964 асвоены выпуск вылічальнай машыны «Мінск-2» 2-га пакалення (на дыскрэтных паўправадніковых элементах) з павышанай надзейнасцю, адначасовай работай вылічальніка і выхадных прыстасаванняў; мелі агрэгатную канструкцыю, магчымасць мяняць склад прылад і прыстасаванняў. У мадыфікацый вылічальных машын «Мінск-2», «Мінск-22М» прадугледжваўся ўвод-вывад інфармацыі з перфакартаў, перфастужак, магн. стужак, тэлетайпа і інш. Інфармацыйная вылічальная машына «Мінск-23» (выпуск 1965) максімальна прыстасавана для апрацоўкі розных відаў эканам. інфармацыі. У 1969 асвоены выпуск шматпраграмнай вылічальнай машыны «Мінск-32» (аднапрацэсарная выліч. сістэма), якая мела праграмную сумяшчальнасць з вылічальнай машынай «Мінск-22», ахову адной праграмы ў аператыўнай памяці ад другой, магчымасць далучэння вонкавых прыстасаванняў (у т. л. ЭВМ з утварэннем аднароднай выліч. сістэмы) і інш. У 1970-я г. пачаўся выпуск машын 3-га пакалення адзінай сістэмы электронных вылічальных машын — ЕС ЭВМ. У 1990-я г. распрацавана і ўкаранёна ў вытв-сць сям’я машын новага пакалення «Мінск-9000». За стварэнне сям’і вылічальных машын «Мінск» групе спецыялістаў з-да, НДІ ЭВМ і Выліч. цэнтра АН Беларусі прысуджана Дзярж. прэмія СССР 1970.

М.П.Савік.

т. 4, с. 312