Verbum

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

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных 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

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

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

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

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

В.​П.​Якушка.

т. 1, с. 162

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

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

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

НА́СЭР Гамаль Абдэль, Гамаль Абд ан-Насыр (15.1.1918 Бені-Мур, Егіпет — 29.9.1970), егіпецкі паліт. і дзярж. дзеяч. Палкоўнік. Герой Сав. Саюза (1964). Скончыў ваен. вучылішча Генштаба. Вызначыўся ў араба-ізраільскай вайне 1948—49: Адзін з заснавальнікаў тайнай арг-цыі «К-т свабодных афіцэраў», які 23.7.1952 скінуў караля Фарука II і ліквідаваў у Егіпце манархію. З 1953 вярх. галоўнакамандуючы ўзбр. сіламі, нам. прэм’ер-міністра і міністр унутр. спраў, з 1954 прэм’ер-міністр Егіпта. У кастр. 1954 дамогся ад Вялікабрытаніі згоды на вывад брыт. войск з Егіпта. У 1956 абраны прэзідэнтам Егіпта. У ліп. 1956 нацыяналізаваў міжнар. кампанію Суэцкага канала, што прывяло да англа-франка-ізраільскай агрэсіі 1956 супраць Егіпта. У знешняй палітыцы арыентаваўся на СССР і краіны сацыяліст. лагера. Быў прыхільнікам панарабскага руху. Падтрымаў ідэю аб’яднання Егіпта і Сірыі ў Аб’яднаную Араб. Рэспубліку (назва ААР; у 1961 Сірыя выйшла, назва ААР захавалася за Егіптам да 1971), абраны яе прэзідэнтам у 1958. Ва ўнутр. палітыцы прытрымліваўся ідэй «араб. сацыялізму», імкнуўся ператварыць Егіпет у развітую, індустр. дзяржаву, для чаго праведзена агр. рэформа, пачата індустрыялізацыя, будавалася вышынная Асуанская плаціна. У паліт. сферы ўсталяваў аўтарытарны, аднапартыйны рэжым. Першым з араб. лідэраў прыйшоў да ўсведамлення неабходнасці мірнага ўрэгулявання Блізкаўсходняга канфлікту. У жн. 1970 пагадзіўся на 90-дзённае спыненне агню з Ізраілем.

Тв.:

Рус. пер. — Проблемы египетской революции: Избр. речи и выступления 1952—1970 гг. М., 1979.

Літ.:

Dekmedjian R.H. Egypt under Nasir. New York, 1971;

Lacouture J. Nasser. Paris, 1971;

Nutting A. Nasser. London;

New York, 1972;

Stephens R.H. Nasser: A political biography. New York, 1972;

Vatikiotis P.J. Nasser and his generation. London, 1978.

У.​С.​Кошалеў.

т. 11, с. 203

ГІСТАРЫ́ЧНЫ МАТЭРЫЯЛІ́ЗМ,

сацыялагічнае вучэнне пра агульныя і спецыфічныя законы развіцця і функцыянавання грамадства. У яго аснову пакладзены тэзіс, паводле якога грамадства развіваецца па аб’ектыўных, незалежных ад волі і жадання чалавека законах. Распрацаваны К.Марксам і Ф.Энгельсам у сярэдзіне 19 ст. Яны зыходзілі з таго, што ў працэсе жыцця людзі ўступаюць у пэўныя, незалежныя ад іх волі вытв. адносіны, якія адпавядаюць дасягнутаму грамадствам на дадзеным гіст. этапе ўзроўню развіцця матэрыяльных вытв. сіл. Сукупнасць гэтых вытв. адносін складае эканам. структуру грамадства, рэальны базіс, над якім узвышаецца паліт., юрыд. надбудова ў выглядзе розных сац. ін-таў і ўстаноў, а таксама розныя формы грамадскай свядомасці. Не грамадская свядомасць вызначае грамадскае быццё, а, наадварот, грамадскае быццё вызначае грамадскую свядомасць. На аснове вывучэння матэрыяльных грамадскіх адносін капіталіст. грамадства быў зроблены вывад пра паўтаральнасць грамадскіх з’яў, вылучана агульнае ў сац. ладзе розных краін, распрацавана вучэнне пра фармацыі грамадска-эканамічныя. Змена гіст. эпох пададзена як заканамерны працэс змены спосабаў вытв-сці; самі спосабы вытв-сці змяняюць адзін аднаго ў сілу аб’ектыўна існуючых і пастаянна нарастаючых супярэчнасцей паміж узроўнем развіцця вытв. сіл (больш дынамічных) і характарам вытв. адносін (больш кансерватыўнага элемента сістэмы). Нарастаючыя паміж імі супярэчнасці даходзяць да канфлікту, які вырашаецца шляхам сац. рэвалюцыі. Маркс і Энгельс прызналі вырашальную ролю нар. мас у гісторыі, класавую барацьбу як рухаючую сілу сац. прагрэсу, сац. рэвалюцыю як спосаб змены грамадска-эканам. фармацый.

