Verbum

анлайнавы слоўнік

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

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

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

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

Літ.:

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

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

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

т. 4, с. 380

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ло́гіка, ‑і, ДМ ‑гіцы, ж.

1. Навука аб законах і формах мыслення. Фармальная логіка. Дыялектычная логіка. Матэматычная логіка.

2. Ход разважанняў, вывадаў. У выступленні Тамары менш было запалу і рашучасці, затое логіка якая! Ермаловіч. // Правільнасць, разумнасць мыслення. [Міхал] ніколі не вызначаўся асаблівай выдатнасцю логікі ў думках. Чорны. Фронт быў ад нас яшчэ за сотні кіламетраў, але насуперак логіцы ўсім захацелася пачуць у гэтых выбухах грукат сваёй артылерыі. Карпюк.

3. Унутраная заканамернасць. Логіка рэчаў. □ Дзіўныя справы .. захапляюць мяне сваёй навізной, такім незвычайным для нашага жыцця паваротам падзей і логікай з’яў. Быкаў.

[Грэч. logikē.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

ВЕ́РА,

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

В.М.Пешкаў.

т. 4, с. 91

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

пра́ктыка

(лац. practica, ад гр. praktika = дзейнасць)

1) дзейнасць людзей, якая накіравана на пераўтварэнне матэрыяльнага свету;

2) жыццё, рэчаіснасць як галіна праверкі вывадаў тэорыі;

3) замацаванне тэарэтычных ведаў на вытворчасці (напр. педагагічная п. студэнтаў);

4) набыты вопыт у якой-н. галіне дзейнасці (напр. п. выхавання дзяцей);

5) дзейнасць урача або юрыста.

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)

БРУ́САЎ (Валерый Якаўлевіч) (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

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

інду́кцыя

(лац. inductio = увядзенне, пабуджэнне)

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

2) узбуджэнне электрычнага току пры руху яго ў магнітным полі або пры змяненні вакол яго магнітнага поля;

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

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)

абапе́рціся, ‑пруся, ‑прэшся, ‑прэцца; ‑промся, ‑працеся; пр. абапёрся, ‑перлася; зак.

1. на каго-што. Налегчы на каго‑, што‑н., пераносячы на яго частку цяжару свайго цела. Камбат устаў, уладарна абапёрся рукамі на стол. Кулакоўскі. // аб каго-што. Прыхіліцца да каго‑, чаго‑н., выкарыстаць што‑н. як апору. Ён [Макар] абапёрся спіной аб вушак дзвярэй, закурыў. Асіпенка.

2. перан.; на каго-што. Знайсці падтрымку, апору ў кім‑н. Скуратовіч імкнецца абаперціся на нейкае асяроддзе, асабліва пасля ўяўных няшчасцяў. Барсток. // Пакласці што‑н. у аснову сваіх разважанняў, поглядаў, вывадаў. Было там і пра лядашчую лодачку, і пра марскую хваробу, і што наша каханне не абаперлася на ўстойлівы грунт жыцця. Дуброўскі.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

до́каз, ‑у, м.

1. Довад або факт, які з’яўляецца падставай для сцверджання чаго‑н.; сведчанне чаго‑н. Людзі кінуцца ў лес, а гэта і будзе доказам іх партызанскай прыналежнасць. Шчарбатаў. Даўно ўжо так не абедаў Пракоп, і лепшым доказам гэтага багатага абеду служылі засеўшыя ў зубах кавалачкі гавядзіны. Колас. Шмат каго будуць судзіць за зносіны з паўстанцамі, хаця ніякага доказу на гэта.. не маецца. Чарот.

2. Сістэма вывадаў, якая служыць для устанаўлення новага палажэння на падставе іншых, раней вядомых. Складанасць.. [тэарэмы] была ў тым, што, каб даказаць яе, трэба было ведаць заадно доказ і яшчэ адной тэарэмы. Краўчанка.

•••

Рэчавы доказ — прадмет, які мае дачыненне да злачынства і спрыяе яго раскрыццю.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

статы́стыка

(ням. Statistik, ад лац. status = стан)

1) навука аб колькасных зменах у развіцці грамадства і народнай гаспадаркі, а таксама ўлік масавых з’яў;

2) метад колькасных даследаванняў;

матэматычная с. — раздзел матэматыкі, прысвечаны матэматычным метадам сістэматызацыі, апрацоўкі і выкарыстання статыстычных дадзеных для навуковых і практычных вывадаў;

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

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)