Verbum

МЕТАЛАРЭ́ЗНЫ СТАНО́К,

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

У залежнасці ад мэтавага прызначэння, выканання адпаведных тэхнал. аперацый і металарэзнага інструменту адрозніваюць: такарныя, свідравальныя, расточныя, шліфавальныя, паліравальныя, даводачныя, заточныя, зубаапрацоўчыя, рэзьбаапрацоўчыя, фрэзерныя, стругальныя, даўбёжныя, працяжныя станкі (гл. адпаведныя арт.), а таксама разразныя, для фіз.-хім. апрацоўкі, балансіровачныя, мнагамэтавыя (апрацоўчыя цэнтры), агрэгатныя станкі. Паводле ступені аўтаматызацыі адрозніваюць М.с. з ручным кіраваннем, паўаўтаматычныя (апрацоўка адной дэталі ў аўтам. рэжыме), аўтаматычныя (апрацоўка і змена дэталей у аўтам. рэжыме). Паводле дасягальнай дакладнасці апрацоўкі адрозніваюць М.с. класаў дакладнасці: Н (нармальнага), П (павышанага), В (высокага), А (асабліва высокага), С (майстар-станкі з хібнасцю апрацоўкі 1 мкм), Т (з хібнасцю 0,3 мкм), К (з хібнасцю 0,1 мкм). Тэхн ўзровень станкоў характарызуецца паказчыкамі прызначэння, надзейнасці, эканомнага выкарыстання матэрыялаў і электраэнергіі, тэхналагічнасці, стандартызацыі і уніфікацыі. эрганамічнасці і патэнтна-прававымі.

На Беларусі розныя тыпы М.с. выпускаюць прадпрыемствы станкабудаўнічай і інструментальнай прамысловасці. Пра развіццё вытв-сці М.с. на Беларусі гл. ў арт. Станкабудаванне.

Літ.:

Чернов Н.Н. Металлорежущие станки. 4 изд. М., 1987;

Кочергин АИ., Конструирование и расчет металлорежущих станков и станочных комплексов. Мн., 1991;

Станочное оборудование автоматизированного производства. Т. 2. М., 1994;

Проектирование металлорежущих станков и станочных систем: В 3 т. Т. 1—2. М., 1994—95.

А.​І.​Качаргін.

т. 10, с. 305

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

АЭРАДРО́М (ад аэра... + грэч. dromos месца для бегу, бег),

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

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

т. 2, с. 171

МАРФАЛО́ГІЯ (ад марфа... + ...логія) у мовазнаўстве 1) сістэма механізмаў мовы, якая забяспечвае пабудову і разуменне яе словаформ.

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

Кожная словаформа членіцца на меншыя знакавыя адзінкі — марфемы, морфы. М. забяспечвае «памарфемнае» суаднясенне кампанентаў унутр. (змястоўнага) боку словаформы з кампанентамі яго знешняга (гукавога) боку. Яна накіравана на перадачу значэнняў менавіта службовымі элементамі (а не каранямі), што адрознівае яе ад лексікалогіі, у цэнтры ўвагі якой значэнні каранёў і цэлых слоў. М. вызначае марфалагічныя (граматычныя) асаблівасці цэлых класаў слоў (часцін мовы), незалежна ад іх прыватнага значэння. Кожная часціна мовы мае сваю сістэму граматычных значэнняў, катэгорый і агульных дадатковых (фармальных) адзнак, якія служаць для выражэння адносін паміж словамі ў словазлучэнні або сказе. Так, назоўнікам уласцівы значэнні роду, ліку, склону; дзеясловам — стану, трывання, ладу, часу, асобы, ліку і інш.; прыметнікам — роду, ліку, склону, ступеней параўнання, а для якасных — формы суб’ектыўнай ацэнкі. Напр., назоўнікі «станок», «лес», «бярэзнік» пры розных лексічных (рэальных) значэннях маюць агульныя граматычныя значэнні м.р., адз. л., назоўнага, вінавальнага склонаў; дзеясловы «паедзем», «напішам» аб’ядноўваюцца граматычнымі значэннямі закончанага трывання, простага будучага часу. 1-й асобы мн. л. і інш. Граматычныя значэнні могуць быць выражаны сінтаксічна (з дапамогай афіксаў) і аналітычна (апісальна, спалучэннем слоў). Напр., у назоўніку «вясна» значэнне ж.р., адз. л. і назоўнага склону выражана канчаткам «-а», у дзеяслове «гаворым» значэнне 1-й асобы мн. л. абвеснага ладу — канчаткам «-ым». Аналітычны спосаб выкарыстоўваецца пры выражэнні граматычнага значэння ступеней параўнання прыметнікаў і прыслоўяў («больш далёкі», «самы далёкі». «найбольш далёка»), будучага часу, загаднага і ўмоўнага ладу дзеясловаў («буду чытаць», «чытаў бы», «давайце чытаць»), Сродкамі выражэння марфал. значэння выступаюць таксама націск у слове («скалы́ — ска́лы»), чаргаванне асноў (суплетывізм, «чалавек — людзі») і інш. Марфал. змяненне слова не ўплывае на яго лексічнае значэнне.

