Verbum

ВЕСЯЛО́ЎСКІ (Аляксандр Мікалаевіч) (16.2.1838, Масква — 23.10.1906),

рускі філолаг. Акад. Пецярб. АН (1880). Скончыў Маскоўскі ун-т (1858). Праф. Пецярб. ун-та (1872). Пачынальнік параўнальна-гіст. метаду ў літаратуразнаўстве. Заснавальнік т.зв. школы запазычанняў у рус. філал. навуцы. Перагледзеў прынцыпы міфалагічнай школы («Славянскія сказанні пра Саламона і Кітаўраса і заходнія легенды пра Марольфа і Мерліна», 1872). У «Даследаваннях у галіне рускага духоўнага верша» (вып. 1—6, 1879—91) упершыню раскрыў ролю апокрыфаў. Распрацаваў прынцыпы гіст. вывучэння міфалогіі («Параўнальная міфалогія і яе метад», 1873), нар. эпасу («Паўднёва-рускія быліны», 1881—84), літ. жанраў («Тэорыя паэтычных родаў у іх гістарычным развіцці», ч. 1—3, 1883—86). Даследаваў пытанні бел. культуры: пашырэнне былін на Беларусі [арт. «Рускія і вільціны ў сазе пра Тыдрэка Бернскага (Веронскага)», 1906], творчую гісторыю перакладаў аповесцей на бел. мову з сербскай (арт. «Беларускія аповесці пра Трышчана, Баву і Атылу ў Пазнанскім рукапісе канца XVI стагоддзя», 1887 і 1888), упершыню апублікаваў тэксты гэтых помнікаў. Вывучаў бел. фальклор (арт. «Гетэрызм, пабрацімства і кумаўство ў купальскай абраднасці», 1894).

Тв.:

Собр. соч. Т. 1—6, 8, 16. СПб.;

М.; Л., 1908—38;

Историческая поэтика. Л., 1940.

т. 4, с. 120

ГЕРБА́РЫЙ (лац. herbarium ад herba трава, расліна),

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

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

Упершыню метад гербарызацыі раслін ужыў італьянец Л.Гіні (16 ст.). У далейшым гербарыі ствараліся пераважна пры ун-тах і бат. садах. Найб. поўнае развіццё атрымалі з 1930—40-х г. У свеце больш за 20 буйных гербарыяў. У Парыжы (каля 6 млн. лістоў), Жэневе (гербарый Дэкандоля і Буасье — каля 5 млн. лістоў), Лондане (гербарый Брытанскага музея прыроднай гісторыі, у т. л. гербарый Лінея — 4,5 млн. лістоў), у Санкт-Пецярбургу (больш за 5 млн. лістоў).

На Беларусі найб. гербарый у Ін-це эксперым. батанікі імя В.Ф.Купрэвіча АН (Мінск), дзе захоўваецца больш за 50 тыс. лістоў вышэйшых сасудзістых раслін, 5 тыс. лістоў мохападобных, 17 тыс. лістоў лішайнікаў, больш за 1 тыс. ўзораў грыбоў-макраміцэтаў. Ёсць гербарыі ў БДУ і інш. ВНУ, бат. садах і запаведніках.

т. 5, с. 172

ЛІСІ́ЦКІ (Лазар Маркавіч) (22.11.1890, г. Пачынак Смаленскай вобл., Расія — 30.12.1941),

расійскі архітэктар, мастак-канструктар, графік. Праф. (1921). Вучыўся ў Вышэйшай тэхн. школе ў г. Дармштат (Германія; 1909—14) і Рыжскім політэхн. ін-це (у Маскве; 1915—16). Выкладаў у Вышэйшых нар. маст. школе ў Віцебску (1919—20), маст.-тэхн. майстэрнях (1921) і маст.-тэхн. ін-це (з 1926) у Маскве. У 1921—25 жыў у Германіі і Швейцарыі. Чл. груп «Стыль» і «Сцвярджальнікі новага мастацтва» (з 1921), Асацыяцыі новых архітэктараў. Вядомы пад псеўд. Эль Лісіцкі. Распрацоўваў праекты вышынных дамоў для Масквы (1923—25). У духу супрэматызму выканаў шэраг плакатаў («Клінам чырвоным бі белых», 1920), распрацоўваў праекты трансфармуемай мэблі (1928—29), новыя прынцыпы выставачнай экспазіцыі (сав. павільёны на замежных выстаўках 1925—34, Усесаюзная паліграф. выстаўка ў Маскве, 1927), вырашэння сцэн. прасторы для т-ра. У кніжным афармленні абгрунтоўваў метад візуальна-прасторавага канструявання кнігі, выкарыстоўваў сціплую арнаментыку, кантраст друкарскіх шрыфтоў, фотамантаж (зб-кі «Украінскія народныя казкі», 1919; «Маякоўскі. Для голасу», 1922). У Віцебску падрыхтаваў кн. «Пра два квадраты» (1922).

Літ.:

