Verbum

МАТЭМАТЫ́ЧНАЕ ПРАГРАМАВА́НЕ,

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

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

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

Літ.:

Карманов В.Г. Математическое программирование. 3 изд. М., 1986.

Ю.​Н.​Сацкоў.

т. 10, с. 212

АЎТАМАТЫЗАВА́НАЯ СІСТЭ́МА КІРАВА́ННЯ (АСК),

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

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

На Беларусі першая АСК укаранёна на Мінскім трактарным з-дзе (1966). Работы па тэарэт. праблемах АСК праводзяцца ў БДУ, Бел. політэхн. акадэміі, Бел. дзярж. ун-це інфарматыкі і радыёэлектронікі; па стварэнні і ўкараненні ў вытворчасць — навукова-вытв. аб’яднанні «Цэнтрасістэма».

Літ.:

Автоматизация управления. М., 1984;

Технические средства управления в АСУ. М., 1985;

АСУ сегодня и завтра. Мн., 1988;

АСУ на промышленном предприятии: Методы создания: Справ. 2 изд. М., 1989.

Г.​В.​Рымскі, Р.​С.​Сядзегаў.

т. 2, с. 114

ГЕАГРА́ФІЯ ТРА́НСПАРТУ,

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

т. 5, с. 115

ІНФАРМА́ТЫКА,

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

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

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

т. 7, с. 291

АНА́ЛАГАВАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА (АВМ),

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

Папярэднікамі сучаснай АВМ можна лічыць лагарыфмічную лінейку, графікі і намаграмы (гл. Намаграфія) для вызначэння функцый некалькіх пераменных, упершыню прыведзеныя ў дапаможніках па навігацыі (1971), аналагавую прыладу (планіметр) англ. вучонага Дж.​Германа для вызначэння плошчы, якая ўтворана замкнутай крывой на плоскасці (1814). Першая мех. АВМ для рашэння дыферэнцыяльных ураўненняў пры праектаванні караблёў прапанавана рус. вучоным А.​М.​Крыловым у 1904. Сав. Матэматык С.​А.​Гершгорын (1927) заклаў асновы пабудовы сеткавых мадэляў АВМ.

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

т. 1, с. 333

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

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

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

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

т. 9, с. 328

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

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

Элементы Д.м. ўзніклі ў глыбокай старажытнасці і развіваліся паралельна з інш. раздзеламі матэматыкі. Напр., тагачасныя тыповыя задачы, звязаныя з уласцівасцямі цэлых лікаў (вытокі лікаў тэорыі): адшуканне алгарытмаў складання і множання натуральных лікаў (Егіпет, 2-е тыс. да н.э.), задачы падсумавання і падзельнасці натуральных лікаў у піфагарэйскай школе (6 ст. да н.э.). На практыцы найчасцей адначасова прысутнічаюць уласцівасці неперарыўнасці і дыскрэтнасці, канечнасці і бясконцасці; пры рашэнні канкрэтных задач шырока выкарыстоўваецца прыём замены неперарыўнай мадэлі яе дыскрэтным аналагам. У Д.м. разам з пабудовай алгарытмаў рашэння асобных задач выяўляюцца пытанні алгарытмічнай вырашальнасці, ацэнкі вылічальнай складанасці алгарытмаў, выяўлення цяжкавырашальных задач і інш.

На Беларусі даследаванні па пытаннях Д.м. распачаты ў канцы 1950-х г. па ініцыятыве акад. Дз.А.Супруненкі і вядуцца ў Ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН і БДУ.

Літ.:

Яблонский С.В. Введение в дискретную математику. М., 1979;

Рейнгольд Э., Нивергельт Ю.;

Део Н. Комбинаторные алгоритмы: Теория и практика: Пер. с англ. М., 1980;

Пападимитриу Х.Х., Стайглиц К. Комбинаторная оптимизация: Алгоритмы и сложность: Пер. с англ. М., 1985.

В.​С.​Танаеў.

т. 6, с. 293

ВЫЛІЧА́ЛЬНАЯ СІСТЭ́МА,

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

Да аднапрацэсарнай вылічальнай сістэмы адносіцца ЭВМ «Мінск-32» (гл. Вылічальная машына «Мінск»), якая забяспечвае выкананне адначасова да 4 рабочых праграм; да яе «павольнага» канала сувязі можна далучыць да 104 вонкавых прылад, да «хуткага» — да 32 накапляльнікаў інфармацыі на магн. барабанах, дысках, стужках і інш. Многапрацэсарная вылічальная сістэма мае не менш як 2 працэсары (або выліч. машыны): адзін з іх (асн.) выконвае вылічэнні, прадугледжаныя алгарытмам задачы, астатнія (дапаможныя) апрацоўваюць інфармацыю, не прадугледжаную асн. алгарытмам, выконваюць неасн. вылічэнні і інш. Аднародныя вылічальныя сістэмы характарызуюцца ідэнтычнасцю ўсіх працэсараў, напр., 3-машынная вылічальная сістэма «Мінск-222» (складаецца з машын «Мінск-2» і «Мінск-22»), вылічальная сістэма «Эльбрус» характарызуецца размеркаваным кіраваннем, агульнай памяццю і універсальнай сістэмай сувязей паміж працэсарамі. Найб. цяжкім рэжымам работы спецыялізаваных вылічальных сістэм з’яўляецца рэжым рэальнага часу, калі вылічэнні адбываюцца ў тэмпе, які забяспечвае пэўны вонкавы працэс, напр. у сістэмах кантролю і кіравання тэхнал. працэсамі, лятальнымі апаратамі, інш. трансп. сродкамі. Гл. таксама Электронная вылічальная машына, Вылічальны цэнтр.

