форма́льный в разн. знач. фарма́льны;

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

форма́льное отноше́ние к де́лу фарма́льныя адно́сіны да спра́вы.

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)

сюжэ́тна, прысл.

У адносінах сюжэта, па сюжэту. Задума не вырашалася сюжэта, эпічна, між тым як логіка задумы вымагала гэтага. М. Стральцоў. І ў той жа час [раздзелы, сцэны аповесці], сюжэтна дапаўняючы адзін аднаго, арганічна зліваюцца ў адзінае цэлае. «Беларусь».

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

лагіцы́зм

(ад логіка)

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

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

фарма́льны

1. forml, formll;

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

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

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

увасо́біцца, ‑біцца; зак.

Знайсці праяўленне, адлюстраванне ў якой‑н. канкрэтнай форме. Уся логіка яго [Івана] адмаўлення ўвасобілася.. ў пытаннях-дакорах: «Навошта? Навошта?... Што ты робіш?..» Быкаў. Нязвыклымі былі і гэтая навакольная цішыня — без выбухаў, без шуму баёў,.. і сустрэча з бабулькай, у якой як бы ўвасобілася гора, перажытае тутэйшымі людзьмі за гады вайны. Хадкевіч.

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

ГІПО́ТЭЗА (ад грэч. hypothesis аснова, меркаванне),

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

В.М.Пешкаў.

т. 5, с. 259

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

nieubłagany

nieubłagan|y

няўмольны;

~a logika faktów — няўмольная логіка фактаў;

~a śmierć — бязлітасная (няўмольная) смерць

Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)

лагі́стыка

(гр. logistike = майстэрства лічэння)

1) матэматычная логіка;

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

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

АГУ́ЛЬНАЯ ТЭО́РЫЯ СІСТЭ́М,

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

Літ.:

Садовский В.Н. Основания общей теории систем: Логико-методол. анализ. М., 1974;

Уёмов А.И. Системный подход и общая теория систем. М., 1978;

Bertalanffy Z. v. General system theory: Foundations, development, applications. New York, 1969.

т. 1, с. 89

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

ВЕЛІГУ́РСКІ (Генадзь Аляксандравіч) (н. 2.8.1936, г. Смаленск),

бел. вучоны ў галіне тэорыі надзейнасці. Д-р тэхн. н. (1988). Скончыў Уральскі політэхн. Ін-т (1959). З 1962 у Ін-це надзейнасці машын АН Беларусі. Навук. працы па логіка-імавернасных метадах аналізу надзейнасці складаных тэхн. сістэм з многімі станамі элементаў.

Тв.:

Статистическое моделирование на физических моделях схем автоматики. Мн., 1978 (разам з А.І.Гурыновічам, М.Ш.Фелерам);

Аппаратурно-программные методы анализа надежности структурно-сложных систем. Мн., 1986.

т. 4, с. 66

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