фартра́н

[ад англ. for(mula) tran(slator)]

фармальная мова для апісання алгарытмаў на электронна-вылічальнай машыне.

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

ГРУ́ПА САЦЫЯ́ЛЬНАЯ,

адносна ўстойлівая сукупнасць людзей, звязаных агульнымі інтарэсамі, дзейнасцю і нормамі ўзаемаадносін. Асн. функцыі групы сацыяльнай: сумеснае дасягненне агульных мэт, сацыялізацыя людзей, задавальненне іх патрэб у эмацыянальным кантакце і падтрымцы. Групы падзяляюцца на малыя і вялікія. Малая група сацыяльная (пярвічная, нефармальная, фармальная, харызматычная, рэфератная) адрозніваецца непасрэднымі кантактамі паміж яе членамі, налічвае ад 2 да 20 і болей чал. Паняцце «пярвічная група» ўведзена для абазначэння сям’і, суседскіх і сяброўскіх кампаній, забяспечвае першасную сацыялізацыю індывідаў і характарызуецца высокай ступенню эмацыянальнасці ўзаемаадносін, салідарнасцю і развітой групавой самасвядомасцю. Нефармальная група ўтвараецца на аснове міжасобасных кантактаў, узаемных сімпатый і падабенства інтарэсаў яе членаў. Фармальная фарміруецца для дасягнення пэўных мэт і адрозніваецца развітой арганізацыйнай структурай. Харызматычная займае прамежкавае становішча паміж нефармальнай і фармальнай групамі. Асаблівую ролю ў ёй адыгрывае лідэр, які мае велізарную прыцягальную сілу і абаянне. Рэферэнтная група (уяўная і рэальная) — група, каштоўнасці і нормы якой служаць эталонам. Вялікая група сацыяльная — шматлікая супольнасць людзей, якія часта не ўступаюць у непасрэдны кантакт паміж сабой, але маюць падобнае сац. становішча і аб’ектыўную агульнасць інтарэсаў — класы, сац. слаі, праф. групы, этнічныя супольнасці (нацыя, народнасць, племя), узроставыя групы (моладзь, пенсіянеры) і інш.

Літ.:

Смелзер Н. Социология: Пер. с англ. М., 1994;

Щепаньский Я. Элементарные понятия социологии: Пер. с. пол. М., 1969.

А.​У.​Рубанаў.

т. 5, с. 466

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

Кабыля́нец ’апендыцыт’ (Жд. 3). Фармальная сувязь з кабыла відавочная, аднак словаўтваральны бок і матывацыя вельмі няясныя.

Этымалагічны слоўнік беларускай мовы (1978-2017)

фарма́льны

1. forml, formll;

фарма́льная ло́гіка formle Lgik;

2. (пра стаўленне да справы і г. д.) forml, formalstisch; bürokrtisch (бюракратычны)

Беларуска-нямецкі слоўнік (М. Кур'янка, 2010, актуальны правапіс) 

Круга́ ’вір’ (Яшк.). Гл. круг3.

Круга́ ’вакол’ (Янк. Мат., Сцяц. Нар.). Гл. круг1. Фармальная структура няясная.

Этымалагічны слоўнік беларускай мовы (1978-2017)

А́ДРАСНАЯ МО́ВА ў вылічальнай тэхніцы,

фармальная мова для апісання працэсаў пераўтварэння інфармацыі ў ЭВМ. Кожны элемент інфармацыі адпавядае пэўнаму адрасу (напр., нумару ячэйкі памяці ЭВМ); некаторыя адрасы могуць адпавядаць інш. адрасам. Напр., калі элемент інфармацыі (адрас) b адназначна адпавядае адрасу a, то ў адраснай мове гэта запісваецца формулай a=b (адрасная функцыя). Вылічэнне новых значэнняў і іх засылка на пэўныя адрасы задаюцца адраснай формулай (2 адрасныя функцыі, злучаныя знакам засылкі =>). Запіс b => a азначае, што элемент b засылаецца на адрас a, пасля чаго a=b. Адрасны алгарытм (паслядоўнасць адрасных формул і інш. сімвалаў) спец. праграмамі-транслятарамі пераўтвараецца ў праграму на мове ЭВМ.

т. 1, с. 136

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

ІНТЭРПРЭТА́ЦЫЯ (ад лац. interpretatio тлумачэнне, пасрэдніцтва),

1) вытлумачэнне, пераклад на больш зразумелую мову.

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

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

т. 7, с. 289

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

ЛАГІ́СТЫКА (ад грэч. logistikē мастацтва вылічаць, разважаць),

1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.​Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).

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

т. 9, с. 89

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

фарма́льны, ‑ая, ‑ае.

1. Які мае адносіны да формы (у 3 знач.), абумоўлены формай. Фармальны пачатак у навуцы. Фармальная логіка.

2. Звязаны з формай (у 5 знач.). Можна было б яшчэ многа сказаць пра фармальныя асаблівасці «Безназоўнага». Бярозкін. З найбольшай выразнасцю выявілася .. [творчая манера М. Багдановіча] .. у фармальных пошуках паэта, у тых вершах, якімі ён рабіў класічныя традыцыі майстэрства сусветнай паэзіі здабыткам роднай літаратуры. Лойка. // Які падае галоўнае значэнне форме (у 5 знач.); фармалістычны. Фармальнае наватарства.

3. Зроблены па форме (у 7 знач.); афіцыйны, законны. Сурвіла, не чакаючы больш фармальнага дазволу, .. рушыў на двор ратушы. Чорны. [Клава:] — Ці зарэгістраваны ты? Калі не, дык гэта не страшна. Фармальнага поваду няма... Асіпенка. [Вэсман:] Калі яго [Азорыча] дзяўчына апазнае І дасць пры пэўных сведках паказанні, Што ён ёй перадаў якіясь весткі, Мы будзем мець фармальную прычыну Вініць палоннага ў шпіянажы. Глебка. // Напісаны па форме (пра які‑н. дакумент). [Рабочыя:] Фармальная папера, з подпісам, з пячаткай... Бяры ключы, пайшлі... Ты, дзед, скідаць паможаш рэйкі. Клімковіч.

4. Такі, дзе захавана толькі знешняя форма; які не паказвае сутнасці справы; бюракратычны. Дзерашу варожы фармальны падыход да справы. Арабей. // Які існуе толькі па форме, для выгляду. Фармальная самастойнасць. □ Веды бываюць розныя, фармальныя і глыбокія, самастойна вынашаныя. «Маладосць».

5. Звязаны з формай (у 11 знач.). Фармальнае значэнне слова.

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

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

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

т. 4, с. 311

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