Verbum

ІНТЭРПАЛЯ́ТАР (ад лац. inetrpolo перарабляю),

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

М.​П.​Савік.

т. 7, с. 288

ІДЭНТЫФІКА́ЦЫЯ ў крыміналістыцы,

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

т. 7, с. 170

МІ́КРА-ЭВМ,

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

т. 10, с. 363

АДЗІ́НАЯ СІСТЭ́МА ЭЛЕКТРО́ННЫХ ВЫЛІЧА́ЛЬНЫХ МАШЫ́Н (АС ЭВМ),

сям’я ЭВМ агульнага прызначэння малой, сярэдняй і вялікай прадукцыйнасці, якая характарызуецца праграмнай сумяшчальнасцю; адносіцца да 3-га пакалення электронных вылічальных машын. Пабудавана па модульным прынцыпе на аснове стандартнай сістэмы сувязяў паміж прыстасаваннямі. Распрацавана супольна краінамі — членамі СЭУ.

У склад перыферыйнага абсталявання ўваходзяць запамінальныя прыстасаванні на магн. барабанах (ёмістасць да 16 Мбайт), пастаянных магн. дысках (да 100 Мбайт), зменных магн. дысках (да 29 Мбайт), магн. стужках (да 40 Мбайт) і інш.; прыстасаванні ўводу-вываду інфармацыі на перфастужках, перфакартах, алфавітна-лічбавыя друкавальныя прыстасаванні, планшэтныя і рулонныя графапабудавальнікі; прыстасаванні непасрэднай сувязі чалавек—ЭВМ: алфавітна-лічбавыя і графічныя дысплеі, эл. друкавальныя машынкі і інш. Асобную групу складаюць прыстасаванні і прылады для падрыхтоўкі даных. Для стварэння выліч. сістэм калект. карыстання ў склад АС ЭВМ уключаны сродкі тэлеапрацоўкі і перадачы даных (мадэмы, прыстасаванні для аховы ад памылак, выклікальныя), прыстасаванні спалучэння каналаў з апаратурай перадачы даных, абаненцкія пункты (тэрміналы), забяспечаныя прыстасаваннямі ўводу-вываду інфармацыі і яе адлюстравання. На Мінскім вытв. аб’яднанні выліч. тэхнікі асвоены выпуск ЭВМ ЕС-1020 (1971), ЕС-1022 (1975), ЕС-1035 (1977), ЕС-1060 (1978). За распрацоўку, асваенне і ўкараненне аперацыйных сістэм АС ЭВМ супрацоўнікам Мінскага з-да выліч. машын і НДІ ЭВМ прысуджана Дзярж. прэмія СССР 1978.

т. 1, с. 108

ДЭДУ́КЦЫЯ (ад лац. deductio вывядзенне),

спосаб вывядзення заключэнняў ад агульнага да канкрэтнага і адзінкавага, ад агульных разважанняў да канкрэтных або інш. вывадаў. У шырокім сэнсе — любы вывад увогуле, без якога не абыходзяцца паўсядзённыя разважанні і працэс пабудовы навук. тэорый. Упершыню тэорыя Д. распрацавана Арыстоцелем, сустракаецца ў творах Баэцыя. Ф.​Бэкан недаацэньваў ролю Д. ў працэсе навук. пазнання. Р.​Дэкарт супрацьпастаўляў Д. інтуіцыі. Г.​Лейбніц выказваў ідэю пабудовы логікі як вылічэння, паставіў задачу вывучэння лагічных уласцівасцей адносін з мэтай пашырэння сродкаў дэдукцыйнага вываду. У сучаснай логіцы Д. разумеюць як абагульнены вывад, у якім з выказванняў, што існуюць, па правілах логікі будуецца новае (заключэнне), а выказванні, з якіх яно атрымліваецца, наз. пасылкамі. Пасылкі размяшчаюцца вольна, тэарэт. ланцуг можа быць вялікім, але заўсёды мае канец. Калі пасылкі праўдзівыя і правілы дэдукцыйнага вываду не парушаны, то заключэнне заўсёды ісціннае. Д. цесна звязана з назіраннем, эксперыментам (гл. Дослед) і індукцыяй. Ужываецца для пабудовы навук. тэорый у матэматыцы, логіцы, а таксама фізіцы, біялогіі, сацыялогіі і інш. навуках. Складанымі з’яўляюцца філас. праблемы, якія звязаны з дэдукцыйнымі вывадамі і даследуюцца ў розных кірунках філасофіі (напр., эмпірызме, рацыяналізме, марксізме і інш.). Метады і правілы Д. вывучаюцца логікай, тэорыяй пазнання і псіхалогіяй. Дэдукцыйныя працэсы, што вывучаюцца матэм. сродкамі, можна аўтаматызаваць з дапамогай ЭВМ.

