Verbum

КАНСТРУКТЫ́ЎНАЯ МАТЭМА́ТЫКА,

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

Прыкладам канструктыўнага аб’екта з’яўляецца слова — шэраг літар з пэўнага алфавіта, канструктыўнага працэсу — выпісванне гэтага слова літарамі. Асобны выпадак слоў — натуральныя лікі напр., з алфавіта {0,1}] 0,01, 011, ... Калі да гэтага алфавіта дадаць знакі «мінус» і «дзяліць», можна будаваць рацыянальныя лікі, як словы ў алфавіце {0,1,-,:}. Абстрактнасць К.м. выяўляецца ў выкарыстанні абстракцыі патэнцыяльнай ажыццявімасці (не бяруцца пад увагу абмежаванні канструктыўных магчымасцей у прасторы, часе і матэрыяле) і абстракцыі атаясамлівання (2 ці больш у пэўным сэнсе аднолькавыя аб’екты разглядаюцца як адзін). У К.м. выключаецца абстракцыя актуальнай бясконцасці, звязаная з разглядам працэсаў. якія ніколі не могуць завяршыцца, але лічацца бясконца працяглымі і тым самым фармальна быццам бы завершанымі.

В.​І.​Бернік.

т. 7, с. 596

цокаль,

канструктыўная частка лямпы.

т. 17, с. 133

КАНЦЭ́ПЦЫЯ (ад лац. conceptio разуменне, сістэма),

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

т. 8, с. 14

НО́ВАК ((Novák) Вітазслаў) (5.12.1870, Каменіцы, Чэхія — 18.7.1949),

чэхаславацкі кампазітар, педагог; адзін з заснавальнікаў нац. муз. педагогікі. Нар. арт. Чэхаславакіі (1945). У 1889—96 вучыўся ў Пражскай кансерваторыі (у А.Дворжака і інш.), з 1908 выкладаў у ёй (у 1909—39 праф., у 1919—22 дырэктар). Для яго музыкі характэрны апора на чэш., славацкі і мараўскі фальклор, строгая канструктыўная логіка, часам уплыў імпрэсіянізму. Сярод твораў: оперы «Звікоўскі дамавік» (1915), «Карлштэйн» (1916), «Ліхтар» (1923; паст. ўсе ў Празе), «Завяшчанне дзеда» (паст. 1926), балеты-пантамімы «Сіньёрына маладосць» і «Нікаціна» (абодва паст. 1930); кантаты; 2 сімфоніі (1934, 1943), сімф. паэмы, уверцюры, сюіты і інш. для арк.; камерна-інстр. ансамблі; творы для фп., рамансы, хары на нар. тэксты, песні, апрацоўкі нар. песень (7 сшыткаў) і інш. Аўтар кн. «Пра сябе і іншых» (т. 1—2, 1940—70).

Літ.:

Бэлза Й. В.​Новак. М., 1957.

т. 11, с. 359

ЛІ́ЧБАВАЯ ЭЛЕКТРО́ННАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА,

электронная вылічальная машына, якая апрацоўвае інфармацыю, выяўленую ў лічбавай (дыскрэтнай) форме. Бываюць універсальныя і спецыялізаваныя; кіравальныя, персанальныя, кантрольныя; высокапрадукцыйныя (вялікія, супер-ЭВМ), сярэднія, малыя, міні- і мікра-ЭВМ (персанальныя ці ў складзе выліч. комплексаў). Структура машыны ў значнай ступені залежыць ад яе прызначэння.

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

М.​П.​Савік.

т. 9, с. 328

БРУ́САЎ (Валерый Якаўлевіч) (13.12.1873, Масква — 9.10.1924),

рускі пісьменнік. Праф. (1921). Скончыў Маскоўскі ун-т (1899). Арганізатар і рэктар Вышэйшага літ.-маст. ін-та ў Маскве (з 1921). Пачынальнік сімвалізму ў рус. л-ры. Выступаў як паэт, празаік, драматург, літ.-знавец, тэарэтык верша і перакладчык. У зб-ках «Рускія сімвалісты» (вып. 1—3, 1894—95; у асноўным вершы Брусава), «Chefs d’oeuvre» («Шэдэўры», 1895), «Me eum esse» («Гэта — я», 1897) — уплыў зах.-еўрап. і рус. дэкадансу, пошукі новых формаў паэзіі. Аўтар зб-каў вершаў «Urbi et Orbi» («Гораду і свету», 1903), «Stephanos» («Вянок», 1906), «Люстра ценяў» (1912) і інш., празаічных зб-каў «Зямная вось» (1907), «Ночы і дні» (1913), гіст. раманаў «Вогненны Анёл» (1907—08), «Алтар перамогі» (1911—12), «Юпітэр звергнуты» (незак., апубл. 1934), п’есы «Падарожнік» (1911), трагедыі «Пратэсілай памерлы» (1913), у якіх — зварот да урбаністычных матываў, навукі і гісторыі, міфалогіі і сучаснасці. У зб-ках «Апошнія мары» (1920), «У такія дні» (1921), «Міг» (1922), «Меа!» («Спяшайся!», 1924) інтымная, пейзажная, міфалагічная, філас. і палітычная тэматыка. У гіст.-літ. працах (кн. «Далёкія і блізкія», 1912) і публікацыях, прысвечаных А.​С.​Пушкіну (больш за 80), Я.​А.​Баратынскаму, М.​В.​Гогалю, Ф.​І.​Цютчаву і інш., канкрэтнасць і канструктыўная яснасць аналізу, аргументаванасць вывадаў, лаканізм і вытанчанасць стылю, шырыня эрудыцыі Брусава-даследчыка. Перакладаў на рус. мову творы ант., зах.-еўрап. паэзіі і драматургіі (Дж.​Байрана, Вергілія, Дантэ, П.​Верлена, Мальера і інш.). Перакладчык арм. паэзіі (анталогія «Паэзія Арменіі са старажытных часоў да нашых дзён», 1916, факс. выд. 1987; званне нар. паэта Арменіі 1923). На рус. мову пераклаў асобныя вершы Я.​Купалы. Творы на бел. мову перакладалі А.​Александровіч, Ю.​Гаўрук, А.​Дудар, С.​Дзяргай, С.​Шушкевіч.

Літ.:

Максимов Д.Е. Брюсов: Поэзия и позиция Л., 1969;

Сивоволов Б.М. Валерий Брюсов и передовая русская литература его времени. Харьков, 1985.

т. 3, с. 269

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213