Verbum

МЕТАЛО́ГІКА (ад мета... + логіка),

галіна логікі, у якой сродкамі метатэорыі вывучаюцца будова і ўласцівасці розных фармальна-лагічных сістэм і логікі ў цэлым. Узнікла ў сувязі з даследаваннямі асноў дэдуктыўных навук (асабліва матэматыкі). У вузкім сэнсе М. ўключае 3 часткі: лагічны сінтаксіс (гл. Сінтаксіс у логіцы), у якім даследуюцца структурныя ўласцівасці фармальных тэорый, правілы пабудовы і пераўтварэння выразаў, што прыняты ў розных сістэмах злічэння; семантыка лагічная, у якой вывучаюцца сэнс і значэнне выразаў мовы і правілы інтэрпрэтацыі лагічных злічэнняў; лагічная прагматыка, што раскрывае спосабы і шляхі практычнага выкарыстання суб’ектамі фармальных тэорый. У шырокім сэнсе да М. адносяць усе патрабаванні да пабудовы фармальных сістэм (гл. Фармалізацыя) і ўжывання аксіяматычнага метаду, агульныя правілы дэдукцыі, вываду і доказу, тэорый вызначальнасці паняццяў, мадэлей, сапраўднасці ў фармалізаваных мовах і інш. У рамках М. вывучаюцца таксама праблемы ўзаемаадносін паміж т.зв. экстэнсіянальнымі і інтэнсіянальнымі мовамі (гл. Семіётыка), сэнсавыя адносіны і псіхал. аспекты звычайных змястоўных разважанняў, пытанні мадэліравання інтэлектуальнай дзейнасці чалавека. Ідэі і метады М. выкарыстоўваюць таксама ў даследаваннях законаў разважання, у прыродазнаўчых тэорыях. Праблемы М. распрацоўваюцца ў творах Г.​Фрэге, Д.​Гільберта, К.​Гёдэля, А.​Тарскага, А.​Чорча, Р.​Карнапа, П.​С.​Новікава і інш.

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

т. 10, с. 306

МО́ВА ПРАГРАМАВА́ННЯ,

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

Адрозніваюць М.п. машынна-арыентаваныя, працэдурна-арыентаваныя і аб’ектна-арыентаваныя. Да машынна-арыентаваных адносяць мовы, што ўлічваюць асаблівасці канкрэтнай ЭВМ (структуру каманд, памяць, знешнія прылады і інш.) і дазваляюць ствараць праграмы, такія ж па эфектыўнасці, як праграмы. напісаныя ў кодах машыны (гл. Асемблер, Машынная мова). У працэдурна-арыентаваных М.п. (напр., Паскаль, Фартран, Алгол, Модула, ПЛ/1) вылучаюць 2 часткі: для апісання структуры аб’ектаў і для працэдуры іх апрацоўкі. На іх эфектыўна апісваюцца і рэалізуюцца алгарытмы апрацоўкі інфармацыі складанай іерархічнай структуры. Самастойнае падмноства такіх моў складаюць мовы мадэліравання. Аб’ектна-арыентаваныя М.п. (напр., Ада, Сі​⁺⁺) грунтуюцца на 4 гал. прынцыпах: магчымасць праграмісту апісваць уласныя аб’екты, вызначаць уласныя аперацыі над аб’ектамі, будаваць іерархіі аб’ектаў і дзеянняў над імі, перавызначаць аб’екты і аперацыі над імі. У выніку з’явіліся магчымасці развіваць і назапашваць праграмы з канкрэтнай прадметнай вобласці, павялічылася іх надзейнасць і скараціўся час іх распрацоўкі і наладкі.

У.​Л.​Каткоў.

т. 10, с. 504

МУХАРЫ́НСКАЯ (Лідзія Саулаўна) (27.3.1906, Тбілісі —24.5.1987),

бел. этнамузыколаг, педагог. Засл. дз. маст. Беларусі (1974). Канд. мастацтвазнаўства (1969). Скончыла Маскоўскую кансерваторыю (1939). Вучаніца К.Квіткі, Я.Гіпіуса. У 1939—41 і 1948—87 выкладала ў Бел. кансерваторыі (з 1970 дацэнт). Навук. працы па фундаментальных праблемах бел. муз. фальклору. Асн. тэмы — генетычная прырода, семантыка і эстэт. сутнасць нар. музыкі. Вял. ўвагу аддавала інтанацыйнаму ладу і муз.-паэт. стылістыцы традыц. і сучаснай бел. нар. песні. Аўтар прац «Беларуская народная партызанская песня, 1941—1945» (1968), «Беларуская народная песня: Гістарычнае развіццё» (1977), «Да пытання аб эстэтычным асваенні рэчаіснасці ў сучаснай беларускай народна-песеннай творчасці», «Некаторыя праблемы тыпалогіі народнага меласу ў святле палеапсіхалогіі і палеалінгвістыкі» (абедзве 1982), адзін з аўтараў падручніка «Гісторыя беларускай савецкай музыкі» (1971), кн. «Беларуская народная музычная творчасць» (1993, з Т.​Якіменка) і інш. Публіцыст, прапагандыст бел. нар. творчасці і прафес. музыкі.

Тв.:

Партизанские песни Белоруссии и их слагатели. М., 1964;

Мелодический язык современной белорусской народной песни. Мн., 1966;

Некоторые вопросы типологии народных напевов (на материале белорусского земледельческого и семейно-обрядового циклов // Традиционное и современное народное музыкальное искусство. М., 1976.

Літ.:

Можейко З. Профессия — музыкальная этнография // Сов. музыка. 1981. № 8;

Л.​С.​Мухарынская — артыкулы, перапіска, успаміны. Мн., 1993.

Р.​М.​Аладава.

т. 11, с. 44