Verbum

ГУ́ЛЬНЯЎ ТЭО́РЫЯ,

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

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

Літ.:

Нейман Дж., Моргенштерн О. Теория игр и экономическое поведение: Пер. с англ. М., 1970;

Вилкас Э.И. Оптимальность в играх и решениях. М., 1990;

Воробьев Н.Н. Основы теории игр: Бескоалиционные игры. М., 1984.

Г.М.Левін.

т. 5, с. 528

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76