Літ.:

Логика научного познания. М., 1987;

Пугач Г.В. Познавательная активность человека. М., 1985;

Стереотипы и динамика мышления. Мн., 1993.

В.​М.​Пешкаў.

т. 6, с. 325

ВУЛЬФ (Георгій) (Юрый) Віктаравіч (22.6.1863, г. Нежын, Украіна — 25.12.1925),

рускі крышталёграф. Чл.-кар. АН СССР (1921). Скончыў Варшаўскі ун-т (1885). Праф. Казанскага (1897), Варшаўскага (1898) і Маскоўскага (1918) ун-таў. Вынайшаў графічны метад апрацоўкі вынікаў вымярэння крышталёў з дапамогай стэрэаграфічнай сеткі (названа яго імем). Даў новы спосаб вываду ўсіх груп сіметрыі крышталёў. Навук. працы ў галіне росту крышталёў, вывучэння вадкіх крышталёў і крышталяоптыкі. Упершыню ў Расіі паставіў дослед па рэнтгенаструктурных даследаваннях крышталёў. У 1913 адкрыў закон інтэрферэнцыі рэнтгенаўскіх прамянёў, адлюстраваных атамнымі плоскасцямі крышталёў, і незалежна ад У.​Г.​Брэга вывеў асн. формулу рэнтгенаструктурнага аналізу (гл. Брэга—Вульфа ўмовы).

т. 4, с. 294

КРУ́ПЧЫЦКІ БОЙ 1794.

бой паміж паўстанцамі і рас. войскам у час паўстання 1794. Адбыўся 17.9.1794 каля в. Крупчыцы Кобрынскага пав. (цяпер Жабінкаўскі р-н). З абодвух бакоў удзельнічала каля 20 тыс. чал. Паўстанцы пад камандаваннем К.​Серакоўскага дзякуючы выгаднай стратэгічнай пазіцыі з дапамогай артылерыі (28 гармат) паспяхова стрымлівалі атакі кавалерыі і пяхоты праціўніка. Аднак пасля абходнага манеўра А.​В.​Суворава і вываду ім часткі войска цераз р. Трасцяніца ў фланг абароны паўстанцаў апошнія пачалі адыходзіць у напрамку Брэста. У час бою абодва бакі страцілі каля 300 чал. забітымі і параненымі. 19 вер. каля в. Цярэспаль Брэсцкага пав. рас. войскі разбілі паўстанцаў.

У.​П.​Емяльянчык.

т. 8, с. 488

ПЛЯСЕ́ЦК,

касмадром у Архангельскай вобл. Рас. Федэрацыі. Засн. ў 1957. Гал. аб’екты: стартавыя комплексы, тэхн. пазіцыі, вымяральныя пункты, г. Мірны. Першы старт ракеты-носьбіта з ШСЗ «Космас—112» здзейснены 17.3.1966. З П. адбылося больш за 1500 запускаў ракет-носьбітаў; на каляземныя арбіты выведзена каля 2000 ШСЗ навук., нар.-гасп., ваен. і інш. прызначэння (1.1.2001). Выпрабавана 10 ракетна-касм. комплексаў, 11 ракет-носьбітаў, у т. л. «Саюз» і «Саюз-2», «Маланка», «Цыклон», «Космас» і інш., пры дапамозе якіх на каляземныя арбіты выводзіліся ШСЗ «Маланка», «Метэор», «Акіян», «Фатон», «Інтэркосмас» і інш. Ракеты-носьбіты выкарыстоўваюцца таксама для вываду на арбіты апаратуры і ШСЗ інш. краін.

У.​С.​Ларыёнаў.

т. 12, с. 440

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

АЙДУКЕ́ВІЧ ((Ajdukiewicz) Казімеж) (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),

польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас. т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.

Тв.:

Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.

Г.​У.​Грушавы.

т. 1, с. 174