Verbum

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

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

Выпуск лямпавых машын 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

АЗЁРАЗНА́ЎСТВА, лімналогія,

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

Заснавальнік навуковага азёразнаўства — швейц. вучоны Ф.А.Фарэль (1885; працы па тэорыі і методыцы азёразнаўства). У развіцці азёразнаўства вял. значэнне маюць працы рус. вучоных Дз.М.Анучына (вывад аб сувязі азёраў з усімі кампанентамі ландшафтаў), Л.С.Берга (апісанні азёраў Зах. Сібіры, Аральскага, Ісык-Куля) і А.І.Ваейкава (выявіў сувязь вагання ўзроўню вял. азёраў з іх водным балансам і інш.). На Беларусі першыя гідралагічныя даследаванні азёраў праведзены А.М.Семянтоўскім (у 1872 апублікаваў гідралагічны агляд Віцебскай губ.).

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

В.П.Якушка.

т. 1, с. 162

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

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

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

т. 9, с. 335