Літ.:

Маркс К., Энгельс Ф. Немецкая идеология // Соч. 2 изд. Т. 3;

Іх жа. Маніфест Камуністычнай партыі. Мн., 1968;

Маркс К. Капітал. Т. 1—3. Мн., 1952—53;

Энгельс Ф. Анты-Дзюрынг. Мн., 1952;

Ленін У.І. Тры крыніцы і тры састаўныя часткі марксізма // Тв. Т. 19 (Полн. собр. соч. Т. 23);

Плеханов Г.В. Избранные философские произведения. Т. 1. М., 1956;

Фурманов Г.Л. Исторический материализм как общесоциологическая теория. М., 1979;

Ойзерман Т.И. Главные философские направления. 2 изд. М., 1984;

Исторические типы философии. М., 1991.

Т.​І.​Адула.

т. 5, с. 271

ГЕЛІЯЎСТАНО́ЎКА,

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

Геліяўстаноўкі з канцэнтратарамі забяспечваюць значнае павышэнне шчыльнасці сонечнай радыяцыі, выкарыстоўваюцца для ажыццяўлення высокатэмпературных (да 3000—3500 °C пры ккдз 0,4—0,6) тэхнал. працэсаў (сонечныя печы для плаўкі металаў і тэрмаапрацоўкі вогнетрывалых матэрыялаў, сонечныя энергетычныя ўстаноўкі). Геліяўстаноўкі без канцэнтратараў непасрэдна ўлоўліваюць сонечныя прамяні — працуюць па прынцыпе «гарачай скрыні», маюць больш шырокі спектр выкарыстання (сонечныя батарэі, сонечныя воданагравальнікі, апрасняльнікі вады, сушылкі, кандыцыянеры, халадзільнікі і інш.). У геліяэнергетыцы для атрымання пары прамысл. параметраў выкарыстоўваюцца прыблізна парабалічныя геліяўстаноўкі (гл. Сонечная электрастанцыя). Перспектыўныя геліяўстаноўкі з сонечнымі цеплаакумулятарамі (ЦА). У ЦА лішак цеплавой энергіі, створаны за кошт прытоку сонечнага цяпла ў дзённы час, забіраецца цеплаакумулюючым матэрыялам, захоўваецца (да 10 сут) і паступова выкарыстоўваецца для тэхнал. або быт. патрэб.

На Беларусі даследаванні і распрацоўкі геліяўстановак і іх элементнай базы вядуцца ў Акад. навук. комплексе «Ін-т цепла- і масаабмену імя А.​В.​Лыкава» (АНК ІЦМА), Ін-це фізікі цвёрдага цела паўправаднікоў Нац. АН Беларусі, Бел. політэхн. акадэміі, Цэнтр. НДІ механізацыі і электрыфікацыі сельскай гаспадаркі і інш. У АНК ІЦМА распрацаваны 2 тыпы ЦА, якія назапашваюць сонечную цеплавую энергію, што паступае праз сцены, вокны і ад геліякалектараў (тэмпературны дыяпазон ЦА 10—150 °C).

Літ.:

Гл. пры арт. Геліятэхніка.

У.​Л.​Драгун, С.​У.​Конеў.

т. 5, с. 142