сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл.Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл.Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.
У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл.Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл.Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл.Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц.сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл.Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.
Літ.:
Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;
Методологические проблемы развития и применения математики. М., 1985;
Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
áufnehmen*vt
1) падыма́ць
2) прыма́ць, сустрака́ць (гасцей)
3) здыма́ць, фатаграфава́ць
4) успрыма́ць
5) зноў пача́ць (працу)
6) прыма́ць (у арганізацыю і г.д.);
in den Spíelplan ~ уключа́ць у рэпертуа́р
7) прыма́ць (справу)
8) змяшча́ць, умяшча́ць, паглына́ць;
das kann mein Gedächtnis nicht ~ мая́ па́мяць не мо́жа гэ́тага змясці́ць
9) пазыча́ць
10) запі́сваць (на стужку)
11) устанаві́ць су́вязь;
die Spur ~ натра́піць на след;
ein Protokóll ~ скла́сці пратако́л;
die Verbíndung ~ устанаві́ць су́вязь
Нямецка-беларускі слоўнік (М. Кур'янка, 2006, правапіс да 2008 г.)
звяза́цца
1. (устанавіцьсувязь) sich in Verbíndung sétzen; in Verbíndung tréten*; Verbíndung áufnehmen*;
з ім мо́жна звяза́цца праз тэлефо́н er ist telefónisch zu erréichen;
2.разм. (уступіцьупэўныястасункізкім-н.) sich éinlassen* (mit D);
3.разм. (зчым-н.) sich (D) etw.áufhalsen, sich (D) etw. auf den Hals láden*
Беларуска-нямецкі слоўнік (М. Кур'янка, 2010, актуальны правапіс)
Пішчы́, пішчыкі ’аер, Acorus calamus L.’ (ганц., пруж., ЛА, 1; свісл., Шатал.). Відаць, да пішч2 (гл.): расліна вылазіць з зямлі ў выглядзе завостранай трубкі < прасл.*ріха/і. Параўн. таксама пішчыкі (гл.). Не выключана сувязь з пішчаць (гл.), бо з ніжніх канцоў лістоў аеру дзеці робяць пішчыкі.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Ная́дна (наядно) ’дакучліва, надрыўна’ (брэсц., Нар. лекс.). Відаць, суадносіцца з недаесці, надаядаць ’дакучаць, назаляць’ (гл.), што да есці, яда, параўн. пераядаць душу ’надакучаць’ рус.наядный ’надаедлівы’. Магчыма сувязь з яд ’атрута’, параўн. асабліва балг.яд ’смутак, пакута; злосць’, макед.яд ’тс’, серб.najaduTu ’апрыкраць, раззлаваць’ і пад.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Пацюлёзаць ’памыць абы-як’ (паст., Сл. ПЗБ). Экспрэсіўнае ўтварэнне, пабудаванае на незвычайным спалучэнні гукаў, першасную форму якога цяжка вызначыць. Параўнг падобныя: цюлюнкаваты ’непаваротлівы, марудны, павольны ў рухах’, цюмцяляй, цямцялей ’тс’. Можна дапусціць генетычную сувязь з літ.tiTžti ’мокнуць, размакаць’, семантьп. а якога, аднак, аддаленая ад разглядаемага.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Боўдур ’комін’ (зах.-палес.; Бел.-укр. ізал.). Укр.бо́вдур ’тс’. Рудніцкі (157) лічыць, што ёсць сувязь з рус.дыял. словамі бо́лдырь, булды́рь ’тс’, якія Фасмер, 1, 187, 238 (услед за Расяненам, FUF, 26, 136), выводзіць з чув. pəl ’комін’, pəldər ’прыбудова, навес на двух слупах, летняя кухня’.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Бро́днік ’вярба’ (Касп.). Рус.дыял.бро́дни́к ’вербавы хмызняк’, ’кара вярбы’. Калі гэта не нейкія другасныя формы (параўн. бел.брэд, брэднік, рус.бред, бреди́на вярба’), то пацвярджаецца этымалогія Бернекера, 83, і Фасмера, 1, 210, пра сувязь назв, вярбы (bred‑) з дзеясловам bresti bredǫ ’брадзіць’. Гл. брэд2.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Абвурга́ніваць ’абыгрываць’, абвурганівацца ’прайграваць’ (Нас.). Няясна. Ці існуе сувязь з варган, ст.-рус.оръганъ, польск.organy, чэш.varhany ’прымітыўны музыкальны інструмент’, гл. Шварц, AfslPh, 40, 290, напрамак запазычання лац. > ням.-бав. > чэш. > ст.-рус. Параўн. пач. v‑ у бел., укр. і літ. адпаведніках. Або да варганіць (гл.).
Этымалагічны слоўнік беларускай мовы (1978-2017)
Алю́каць ’зрабіць каго-небудзь маркотным’ (Нас.), алюканы частай лаянкай даведзены да маркотнага стану’ (Нас.). Параўн. рус.улюлюкать, заулюлюкать і літ.lelióti, alióti ’гнаць з крыкам’, лат.aluties ’паводзіць сябе па-вар’яцку, крычаць, шумець’. Сувязь анаматапаэтычных беларускіх і рускіх слоў з адпаведнымі літоўскімі і лацінскімі акрэсліць цяжка.