Verbum

БАЙТ (англ. byte) у вылічальнай тэхніцы, 1) частка машыннага слова, што складаецца са стандартнай колькасці (звычайна 8) двайковых разрадаў (бітаў) і апрацоўваецца як адно цэлае.

2) Запамінальнае прыстасаванне для захоўвання такой колькасці інфармацыі.

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

т. 2, с. 227

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

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

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

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

Літ.:

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

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

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

т. 1, с. 233

АСТА́НІН (Аляксандр Несцеравіч) (н. 23.3.1938, г. Шапятоўка Хмяльніцкай вобл., Украіна),

бел. і польскі вучоны ў галіне аўтаматычнага кіравання і вылічальнай тэхнікі. Д-р тэхн. н. (1982), праф. (1984). Скончыў Мінскае Вышэйшае інжынернае зенітна-ракетнае вучылішча (1961). З 1973 у БПІ, з 1989 заг. кафедры ў Беластоцкім політэхн. ін-це (Польшча). Навук. працы па мадэліраванні, ідэнтыфікацыі, адаптыўным кіраванні складанымі дынамічнымі аб’ектамі.

Тв.:

Микро-ЭВМ в динамических системах. Мн., 1982 (разам з Р.​І.​Фурунжыевым і Г.​І.​Залужным);

Управление колебаниями многоопорных машин. М., 1984 (разам з Р.​І.​Фурунжыевым).

т. 2, с. 43

ЛЫ́СІКАЎ (Барыс Рыгоравіч) (й. 5.9.1932, г. Істра Маскоўскай вобл.),

бел. вучоны ў галіне вылічальнай тэхнікі. Д-р тэхн. н. (1992), праф. (1985). Скончыў Балтыйскае вышэйшае ваенна-марское вучылішча (1954) і Усесаюзны завочны энергет. ін-т (1962). З 1969 у Мінскім радыётэхн. ін-це, з 1975 у НДІ ЭВМ, з 1995 у Вышэйшым каледжы сувязі. Навук. працы па выліч. тэхніцы, лагічным праектаванні звышвял. інтэгральных схем і мікрапрацэсараў. Распрацаваў асновы тэорыі лагічнага праектавання складаных лічбавых прылад.

Тв.:

Арифметические и логические основы цифровых автоматов. 2 изд. Мн., 1980.

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

т. 9, с. 385

МАНАСТЫ́РНЫ (Пётр Ільіч) (н. 14.4. 1937, с. Крэп Валгаградскай вобл., Расія),

бел. матэматык. Д-р фіз.-матэм. н. (1988), праф. (1989). Скончыў БДУ (1961), дзе і працуе (з 1973 заг. кафедры). Навук. працы па вылічальнай матэматыцы і дыферэнцыяльных ураўненнях. Распрацаваў тэорыю і дастасаванні метадаў інварыянтнага паглыблення і рэдукцыі да задач Кашы для рашэння гранічных задач у выпадку дыферэнцыяльных і сеткавых ураўненняў. Дзярж. прэмія Беларусі 1978.

Тв.:

Начала теории вычислительных методов. [Т. 1—5]. Мн., 1982—86 (разам з У.​І.​Крыловым, У.​В.​Бабковым).

П.​М.​Бараноўскі.

т. 10, с. 62

ПАДГА́ЙНЫ (Міхаіл Васілевіч) (н. 5.1.1954, в. Ізбішча Пухавіцкага р-на Мінскай вобл),

бел. дзярж. дзеяч. Скончыў Мінскі радыётэхн. ін-т (1975), Акадэмію грамадскіх навук пры ЦК КПСС (1991). З 1975 працаваў інжынерам-тэхнолагам Мінскага вытв. аб’яднання вылічальнай тэхнікі. У 1977—91 на камсамольскай і парт. рабоце. З 1991 нам. міністра культуры Рэспублікі Беларусь, з 1992 старшыня К-та па справах моладзі пры СМ Рэспублікі Беларусь, з 1995 дырэктар гуманітарных праграм Бел. цэнтра інфармацыі ЮНЕСКА, з 1996 начальнік гал. ўпраўлення грамадска-паліт. інфармацыі Адміністрацыі Прэзідэнта Рэспублікі Беларусь. З 1997 старшыня Дзярж. к-та Рэспублікі Беларусь па друку.

т. 11, с. 492