Літ.:

Илюкович А.А., Свирид Г.П. Основы вычислительных систем. Мн., 1983.

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

т. 4, с. 312

ЛО́ГІКА (ад грэч. logos слова, паняцце, розум),

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

У гіст. развіцці Л. прайшла некалькі этапаў. Фрагменты лагічных даследаванняў вядомы ў стараж.-інд. і стараж.-кіт. філасофіі. У стараж. Грэцыі Л. зарадзілася ў ранняй філасофіі і развівалася пад уплывам аратарскага мастацтва. Традыцыйная арыстоцелеўская Л. стала першай ступенню Л. высноўных ведаў, якая вывучае агульначалавечыя формы думак (паняцці і суджэнні), формы сувязі думак у разважанні (высновы), зафіксаваныя ў фармальна-лагічных законах (тоеснасці закон, супярэчнасці закон, выключанага трэцяга прынцып). Арыстоцель першы ўжыў метады фармальнага аналізу мыслення на аснове прынцыпу яго несупярэчлівасці, сфармуляваў правілы злічэння выказванняў, усебакова даследаваў адну з пашыраных форм розумазаключэнняў — сілагізм, стварыў закончаную тэорыю сілагістыкі, увёў знакавую сістэму лагічных пераменных. Прадстаўнікі мегарскай шкалы аналізавалі ўмоўныя і раздзяляльныя розумазаключэнні, увялі паняцце імплікацыі, вызначылі ідэю тэарэмы аб дэдукцыі і інш. Іх лагічныя ідэі развіты ў школе стоікаў. У раннім сярэдневякоўі Л. як самаст. навука развівалася ў краінах арабскай культуры, дзе філасофія заставалася адносна незалежнай ад рэлігіі. У Еўропе складвалася ў асн. схаластычная Л. як царк.-школьная дысцыпліна, якая прыстасавала элементы перыпатэтычнай Л. для абгрунтавання і сістэматызацыі хрысц. веравучэння. У 12—13 ст., калі творы Арыстоцеля былі кананізаваны царк. артадоксіяй, узнікла сярэдневяковая («несхаластычная») Л., асновы якой закладзены «Дыялектыкай» П.​Абеляра. У творах У.​Шэрвуда, Дунса Скота, Пятра Іспанскага, У.​Окама, Ж.​Бурыдана атрымалі развіццё палажэнні аб сферы дзеяння лагічных аперацый, адрозненні паміж формай і зместам, абгрунтаваны многія вядомыя цяпер законы Л. выказванняў, тэорыя дэдукцыі і інш. У эпоху Адраджэння Л. разглядалі як аснову «штучнага» мыслення і супрацьпастаўлялі ёй Л. «натуральнага мыслення», пад якой звычайна разумелі інтуіцыю і ўяўленне. У новы час патрэбы прыродазнаўства і тэхнікі выклікалі крытыку арыстоцелеўскай (у схаластычным тлумачэнні) Л., паслужылі стымулам у распрацоўцы індукцыйнай логікі, вучэння аб метадзе, праблем метадалогіі новай (эксперыментальнай) навукі аб прыродзе (Ф.​Бэкан, Р.​Дэкарт). І.​Кант лічыў больш важнай за звычайную, традыц. Л., трансцэндэнтальную Л., якая даследуе ў формах мыслення тое, што забяспечвае ведам апрыёрны (давопытны) характар. Г.​Гегель на ідэаліст., а К.​Маркс і Ф.​Энгельс на матэрыяліст. аснове стварылі вучэнне аб агульных законах і формах мыслення — логіку дыялектычную.

На Беларусі Л. з 17 ст. развівалася ў рэчышчы агульнанавук. даследаванняў законаў і аперацый лагічнага мыслення, распрацоўкі методыкі яе выкладання як вучэбнай дысцыпліны. Б.Дабшэвіч, аўтар некалькіх кніг па Л., лічыў яе першай з навук, здольных умацаваць сувязі паміж матэматыкай, прыродазнаўствам і філасофіяй дзеля пошуку ісціны; фундаментальнымі прынцыпамі Л. ён лічыў прынцыпы дастатковай падставы і адмаўлення. Прадстаўнік схаластычнай філасофіі М.​Карскі разглядаў Л. як мову навукі. Паводле К.Нарбута, Л. — гэта навука, якая вучыць, як спасцігаць і спазнаваць ісціну, або мастацтва правільна мысліць. Я.Снядэцкі даследаваў лагічна-фармальныя заканамернасці мовы, сэнсу і ролі знакаў і сімвалаў у пазнанні і выкарыстанні мовы. А.Доўгірд пры распрацоўцы праблем сенсуалістычнай псіхалогіі, індукцыйных і разумовых здольнасцей чалавека і звязаных з імі суджэнняў, гіпотэз увёў паняцце «натуральнага сілагізму». Уклад у тэарэт. развіццё і методыку выкладання Л. зрабілі Б.Будны, С.Майман, Сімяон Полацкі, С.Шадурскі, В.Тылкоўскі і інш.

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

Літ.:

Маковельский А.О. История логики. М., 1967;

Кант И. Трактаты и письма: Пер. с нем. М., 1980;

Клаус Г. Введение в формальную логику: Пер. с нем. М., 1960;

Аристотель. Первая аналитика. Вторая аналитика // Соч. М., 1978. Т. 2;

Поппер К. Логика и рост научного знания: Пер. с англ. М., 1983;

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

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

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

Памятники философской мысли Белоруссии XVII — первой половины XVIII в. Мн., 1991;

Стереотипы и динамика мышления. Мн., 1993;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995;

Leibniz G.W. Fragmente zur Logik. Berlin, 1960.

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

т. 9, с. 333