(Айзік Евелевіч; 27.6.1910, в. Прудзішча Смалявіцкага р-на Мінскай вобл. — 9.7.1996),
бел. крытык і драматург. Вучыўся ў БДУ і Бел. вышэйшым пед. ін-це (1929—32), Маскоўскім ін-це гісторыі, філасофіі і л-ры. У 1938—40 выкладчык Мінскага пед. ін-та. З 1945 у газ. «Літаратура і мастацтва», «Настаўніцкай газеце», у Дзярж. выдавецтве БССР. У 1960—68 на кінастудыі «Беларусьфільм». Друкаваўся з 1927. У яго працах 1930—40-х г. вульгарна-сацыялагічныя ацэнкі творчасці Я.Купалы, Я.Коласа, З.Бядулі, М.Багдановіча, К.Чорнага, У.Хадыкі і інш., прыпісванне ім бурж.-нацыяналіст. ідэалогіі, эстэцтва. У пазнейшых артыкулах і нарысах пра класікаў бел. л-ры, творчасць пісьменнікаў Беларусі (зб. «Літаратурна-крытычныя артыкулы», 1953; «Аб мастацкай прозе», 1961) пазбавіўся спрошчанай трактоўкі твораў. Аўтар п’ес пра партыз. рух («Заложнікі», паст. 1944), мінскіх падпольшчыкаў («Гэта было ў Мінску», паст. 1949), пасляваеннае буд-ва («Неспакойныя сэрцы», паст. 1952), сцэнарыяў маст. фільмаў «Чырвонае лісце» (з А.Куляшовым, 1958), «Гадзіннік спыніўся апоўначы» (з М.Фігуроўскім, 1958), «Лісты да жывых» (1965), «Усходні калідор» (з В.Вінаградавым, 1968).
Тв.:
Над Дзвіной, Нямігай, Віліяй: П’есы і кінасцэнарыі. Мн., 1962;
Нямецка-беларускі слоўнік (М. Кур'янка, 2006, правапіс да 2008 г.)
ЗЛІЧЭ́ННЕ,
сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл.Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл.Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.
У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл.Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл.Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл.Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц.сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл.Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.
Літ.:
Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;
Методологические проблемы развития и применения математики. М., 1985;
Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.