Verbum

ЛАГІ́ЧНЫ ЗАКО́Н,

любое сапраўднае лагічнае сцвярджэнне. Да Л.з. адносяцца законы логікі выказванняў (напр., закон несупярэчнасці, закон выключанага трэцяга, закон ускоснага доказу) або логікі прэдыкатаў. Напр., у выраз «няправільна, што р і не-р адначасова верныя» (закон несупярэчнасці) замест пераменнай р трэба падставіць выказванне; усе вынікі такіх падстановак уяўляюць сабой сапраўдныя выказванні (напр., «няправільна, што 11 — просты лік і разам з тым не з’яўляецца простым»). Кожная з лагічных сістэм утрымлівае бясконцае мноства Л.з. і ўяўляе сабой абстрактную знакавую мадэль, якая дае апісанне якога-н. пэўнага фрагмента або тыпу разважанняў. На фармалізаванай мове логікі ўсякі яе закон — гэта заўсёды сапраўдная, правільна пабудаваная формула; можна пабудаваць бясконцае мноства такіх формул, але Л.з. лічаць толькі тыя з іх, якія інтэрпрэтаваны на пазнаючае чалавечае мысленне. Гл. таксама Інтуіцыянізм.

В.​М.​Пешкаў.

т. 9, с. 89

ДЫЯФА́НТАВЫ ЎРАЎНЕ́ННІ,

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

Колькасць невядомых у Д.у. перавышае колькасць ураўненняў (невызначальныя ўраўненні). Д.ў. 1-й ступені ax+by=1 пры ўзаемна простых a і b мае бясконцае мноства рашэнняў. Д.ў. 2-й ступені таксама можа мець бясконцае мноства рашэнняў, напр., ураўненне Пеля x​² − Ay​² = 1 (A>0; A — няпоўны квадрат). Агульная тэорыя Д.у. вышэйшых ступеняў адсутнічае, але даказана невырашальнасць вядомай праблемы Ферма: Д.ў. x​ⁿ + y​ⁿ + z​ⁿ не мае рашэнняў у натуральных ліках x, y, z і n>2 (А.​Вайлс, Р.​Тэйлар, ЗША, 1995).

Літ.:

Гельфонд А.О. Решение уравнений в целых числах. 4 изд. М., 1983.

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

т. 6, с. 318

МУНІ́С ХАРЭЗМІ́, Шыр-Мухамед Авазбій-аглы (1778, Харэзм, Узбекістан — 1829),

узбекскі паэт і гісторык. Прыдворны хівінскага хана Ільтузара, па даручэнні якога напісаў гісторыю Хівінскага ханства — «Райскі сад шчасця». У ёй вял. фактычны матэрыял пра гісторыю, побыт і звычаі ўзбекаў. Аўтар мноства невял. вершаў любоўнага складу — газелей.

т. 11, с. 25

АРДЫНА́ЦЫЯ ў экалогіі,

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

т. 1, с. 476

КАНТЫ́НУУМ (ад лац. continuum неперарыўнае, суцэльнае),

неперарыўнасць з’яў, працэсаў і інш. 1) У матэматыцы — неперарыўнае мноства. Напр., сукупнасць сапраўдных лікаў (найб. вывучана), усіх пунктаў на прамой ці на яе адрэзку.

2) У фізіцы — суцэльнае матэрыяльнае асяроддзе, уласцівасці якога змяняюцца ў прасторы неперарыўна. Такія асяроддзі вывучаюцца ў механіцы і электрадынаміцы.

т. 8, с. 7