Э.Лисицкий: Художник, типограф, фотограф и архитектор. Л., 1979;

Герчук Ю. Эль Лисицкий // Творчество. 1990. № 10.

М.Л.Цыбульскі.

т. 9, с. 283

МАЛЯРЫ́ЙНЫЯ КАМАРЫ́, анофелесы (Anopheles),

род насякомых сям. сапраўдных камароў атр. двухкрылых. Больш за 300 відаў. Пашыраны ўсюды, пераважна ў тропіках і субтропіках. На Беларусі 3 віды. Найб. трапляецца М.к. звычайны (A. maculipennis) М.к. з’яўляюцца пераносчыкамі плазмодыяў — узбуджальнікаў малярыі, тулярэміі, японскага энцэфаліту. М.к. звычайны таксама прамежкавы гаспадар паразітуючых на сабаках філярыід (гл. Філярыятоз). Жывуць паблізу вадаёмаў, у балоцістых мясцінах, каля населеных пунктаў. Кампанент гнюсу.

Даўж. да 8 мм. Цела жаўтавата-бурае. Крылы вузкія, закругленыя, з 4—5 бурымі плямкамі. Ногі доўгія. Вусікі 15-членікавыя, у самцоў з густымі доўгімі валаскамі. Ротавыя органы колюча-сысучыя. У адрозненне ад інш. камароў характэрная пастава М.к. — цела, узнятае пад вуглом да паверхні, уніз галавой. Самцы кормяцца сокамі раслін, самкі, апрача таго, пасля апладнення смокчуць кроў пазваночных жывёл і чалавека (высмоктваюць крыві больш, чым важаць самі). Яйцы, лічынкі і кукалкі развіваюцца ў вадзе. Лічынкі дыхаюць атм. паветрам, трымаюцца пад паверхняй вады. За год 3—5 генерацый. Для знішчэння лічынак выкарыстоўваюць інсектыцыды, рэпеленты і інш., разводзяць рыб (напр., гамбузія), якія кормяцца лічынкамі і кукалкамі насякомых (біял. метад).

С.Л.Максімава.

т. 10, с. 52

НЕЛІНЕ́ЙНАЕ ПРАГРАМАВА́ННЕ,

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

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

На Беларусі матэм. пытанні Н.п. даследуюцца ў Ін-це матэматыкі Нац. АН і БДУ.

Літ.:

Базара М., Шетти К. Нелинейное программирование: Теория и алгоритмы: Пер. с англ. М., 1982;

Введение в нелинейное программирование: Пер. с нем. М., 1985;

Конструктивные методы оптимизации. Ч. 5. Мн., 1998.

С.У.Абламейка.

т. 11, с. 280

О́ПТЫКА АНІЗАТРО́ПНЫХ АСЯРО́ДДЗЯЎ,

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

Характэрныя асаблівасці О.а.а. (падвойнае праменепераламленне, дыхраізм, вярчэнне плоскасці палярызацыі і інш.) выяўляюцца пры нелінейных узаемадзеяннях светлавых хваль з рэчывам, а таксама пры распаўсюджванні эл.-магн. хваль ЗВЧ дыяпазону. У О.а.а. тэарэт. апісанне распаўсюджвання святла грунтуецца на Максвела ўраўненнях, дзе ўласцівасці анізатропных асяроддзяў (гл. Анізатрапія ў фізіцы) улічваюцца тэнзарамі дыэл. і магн. пранікальнасцей. Да такіх асяроддзяў адносяць крышталі, асяроддзі з штучнай анізатрапіяй (гл. Палярызацыйна-аптычны метад даследаванняў) і рэчывы, якія маюць прасторавую дысперсію (напр., растворы). Даследуюцца таксама тэкстуры, штучныя дыэлектрыкі з рознымі відамі анізатрапіі, фатонныя крышталі.

На Беларусі даследаванні па праблемах О.а.а. вядуцца з 1950-х г. у БДУ і Ін-це фізікі Нац. АН, з 1970-х г. у Гомельскім ун-це, Ін-це прыкладной оптыкі Нац. АН (г. Магілёў). На аснове каварыянтных метадаў Ф.І.Фёдаравым пабудаваны агульная несупярэчлівая тэорыя О.а.а. і класіфікацыя паглынальных і гіратропных асяроддзяў, даследаваны асаблівасці распаўсюджвання святла ў такіх асяроддзях.

Літ.:

Федоров Ф.И. Оптика анизотропных сред. Мн., 1958;

Яго ж. Теория гиротропии. Мн., 1976;

Федоров Ф.И., Филиппов В.В. Отражение и преломление света прозрачными кристаллами. Мн., 1976;

Оптические свойства кристаллов. Мн., 1995.

В.В.Філіпаў.

т. 11, с. 442

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

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

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.С.Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.Расела і А.Н.Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.Лукасевіч, А.Гейцінг, А.М.Калмагораў, В.І.Шастакоў, С.К.Кліні, А.А.Маркаў і інш.).

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

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

С.Ф.Дубянецкі.

т. 10, с. 213