Літ.:

Шуба П.П. Лекцыі па беларускай марфалогіі. Мн.. 1975;

Яго ж. Сучасная беларуская мова: Марфаналогія. Марфалогія. Мн., 1987;

Русская грамматика. Т. 1. М., 1980.

Я.​М.​Камароўскі.

т. 10, с. 143

МАСКО́ЎСКАЯ КАНСЕРВАТО́РЫЯ імя П.​І.​Чайкоўскага,

вышэйшая музычная навуч. ўстанова Расіі. Адкрыта ў 1866 на базе арганізаваных у 1860 Муз. класаў Рас. муз. т-ва. З 1940 — імя Чайкоўскага. Заснавальнік і першы дырэктар М.Рубінштэйн (у 1866—81 дырэктар, праф., дырыжор). У ёй выкладалі П.​Чайкоўскі, С.​Танееў В.​Сафонаў, М.​Іпалітаў-Іванаў, Ф.​Лаўб, І.​Гржымалі; сярод выхаванцаў С.​Рахманінаў, А.​Скрабін, М.​Метнер, А.​Зілоці, З.​Паліяшвілі, А.​Брандукоў, Л.​Нікалаеў, Р.​Гліэр, А.​Няжданава, Н.​Абухава, А.​Гальдэнвейзер, К.​Ігумнаў, А.​Гедыке, М.​Галаванаў, С.​Васіленка і інш. кампазітары, выканаўцы і педагогі. У 1999/2000 навуч. г. ф-ты: гісторыка-тэарэтыка-кампазітарскі, фартэпіянны, аркестравы, вакальны, ваенна-дырыжорскі, павышэння кваліфікацыі; аспірантура; асістэнтура для кампазітараў і выканаўцаў. Пры М.к. існуюць муз. вучылішча (з 1934) і Цэнтр. дзіцячая муз. школа (з 1936), праблемная н.-д. лабараторыя, Музей імя М.​Рубінштэйна (з 1995), оперная студыя і сектар пед. практыкі з вячэрняй муз. школай-дзесяцігодкай, навук. б-ка імя Танеева, інфармацыйна-выліч. цэнтр, лабараторыя гуказапісу і інш. М.к. мае Вял., Малую і Рахманінаўскую канцэртныя залы. Сярод выпускнікоў М.к. інструменталісты і дырыжоры Л.​Аборын, В.​Барысоўскі, Ю.​Башмет, Р.​Гінзбург, В.​Дулава, Я.​Зак, Л.​Коган, М.​Плятнёў, М.​Пятроў, Г.​Раждзественскі, М.​Растраповіч, С.​Рыхтэр, Я.​Святланаў, У.​Співакоў, Я.​Фліер, Дз.​Цыганоў; кампазітары Дз.​Кабалеўскі, А.​Хачатуран, В.​Шабалін, Р.​Шчадрын і інш.; музыказнаўцы Ю.​Келдыш, В.​Конен, В.​Левашова, Т.​Ліванава, Л.​Мазель, І.​Несцьеў, У.​Пратапопаў, С.​Скрабкоў, Ю.​Халопаў, Ю.​Цюлін, Б.​Ярустоўскі і інш. Значны ўклад у развіццё бел. муз. культуры зрабілі выпускнікі М.к. піяністы І.Алоўнікаў, А.Клумаў, Г.Пятроў, В.Сямашка, І.Цвятаева, скрыпачы А.Амітон, М.Браценнікаў, віяланчэліст Б.Скабло, валтарніст Я.Сцягенны, кампазітар Р.Пукст, музыказнаўцы Л.Мухарынская, М.​Шыфрын, спевакі Т.Ніжнікава, А.Саўчанка, хормайстар М.Маслаў і інш.

Літ.:

Московская консерватория. 1866—1966. М., 1966;

Келдыш Ю.В. 100 лет Московской консерватории [М., 1966];

Воспоминания о Московской консерватории. М., 1966;

Федосюк Ю.А. Улица Герцена, 13. М., 1988.

т. 10, с. 178

РОД І ВІД у логіцы,

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

Літ.:

Ковальски Р. Логика в решении проблем: Пер. с англ. М., 1990;

Арно А., Николь П. Логика, или Искусство мыслить: Пер. с фр. М., 1991;

Брюшинкин В.Н. Практический курс логики для гуманитариев.

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

т. 13, с. 393