Verbum

МА́РКАВА ЛАНЦУ́Г,

паняцце імавернасцей тэорыі, якое ўзнікла з работ А.А.Маркава, прысвечаных вывучэнню паслядоўнасцей залежных выпрабаванняў і звязаных з імі сум выпадковых велічынь. Развіццё тэорыі М.л. садзейнічала стварэнню агульнай тэорыі маркаўскіх працэсаў.

т. 10, с. 114

АНДРО́НАЎ (Аляксандр Аляксандравіч) (11.4.1901, Масква — 31.10.1952),

савецкі фізік, стваральнік навук. школы па тэорыі нелінейных ваганняў. Акад. АН СССР (1946). Скончыў Маскоўскі ун-т (1925). Праф. Горкаўскага ун-та (1931). Першы прапанаваў матэм. апарат для тэорыі нелінейных ваганняў. Стварыў асновы тэорыі аўтаваганняў. Вырашыў шэраг важных нелінейных задач тэорыі радыётэхнікі, аўтам. рэгулявання і агульнай дынамікі машын.

Тв.:

Собрание трудов. М., 1956.

т. 1, с. 356

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

раздзел тэарэтычнай кібернетыкі, які даследуе пераўтваральнікі дыскрэтнай інфармацыі. Узнікла ў сярэдзіне 20 ст. ў сувязі з развіццём тэорыі выліч. машын, тэорыі алгарытмаў. Асн. паняцці — абстрактны аўтамат і кампазіцыя аўтаматаў. Першае характарызуе алгарытм функцыянавання прыстасавання (алгарытм перапрацоўкі інфармацыі, які яно рэалізуе), складаецца з 3 непустых мностваў (станаў, уваходных і выхадных сігналаў) і 2 функцый (выхаду і пераходу). Другое характарызуе структуру прыстасавання, прынцыпы яго пабудовы з больш простых элементаў. Аўтаматаў тэорыя складаецца з абстрактна-алг., структурнай тэорыі і тэорыі імавернасных аўтаматаў і самаарганізоўных сістэм.

У абстрактна-алг. аўтаматаў тэорыі даследуюцца ўласцівасці абстрактнага аўтамата і спосабы яго задання. У структурнай аўтаматаў тэорыі аўтамат выяўляецца ў выглядзе сеткі, элементы якой выбраны з папярэдне зададзенай сукупнасці элементарных аўтаматаў. Яны злучаны паміж сабой і ажыццяўляюць запамінанне і пераўтварэнне элементарных сігналаў. Тэорыя імавернасных аўтаматаў і самаарганізоўных сістэм выкарыстоўваецца пры праектаванні і аўтаматызацыі праектавання дыскрэтных канструкцый і выліч. машын. Мае важнае значэнне для тэорыі алгарытмаў, тэорыі фармальных машын сістэм, тэорыі праграмавання і інш.

На Беларусі даследаванні па аўтаматаў тэорыі праводзяцца з 1956 у Мінскім пед. ун-це, ін-тах матэматыкі і тэхн. кібернетыкі АН.

Літ.:

Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. 3 изд. М., 1989;

Закревский А.Д. Алгоритмы синтеза дискретных автоматов. М., 1971.

А.Дз.Закрэўскі.

т. 2, с. 114

НО́ВІКАЎ (Пётр Сяргеевіч) (28.8.1901, Масква — 9.1.1975),

расійскі матэматык, стваральнік школы матэм. логікі. Акад. АН СССР (1960). Скончыў Маскоўскі ун-т (1925). З 1929 у Маскоўскім хім.-тэхнал. ін-це, з 1934 у Матэм. ін-це імя У.А.Сцяклова АН СССР, з 1945 праф. Маскоўскага пед. ін-та імя Леніна. Навук. працы па тэорыі мностваў, матэм. логіцы, тэорыі алгарытмаў і тэорыі груп. Прапанаваў метад даследавання праблем дэскрыптыўнай тэорыі мностваў, метад доказу несупярэчнасці фармальных сістэм. Даказаў невырашальнасць праблемы тоеснасці, спалучанасці і ізамарфізму ў тэорыі груп. Ленінская прэмія 1957.

Тв.:

Избр. труды: Теория множеств и функций. Математическая логика и алгебра. М., 1979.

т. 11, с. 370

