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

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

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

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

Літ.:

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

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

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

т. 1, с. 233

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

ПРУ́ГКАСЦІ ТЭО́РЫЯ,

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

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

Літ.:

Тимошенко С.П., Гудьер Дж. Теория упругости: Пер. с англ. 2 изд. М., 1979;

Хан Х. Теория упругости: Основы линейной теории и ее применения: Пер. с нем. М., 1988;

Сопротивление материалов с основами теории упругости и пластичности. М., 1995.

І.​І.​Леановіч.

т. 13, с. 47

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

Віхравая тэорыя паветранага вінта 4/424

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

Ліцейных уласцівасцей сплаваў тэорыя 2/375

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

Малекулярнай будовы храмасом тэорыя 2/347

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

Утапічнага сялянскага сацыялізма тэорыя 7/409

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

Фазавых дынамічных сістэм тэорыя 2/148

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

Рэлятывісцкая тэорыя руху электрона 4/204

Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)

АДЛЮСТРАВА́ННЯ ТЭО́РЫЯ,

сукупнасць палажэнняў, катэгорый і прынцыпаў, якія выражаюць агульныя заканамернасці эвалюцыйнага развіцця ўсіх формаў адлюстравання ў неарганічнай і жывой прыродзе, у сац. рэальнасці. Зыходны прынцып адлюстравання тэорыі: вынікі пазнання павінны быць адносна адэкватныя сваёй крыніцы — арыгіналу. У якасці гнасеалагічнага прынцыпу адлюстраванне прызнавалася і ў стыхійным матэрыялізме, але разглядалася як пасіўнае, мёртвае «фатаграфаванне» навакольнага свету. Дыялектыка разглядае яго як складаны і супярэчлівы працэс узаемадзеяння пачуццёвага і рацыянальнага пазнання, мысліцельнай і практычнай дзейнасці. Пры гэтым свядомасць у сваім развіцці не вычэрпваецца паняццем адлюстравання, паколькі ўключае ў сябе творчасць і прадбачанне.

У распрацоўцы адлюстравання тэорыі вылучаюць 2 канцэпцыі: функцыянальную і атрыбутыўную. Прыхільнікі першай канцэпцыі сцвярджаюць, што ў неарганічных аб’ектах ёсць толькі перадумовы ўласцівасці адлюстравання, але не яго актыўнае праяўленне. Прыхільнікі другой настойваюць на ўсеагульнасці ўласцівасцяў адлюстравання. Збліжэнню гэтых канцэпцый садзейнічае ўсведамленне суадносін катэгорыі адлюстравання з агульнанавук. паняццем інфармацыі, далейшай распрацоўкай прынцыпу глабальнага эвалюцыянізму ў навуцы і сінергетыцы.

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

Літ.:

Коршунов А.М. Теория отражения и современная наука. М., 1968;

Тюхтин В.С. Отражение. Системы. Кибернетика. М., 1972;

Петушкова К.П. Отражение в живой природе: Динамика теорет. моделей. Мн., 1988.

В.​Я.​Петушкова.

т. 1, с. 113

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

ІМАВЕ́РНАСЦЕЙ ТЭО́РЫЯ,

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

Зыходныя паняцці І.т. — паняцці выпадковай падзеі і яе імавернасці. Падзеі рэчаіснасці бываюць: дакладныя — заўсёды адбываюцца; немагчымыя — ніколі не адбываюцца; выпадковыя — часам адбываюцца, а часам не. З двух выпадковых падзей A і B можна ўтварыць складаныя падзеі: аб’яднанне (суму) A∪B — {адбудзецца ці A, ці B}, перасячэнне (здабытак) A∩B — {адбудуцца і A і B}, рознасць A\B — {адбудзецца A, але не адбудзецца B}. Выкарыстоўваючы гэтыя аперацыі над дзвюма ці больш падзеямі, атрымліваюць складаныя падзеі. Мяркуецца, што для кожнай выпадковай падзеі A вызначана імавернасць — лік P(A), які задавальняе ўмовам: P(A)>0; калі падзеі A і B не могуць адбыцца адначасова, тады P(A∪B) = P(A) + P(B); імавернасць дакладнай падзеі роўна 1. У прасцейшых выпадках гэтыя ўмовы відавочныя; у агульным выпадку яны прымаюцца без доказу (аксіёмы). Па фармальных (матэм.) правілах атрымліваюць шэраг тэарэм пра імавернасці складаных падзей. Калі ажыццяўленне падзеі A не залежыць ад таго, адбудзецца ці не падзея B, тады A і B — незалежныя падзеі. Імавернасць P(A∩B) сумеснага ажыццяўлення дзвюх незалежных падзей A і B роўна P(A)∙P(B). Часам, калі нават дакладна можна запісаць імавернасці пэўных выпадковых падзей, вылічыць іх цяжка. Напр., імавернасць Pn(m) таго, што ў серыі з n незалежных ажыццяўленняў выпадковай падзеі A з P(A) = p(p ≠ 0,1) яна адбудзецца m разоў, роўна Cnmp​mq​n-m, дзе Cnm — лік спалучэнняў з n элементаў na m, q = 1 − p. Пры вялікіх n і m для вылічэння імавернасцей тыпу Pn(m) выкарыстоўваюць лімітавыя тэарэмы: 1) калі n→∞, то Pn(m) ~ 1 2πnpq e x2 2 пры ўмове, што x = m np npq застаецца ў межах фіксаванага інтэрвалу (лакальная тэарэма Муаўра—Лапласа); 2) пры кожных фіксаваных ліках a і b, (a<b), limP ( a m np npq < b ) = 1 2π a b e x2 2 dx (інтэгральная тэарэма Муаўра—Лапласа). Да лімітавых тэарэм адносіцца таксама вялікіх лікаў закон, які мае важнае значэнне для філас. асэнсавання І.т. і ў дастасаваннях. Вял. ўклад у развіццё лімітавых тэарэм зрабілі П.​Л.​Чабышоў і А.​М.​Ляпуноў. Узнікненне большасці лімітавых тэарэм звязана з тэорыяй выпадковых працэсаў. На Беларусі І.т. даследуецца ў асноўным ў БДУ (Г.​А.​Мядзведзеў, Ю.​С.​Харын і інш.).

Літ.:

Гнеденко Б.В. Курс теории вероятностей. 6 изд. М., 1988;

Колмогоров А.Н. Основные понятия теории вероятностей. М.; Л., 1936;

Лоэв М. Теория вероятностей: Пер. с англ. М., 1962;

Феллер В. Введение в теорию вероятностей и ее приложения: Пер. с англ. Т. 1—2. М., 1984;

Ширяев А.Н. Вероятность. М., 1980.

В.​І.​Бернік, У.​Г.​Спрынджук.

т. 7, с. 207

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