Verbum

КО́САЎСКІЯ СУКО́ННЫЯ ПРАДПРЫЕ́МСТВЫ.

Дзейнічалі ў 1794—1914 у мяст. Косава Слонімскага пав. (цяпер горад у Івацэвіцкім р-не Брэсцкай вобл.). Уключалі 2 суконныя ф-кі. Адна мела паравыя машыны (16 і 35 к.с.), 80—85 ткацкіх станкоў, 17 часальных машын, 47 інш. машын і механізмаў, у 1878 працавала 180 чал.; другая мела паравы рухавік, пазней паравую машыну. Уваходзіла таксама суконная мануфактура (мела вадзяны рухавік, у 1913 працавала 70 чал.). Выпускалі рознакаляровае сукно і коўдры з мясц. і прывазной сыравіны.

т. 8, с. 429

КУХО́ННЫЯ ПРЫЛА́ДЫ І ПРЫСТАСАВА́ННІ,

прылады, апараты і прыстасаванні, якія выкарыстоўваюцца для вядзення дамашняй (кухоннай) гаспадаркі.

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

т. 9, с. 63

МАГІЛЁЎСКІ ПІВАВА́РНЫ ЗАВО́Д Засн. ў 1865 у Магілёве

(яго уладальнік — купец Лекерт). Размяшчаўся ў мураваным будынку, у 1890 меў 2 паравыя машыны (72 к.с.),

у 1895 — паравы кацёл. У 1913 працавала 50 рабочых. У Вял. Айч. вайну разбураны. Адноўлены ў 1961 з магутнасцю 1,4 млн. дал піва за год. У 1966 уведзены ў эксплуатацыю цэх па вырабе соладу магутнасцю 3300 т за год. З 1986 — участак № 1 Магілёўскага з-да напіткаў, з 1997 — цэх № 1 у дзярж. ВА «Магілёўаблхарчпрам».

т. 9, с. 469

МІ́НСКІ АВІЯРАМО́НТНЫ ЗАВО́Д.

Засн. ў 1953 у Мінску як авіярамонтная база, з 1964 — завод № 407 грамадзянскай авіяцыі. З канца 1996 сучасная назва. Спецыялізаваўся на рамонце самалётаў грамадз. авіяцыі (Лі-2, Іл-14, Ту-124). З 1980-х г. рамантуе самалёты Ту-134, Як-40, Як-42 і іх мадыфікацыі авіякампаній Беларусі, краін СНД, замежных. Аказвае паслугі на рынку авіятэхнікі; мае банк даных, распрацоўвае авіяц. дакументацыю. Выпускае таксама складаную быт. тэхніку — пральныя машыны, мікрахвалевыя печы, электрацеплавентылятары, пластмасавыя рэчы і інш.

т. 10, с. 432

АЛГАРЫ́ТМАЎ ТЭО́РЫЯ,

раздзел матэматыкі, які вывучае агульныя ўласцівасці алгарытмаў; тэарэт. аснова кібернетыкі, вылічальнай матэматыкі.

У інтуітыўным паняцці алгарытмы выкарыстоўваліся ў матэматыцы на працягу яе існавання. Дакладнае паняцце алгарытму сфарміравалася ў пач. 20 ст. і ўпершыню з’явілася ў працах матэматыкаў франц. Э.Барэля (1912) і ням. Г.Вейля (1921). Сістэматычная распрацоўка алгарытмаў тэорыі пачалася ў 1936, калі амер. матэматык А.Чэрч удакладніў паняцце алгарытмічна вылічальнай функцыі і прывёў прыклад невыліч. функцыі, англ. А.Цьюрынг і амер. Э.Пост удакладнілі паняцце алгарытму ў тэрмінах ідэалізаваных выліч. машын (машыны Цьюрынга—Поста); сав. матэматык А.М.Калмагораў прапанаваў выкарыстанне алгарытмаў тэорыі для абгрунтавання інфармацыі тэорыі (1965).

Адзін з гал. Кірункаў алгарытмаў тэорыі — вывучэнне невырашальнасці (вырашальнасці) алгарытмічных праблем, напр., у самой алгарытмаў тэорыі — праблема спынення універсальнай машыны Цьюрынга; у матэм. логіцы — праблема распазнавання тоесна праўдзівых формул злічэння прэдыкатаў 1-й ступені; у алгебры — праблема тоеснасці для паўгруп; у тапалогіі — праблема гомеамарфізму; у тэорыі лікаў — 10-я праблема Д.Гільберта. Даследаванні прывялі да ўзнікнення паняцця ступені невырашальнасці, вывучэння адпаведных матэм. структур і паказалі, што алгарытмічныя праблемы невырашальнасці маюць найб. ступень.

Літ.:

Мальцев А.И. Алгоритмы и рекурсивные функции. 2 изд. М., 1986;

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. М., 1980.

Р.Т.Вальвачоў.

т. 1, с. 233