ГРА́ФАЎ ТЭО́РЫЯ,

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

Першыя задачы графаў тэорыі былі звязаны з рашэннем галаваломак і матэм. забаўляльных задач (напр., задачы аб Кёнігсбергскіх мастах, аб расстаноўцы ферзей на шахматнай дошцы, аб перавозках, кругасветным падарожжы, задача 4 фарбаў і інш.). Адным з першых вынікаў у графаў тэорыі быў крытэрый існавання абходу графа без паўтораў рэбраў (Л.Эйлер, 1736). У 19 ст. з’явіліся работы, у якіх пры рашэнні практычных задач атрыманы важныя вынікі ў графаў тэорыі (задачы пабудавання эл. ланцугоў, падліку хім. рэчываў з рознымі тыпамі малекулярных злучэнняў і інш.). У 20 ст. задачы, звязаныя з графамі, з’явіліся ў тапалогіі, алгебры, тэорыі лікаў, тэорыі імавернасці і інш. Найб. развіццё графаў тэорыя атрымала з 1950-х г. у сувязі са станаўленнем кібернетыкі і развіццём выліч. тэхнікі.

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

Літ.:

Лекции по теории графов. М., 1990.

Ю.Н.Сацкоў.

т. 5, с. 411

ВЯДЗЕ́РНІКАЎ (Васіль Іванавіч) (11.2.1919, г. Ліпецк, Расія — 16.3.1991),

бел. матэматык. Д-р фізіка-матэм. н. (1969), праф. (1970). Скончыў Варонежскі ун-т (1941). З 1950 у Варонежскім ун-це, з 1959 у Горкаўскім пед. ін-це. З 1969 у БДУ. Навук. працы па канформнай дыферэнцыяльнай геаметрыі, тэорыі гіперпаверхняў прасторы Еўкліда, па тэорыі абагульненага метаду нармалізацый, па агульнай тэорыі спалучаных звязнасцей, тэорыі спец. класа аднародных прастораў.

Тв.:

Дифференциальная геометрия. Мн., 1982 (у сааўт.).

т. 4, с. 338

БУНЯКО́ЎСКІ (Віктар Якаўлевіч) (16.12.1804, г. Бар Вінніцкай вобл., Украіна — 12.12.1889),

рускі матэматык. Акад. Пецярбургскай АН (1830). Матэм. адукацыю атрымаў за мяжой (Швейцарыя, Францыя). З 1826 выкладаў матэматыку ў ВНУ Пецярбурга, з 1846 праф. Пецярбургскага ун-та, з 1864 віцэ-прэзідэнт Пецярбургскай АН. Навук. працы па інтэгральным злічэнні, тэорыі няроўнасцяў (гл. Бунякоўскага няроўнасць), тэорыі лікаў, тэорыі імавернасцяў і дэмаграфіі (статыстыцы насельніцтва). Аўтар першага ў Расіі падручніка па тэорыі імавернасцяў (1846).

Літ.:

Прудников В.Е. В.Я.Буняковский — учёный и педагог. М., 1954;

История отечественной математики. Т. 2. Киев, 1967.

т. 3, с. 340

КАШЫ́ ((Cauchy) Агюстэн Луі) (21.8.1789, Парыж — 23.5.1857),

французскі матэматык, адзін з заснавальнікаў тэорыі аналіт. функцый. Чл. Парыжскай АН (1816), замежны ганаровы чл. Пецярбургскай АН (1831). Скончыў Політэхн. школу (1807), Школу мастоў і дарог (1810) у Парыжы. Выкладаў у навуч. установах, у т. л. ў Сарбоне. Навук. працы па тэорыі дыферэнцыяльных ураўн., матэм. фізіцы, тэорыі лікаў, геаметрыі. Сфармуляваў адну з найб. важных агульных задач тэорыі дыферэнцыяльных ураўн. (гл. Кашы задача); развіў асновы тэорыі аналіт. функцый камплекснай пераменнай (гл. Кашы—Рымана ўраўненні); даў выраз аналіт. функцыі ў выглядзе інтэграла (гл. Кашы інтэграл), прапанаваў раскладанне функцыі ў ступеневы шэраг (гл. Кашы тэарэма). Аўтар класічных курсаў матэм. аналізу.

Літ.:

Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. 2 изд. М., 1969.

т. 8, с. 202