Verbum

МАЛЮСКАЦЫ́ДЫ, лімацыды (ад лац. limax слімак, смоўж + caedo забіваю),

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

т. 10, с. 50

«МЕРСЕДЭ́С-БЕНЦ»

(Mercedes-Benz),

сям’я аўтамабіляў і аўтобусаў канцэрна «Даймлер-Бенц». Выпускаюцца з 1926. Маюць пераважна дызельныя рухавікі. Легкавыя аўтамабілі сярэдняга, вял. і вышэйшага класаў з кузавамі розных тыпаў маюць рухавікі магутнасцю ад 55 да 290 кВт; найб. скорасць 250 км/гадз. Грузавыя аўтамабілі рознага прызначэння з рухавікамі магутнасцю 55—390 кВт і поўнай масай да 35 т. Пасажыраўмяшчальнасць аўтобусаў ад 9 да 174 чал.

т. 10, с. 295

МІНЮ́К (Сцяпан Андрэевіч) (Н. 25.2.1948, в. Крывіца Іванаўскага р-на Брэсцкай вобл.),

бел. матэматык. Д-р фіз.-матэм. н. (1993), праф. (1994). Скончыў БДУ (1969). З 1978 у Гродзенскім дзярж. ун-це (заг. кафедры). Навук. працы па тэорыі дынамічных сістэм, якаснай тэорыі аптымальнага кіравання. Распрацаваў крытэрыі кіравальнасці, назіральнасці і паўнаты лінейных сістэм розных тыпаў; алгарытмы аптымізацыі, фільтрацыі і рашэння некаторых класаў задач.

Тв.:

О решении некоторых задач оптимального управления для линейных систем функционально-дифференциальных уравнений (разам з В.​К.​Бойкам) // Изв. РАН. Теория и системы управления. 1998. № 4.

т. 10, с. 460

БЕРТЛО́, Бертэло (Berthelot) П’ер Эжэн Марселен (25.10.1827, Парыж — 18.3.1907), французскі хімік, дзярж. дзеяч; адзін з заснавальнікаў сінтэтычнага кірунку арган. хіміі. Скончыў Парыжскі ун-т (1849). З 1859 праф. Вышэйшай фармацэўтычнай школы ў Парыжы, у 1864—1906 праф. Калеж дэ Франс. Навук. працы па арган. хіміі, хім. кінетыцы, тэрма- і аграхіміі, гісторыі хіміі. Сінтэзаваў арган. злучэнні розных класаў. Вынайшаў каларыметрычную бомбу, увёў паняцце экза- і эндатэрмічных рэакцый. У 1886—87 міністр асветы, у 1895 міністр замежных спраў Францыі.

Літ.:

Манолов К. Великие химики. Т. 1—2: Пер. с болг. 3 изд. М., 1986.

т. 3, с. 122

БУЛГАРО́ЎСКІ (Станіслаў) (1.5.1872—24.10.1935),

юрыст і грамадскі дзеяч. Скончыў 7 класаў Віленскай гімназіі і быў выключаны за ўдзел у стварэнні б-кі забароненай л-ры. У 1892 скончыў гімназію ў г. Коўна, паступіў на юрыд. ф-т Варшаўскага ун-та, з якога выключаны за ўдзел у паліт. руху. У 1892—94 у ссылцы ў г. Курск. Скончыў юрыд. ліцэй у Яраслаўлі. У 1896—1905 адвакат у Вільні, у 1905—15 працаваў у г. Друя, С.-Пецярбургу. З 1918 у Польшчы. У 1928 працаваў натарыусам у г. Лодзь (Польшча), у Вільні.

В.​А.​Гапоненка.

т. 3, с. 330

АЛЬДЭГІ́ДЫ,

клас арганічных злучэнняў, у састаў якіх уваходзіць альдэгідная група — C(O)H, звязаная з вуглевадародным радыкалам. Найпрасцейшы — фармальдэгід. Ніжэйшыя альдэгіды — рэчывы з рэзкім пахам, вышэйшыя C₈—C₁₄ — з прыемным. Рэакцыйназдольныя: акісляюцца да кіслот, аднаўляюцца да спіртоў, уступаюць у рэакцыі замяшчэння, далучэння, кандэнсацыі, утвараюць ненасычаныя злучэнні, цыклічныя трымеры (паральдэгід, трыаксан), лінейныя палімеры (парафармальдэгід), прадукты полікандэнсацыі. Атрымліваюць з любых класаў злучэнняў; некаторыя вылучаюць з расліннай сыравіны. Выкарыстоўваюць у сінтэзе палімераў (поліфармальдэгіду, полівінілацэталяў, аміна- і фенолальдэгідных смолаў), карбонавых кіслот, спіртоў і інш.; у вытв-сці пестыцыдаў, выбуховых, духмяных рэчываў, лекаў, фарбавальнікаў. Гл. таксама Ацэтальдэгід, Фурфурол, Ванілін, Цытраль.

т. 1, с. 277

АРША́НСКІ НАСТА́ЎНІЦКІ ІНСТЫТУ́Т імя Янкі Купалы.

Існаваў у 1936—55 у Оршы. Імя Я.​Купалы прысвоена ў 1941. Рыхтаваў настаўнікаў 5—7-х класаў для 7-гадовых і сярэдніх агульнаадук. школ. Тэрмін навучання 2 гады. Меў аддзяленні: фіз.-матэм., гіст. (да 1951), бел. і рус. мовы і л-ры, з 1944 падрыхтоўчае і завочнае. Працавалі кафедры: бел. і рус. мовы, бел. і рус. л-ры, педагогікі і псіхалогіі, фізікі і матэматыкі, марксізму-ленінізму. У Айч. вайну знішчаны навуч. корпус, інтэрнат, абсталяванне, бібліятэка. Аднавіў работу ў 1944. Закрыты ў сувязі з узбуйненнем пед. ВНУ.

т. 1, с. 542

НЕМАТЫЦЫ́ДЫ [ад нематоды + ...цыд(ы)],

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

т. 11, с. 282

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

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

т. 7, с. 76